---

Pourquoi scLock ?

Les binaires macOS Mach-O (arm64) standard compilés à partir de C, C++, Rust, Swift ou Objective-C exposent des graphes de flux de contrôle propres et des constantes en clair dans Ghidra, IDA Pro et Binary Ninja en quelques secondes. Les obfuscateurs logiciels conventionnels reposent sur une clé statique unique ou un répartiteur central switch(opcode) où la récupération d'une seule clé révèle l'intégralité du flux d'octets.

scLock (Supercluster Lock) combine la virtualisation polymorphe à 256 emplacements au moment de la compilation, l'éclatement des clés MBA par gestionnaire, et la liaison à deux niveaux à l'Apple Silicon Secure Enclave (SEP) :

1. ISA polymorphe à 256 emplacements par build + 84 pièges de leurre : chaque compilation (sclock compile) synthétise un tout nouvel jeu d'instructions à 256 entrées (172 micro-opérations actives + 84 gestionnaires de leurre corrompant l'état) à partir d'une graine polymorphe de 64 bits. Deux builds ne partagent jamais le même encodage bytecode ni la même table de gestionnaires.
2. Fragmentation du sel MBA par gestionnaire, entrelacée à l'exécution (black_box + vm.anchor) : même lorsqu'un analyste calcule les clés externes de l'éponge (k0, k1) en mode Portable, les paquets bytecode ne peuvent pas être déchiffrés à partir de tables statiques ou de constantes immédiates. Les sels bruts des gestionnaires (op_secret_salt) sont omis des sections de données statiques (remplacés par des ANCHOR_SHARDS Davies-Meyer à sens unique) et pré-masqués par rapport à l'ancre d'intégrité du code. À l'intérieur de chacun des 256 gestionnaires ARM64 compilés (__sc_lut_op_000..255), h_salt et les masques d'opérandes (hm1, hm2, hm3) sont reconstruits à l'exécution en combinant des paramètres affines protégés par std::hint::black_box avec le vm.anchor actif ([x0, #0xa0]) via des polynômes MBA non linéaires—ce qui déjoue le repliement de constantes de LLVM (-C opt-level=3) et la simplification InstCombine.
3. Arithmétique booléenne mixte non linéaire ($\mathbb{Z}_{2^{64}}$) et bijections 2-adiques : l'arithmétique, la multiplication, les constantes et les transitions de flux de contrôle sont élevées en identités MBA non linéaires de degré 2/3 sur $\mathbb{Z}_{2^{64}}$, couplées à des prédicats opaques de théorie des nombres 2-adiques ($7x^2 - 1 \neq y^2 \pmod{2^{64}}$).
4. Architecture à deux niveaux Apple Secure Enclave (SEP) :
   • Mode Multi-Mac Portable (par défaut, SCP1) : conçu pour la distribution universelle auprès des utilisateurs finaux macOS et pour le CrackMe public, afin que le binaire s'exécute hors ligne sur n'importe quel Mac Apple Silicon (M1 / M2 / M3 / M4). Dérive les clés externes de l'éponge (k0, k1) via une KDF White-Box Code-Anchor SHA-256 à 1 024 tours associée à une barrière anti-émulation / anti-hooking par double-ECDH P-256 commutative SEP en direct ($d_{\text{SEP}} \cdot Q_P \stackrel{?}{=} d_P \cdot Q_{\text{SEP}}$ exécutée sur la Secure Enclave pour empoisonner l'exécution sous des émulateurs non-SEP ou des hooks d'API). Comme l'exécution hors ligne sur tous les Mac exige une dérivation de clé déterministe, la défense contre l'extraction statique dans SCP1 est assurée par la fragmentation du sel MBA entrelacée à l'exécution par gestionnaire (vm.anchor + black_box) et par le chaînage d'éponge dépendant de l'état sur les 256 gestionnaires.
   • Mode verrouillé au nœud par UID matériel (--sep-lock / --host-sep-lock) : scelle la clé privée P-256 directement dans l'UID physique de la Secure Enclave du Mac cible (blob rk1/dacl encapsulé matériellement kSecAttrTokenIDSecureEnclave). Aucun matériel de clé descellable n'existe nulle part dans le binaire Mach-O—la dérivation hors ligne de la clé est physiquement impossible sans le silicium Secure Enclave du Mac cible.
5. Entrelacement d'état anti-débogage sans branchement et camouflage sans fuite : au lieu de branches if (is_debugged) exit() patchables, scLock mélange le bit P_TRACED du sysctl du noyau et les scans ARM64 de prologue BRK (0xD4200000) directement dans l'accumulateur d'état d'éponge à 256 bits, avec nettoyage automatique des symboles et des chemins de chaîne d'outils (sclock protect-app).

---

Défi public de rétro-ingénierie (CrackMe)

Ne nous croyez pas sur parole—testez scLock dans votre propre désassembleur et débogueur dès maintenant.

Ce dépôt inclut un binaire Mach-O arm64 autonome protégé par scLock (v1.0.0, compilé en mode Portable SCP1 afin qu'il s'exécute sur n'importe quel Mac Apple Silicon) :

• Chemin du binaire : crackme/challenge_protected (ou téléchargez scLock-CrackMe-Challenge-macOS-arm64.zip)
• Architecture : Mach-O 64-bit executable arm64 (Apple Silicon M1 / M2 / M3 / M4)

Exécutez-le et auditez-le vous-même

# 1. Clone this repository (or unzip the release archive)
git clone https://github.com/planners1490/sclock.git
cd sclock/crackme

# 2. Clear macOS Gatekeeper quarantine (if downloaded via browser) & make executable
xattr -cr ./challenge_protected
chmod +x ./challenge_protected

# 3. Inspect symbol table & strings (Zero VM/Obfuscator leaks)
nm -gU ./challenge_protected
strings ./challenge_protected | grep -iE "sclock|vm|opcode|mba|chaff" || echo "0 leaks found"

# 4. Execute the protected binary on any Apple Silicon Mac
./challenge_protected            # Runs built-in self-test (seats=20, pin=1234 -> 83300)
./challenge_protected 20 1234    # Pass custom <seats> <unlock_pin>