---

¿Por qué scLock?

Los binarios estándar de macOS Mach-O (arm64) compilados desde C, C++, Rust, Swift u Objective-C exponen grafos de flujo de control limpios y constantes en texto plano en Ghidra, IDA Pro y Binary Ninja en cuestión de segundos. Los ofuscadores de software convencionales dependen de una única clave estática o de un despachador central switch(opcode) donde recuperar una clave vuelca todo el flujo de bytecode.

scLock (Supercluster Lock) combina virtualización polimórfica de 256 ranuras en tiempo de compilación, fragmentación de claves MBA por manejador y vinculación de doble nivel al Apple Silicon Secure Enclave (SEP):

1. ISA Polimórfica de 256 Ranuras por Compilación + 84 Trampas Chaff: Cada compilación (sclock compile) sintetiza un conjunto de instrucciones completamente nuevo de 256 entradas (172 micro-ops activas + 84 manejadores chaff que corrompen el estado) a partir de una semilla polimórfica de 64 bits. Nunca dos compilaciones comparten la misma codificación de bytecode ni la misma tabla de manejadores.
2. Fragmentación de Sal MBA Entrelazada en Tiempo de Ejecución por Manejador (black_box + vm.anchor): Incluso cuando un analista calcula las claves externas de la esponja (k0, k1) en modo Portable, los paquetes de bytecode no pueden descifrarse a partir de tablas estáticas ni de constantes inmediatas. Las sales crudas de los manejadores (op_secret_salt) se omiten de las secciones de datos estáticos (reemplazadas por ANCHOR_SHARDS unidireccionales de Davies-Meyer) y se pre-enmascaran contra el ancla de integridad del código. Dentro de cada uno de los 256 manejadores ARM64 compilados (__sc_lut_op_000..255), h_salt y las máscaras de operandos (hm1, hm2, hm3) se reconstruyen en tiempo de ejecución combinando parámetros afines protegidos por std::hint::black_box con el vm.anchor en vivo ([x0, #0xa0]) mediante polinomios MBA no lineales—derrotando el plegado de constantes de LLVM (-C opt-level=3) y la simplificación de InstCombine.
3. Aritmética Booleana Mixta No Lineal ($\mathbb{Z}_{2^{64}}$) y Biyecciones 2-ádicas: La aritmética, la multiplicación, las constantes y las transiciones de flujo de control se elevan a identidades MBA no lineales de grado 2/3 sobre $\mathbb{Z}_{2^{64}}$ acopladas con predicados opacos número-teóricos 2-ádicos ($7x^2 - 1 \neq y^2 \pmod{2^{64}}$).
4. Arquitectura de Doble Nivel Apple Secure Enclave (SEP):
   • Modo Multi-Mac Portable (Predeterminado, SCP1): Diseñado para la distribución universal de macOS para usuarios finales y el CrackMe público, de modo que el binario se ejecuta sin conexión en cualquier Mac con Apple Silicon (M1 / M2 / M3 / M4). Deriva las claves externas de la esponja (k0, k1) mediante un KDF White-Box de Anclaje de Código SHA-256 de 1.024 rondas emparejado con una Puerta Anti-Emulación / Anti-Hooking de Doble-ECDH Conmutativo P-256 con SEP en Vivo ($d_{\text{SEP}} \cdot Q_P \stackrel{?}{=} d_P \cdot Q_{\text{SEP}}$ ejecutada en el Secure Enclave para envenenar la ejecución bajo emuladores que no sean SEP o hooks de API). Dado que la ejecución sin conexión en todas las Mac requiere una derivación de claves determinista, la defensa contra extracción estática en SCP1 se proporciona mediante la fragmentación de sal MBA entrelazada en tiempo de ejecución por manejador (vm.anchor + black_box) y el encadenamiento de esponja dependiente del estado en los 256 manejadores.
   • Modo Bloqueado por Nodo con UID de Hardware (--sep-lock / --host-sep-lock): Sella la clave privada P-256 directamente dentro del UID físico del Secure Enclave de la Mac objetivo (blob rk1/dacl envuelto por hardware kSecAttrTokenIDSecureEnclave). No existe ningún material de clave desellable en ninguna parte del binario Mach-O—la derivación de claves sin conexión es físicamente imposible sin el silicio del Secure Enclave de la Mac objetivo.
5. Entrelazamiento de Estado Anti-Debug Sin Ramificaciones y Camuflaje de Cero Fugas: En lugar de ramas parcheables if (is_debugged) exit(), scLock mezcla el bit P_TRACED del sysctl del kernel y los escaneos de prólogo ARM64 BRK (0xD4200000) directamente en el acumulador de estado de la esponja de 256 bits, con limpieza automática de símbolos y rutas de la cadena de herramientas (sclock protect-app).

---

Desafío Público de Ingeniería Inversa (CrackMe)

No nos creas solo a nosotros—prueba scLock en tu propio desensamblador y depurador ahora mismo.

Este repositorio incluye un binario Mach-O arm64 independiente protegido por scLock (v1.0.0, compilado en modo Portable SCP1 para que se ejecute en cualquier Mac con Apple Silicon):

• Ruta del Binario: crackme/challenge_protected (o descarga scLock-CrackMe-Challenge-macOS-arm64.zip)
• Arquitectura: Mach-O 64-bit executable arm64 (Apple Silicon M1 / M2 / M3 / M4)

Ejecútalo y Audítalo Tú Mismo

# 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>