El Hipercubo SP1 asegura miles de millones en TVL. La corrección de sus restricciones RISC-V no debería depender únicamente de las pruebas. En colaboración con @SuccinctLabs y @ethereumfndn soportado, @NethermindSec verificado formalmente los 62 códigos de operación principales frente a la especificación oficial RISC-V Sail en Lean. Métodos formales duros, aplicados a la infraestructura zk de producción. Enhorabuena por la mainnet