O SP1 Hypercube assegura bilhões em TVL. A correção das suas restrições RISC-V não deve depender apenas de testes. Em parceria com @SuccinctLabs e apoiado por @ethereumfndn, @NethermindSec verificou formalmente todos os 62 opcodes principais em relação à especificação oficial RISC-V Sail em Lean. Métodos formais rigorosos, aplicados à infraestrutura zk de produção. Parabéns pelo mainnet