SP1 Hypercube asigură miliarde în TVL. Corectitudinea constrângerilor RISC-V nu ar trebui să se bazeze doar pe testare. În parteneriat cu @SuccinctLabs și @ethereumfndn suportat, @NethermindSec verificat oficial toate cele 62 de coduri de operare de bază în conformitate cu specificația oficială RISC-V Sail din Lean. Metode formale stricte, aplicate infrastructurii zk de producție. Felicitări pentru mainnet