Лаконічність завжди ставить безпеку на перше місце. У співпраці з @NethermindSec та @EthereumFndn ми офіційно перевірили правильність обмежень RISC-V для SP1 Hypercube.

4. Протягом останніх шести місяців ми ретельно готували Hypercube до виробництва. Щоб забезпечити максимальну безпеку, ми попросили Nethermind провести офіційну верифікацію Hypercube. Ми також отримали частковий грант від Ethereum Foundation на ці зусилля.

5. Формальна верифікація є математичною гарантією того, що схеми Hypercube поводяться саме так, як вказано. Nethermind є лідером у цих формальних методах та безпеці ZK.

6. Hypercube тепер є першою zkVM з формально перевіреними обмеженнями коду операції. Це також перший випадок, коли офіційна специфікація RISC-V була використана в офіційній верифікації такої системи.