SP1 Hypercube garantisce miliardi in TVL. La correttezza dei suoi vincoli RISC-V non dovrebbe basarsi solo sui test. In collaborazione con @SuccinctLabs e supportato da @ethereumfndn, @NethermindSec ha formalmente verificato tutti i 62 opcode core rispetto alla specifica ufficiale RISC-V Sail in Lean. Metodi formali rigorosi, applicati all'infrastruttura zk di produzione. Congratulazioni per il mainnet