SP1 Hypercube säkrar miljarder i TVL. Korrektheten i dess RISC-V-begränsningar bör inte vila enbart på testning. I samarbete med @SuccinctLabs och stödda @ethereumfndn verifierade @NethermindSec formellt alla 62 kärn-opkoder mot den officiella RISC-V Sail-specifikationen i Lean. Hårda formella metoder, tillämpade på produktionsinfrastruktur av zk. Grattis till mainnet