Ringkas selalu mengutamakan keamanan. Bekerja sama dengan @NethermindSec dan @EthereumFndn, kami telah secara resmi memverifikasi kebenaran batasan RISC-V untuk SP1 Hypercube.

4/ Selama enam bulan terakhir, kami telah dengan susah payah mempersiapkan Hypercube untuk produksi. Untuk memaksimalkan keamanan, kami meminta Nethermind untuk memverifikasi Hypercube secara resmi. Kami juga menerima hibah parsial dari Ethereum Foundation untuk upaya ini.

5/ Verifikasi formal adalah jaminan matematis bahwa sirkuit Hypercube berperilaku persis seperti yang ditentukan. Nethermind adalah pemimpin dalam metode formal dan keamanan ZK ini.

6/ Hypercube sekarang menjadi zkVM pertama dengan batasan opcode yang diverifikasi secara formal. Ini juga pertama kalinya spesifikasi RISC-V resmi digunakan dalam verifikasi formal sistem semacam itu.