SP1 Hypercube zajišťuje miliardy v TVL. Správnost jeho RISC-V omezení by neměla záviset pouze na testování. Ve spolupráci s @SuccinctLabs a podporovaným @ethereumfndn @NethermindSec formálně ověřil všech 62 hlavních operačních kódů podle oficiální specifikace RISC-V Sail v Lean. Tvrdě formální metody, aplikované na produkční ZK infrastrukturu. Gratulujeme k mainnetu