SP1 Hypercube zabezpiecza miliardy w TVL. Poprawność jego ograniczeń RISC-V nie powinna opierać się tylko na testach. We współpracy z @SuccinctLabs i wspierane przez @ethereumfndn, @NethermindSec formalnie zweryfikowało wszystkie 62 podstawowe opcodes w stosunku do oficjalnej specyfikacji RISC-V Sail w Lean. Twarde metody formalne, zastosowane w produkcyjnej infrastrukturze zk. Gratulacje z okazji uruchomienia mainnet.