O SP1 Hypercube garante bilhões em TVL. A correção de suas restrições RISC-V não deve depender apenas dos testes. Em parceria com a @SuccinctLabs e @ethereumfndn suportada, @NethermindSec verificou formalmente todos os 62 códigos de operação principais contra a especificação oficial RISC-V Sail em Lean. Métodos formais rígidos, aplicados à infraestrutura zk de produção. Parabéns pela mainnet