SP1 Hypercube asegura miles de millones en TVL. La corrección de sus restricciones RISC-V no debería depender solo de las pruebas. En asociación con @SuccinctLabs y apoyado por @ethereumfndn, @NethermindSec verificó formalmente todos los 62 opcodes centrales contra la especificación oficial de RISC-V Sail en Lean. Métodos formales rigurosos, aplicados a la infraestructura zk de producción. Felicidades por el mainnet.