SP1 Hypercube mengamankan miliaran TVL. Kebenaran kendala RISC-V-nya tidak boleh didasarkan pada pengujian saja. Dalam kemitraan dengan @SuccinctLabs dan @ethereumfndn yang didukung, @NethermindSec secara resmi memverifikasi semua 62 opcode inti terhadap spesifikasi resmi RISC-V Sail di Lean. Metode formal keras, diterapkan pada infrastruktur zk produksi. Selamat untuk mainnet