SP1 Hypercube turvaa miljardeja TVL:ssä. Sen RISC-V-rajoitusten oikeellisuus ei saisi perustua pelkkään testaukseen. Yhteistyössä @SuccinctLabs:n kanssa ja @ethereumfndn:n tukemana @NethermindSec varmisti virallisesti kaikki 62 ydinkoodia virallisen RISC-V Sail -spesifikaation mukaisesti Leanissa. Vaikeat muodolliset menetelmät, sovellettu tuotanto-zk-infrastruktuuriin. Onnittelut mainnetistä