Ytimekäs asettaa aina turvallisuuden etusijalle. Yhteistyössä @NethermindSec ja @EthereumFndn:n kanssa olemme virallisesti varmistaneet SP1 Hypercuben RISC-V-rajoitusten oikeellisuuden.

4/ Viimeisen kuuden kuukauden aikana olemme valmistelleet Hypercubea huolellisesti tuotantoon. Turvallisuuden maksimoimiseksi pyysimme Nethermindia vahvistamaan Hypercuben virallisesti. Saimme myös osittaisen apurahan Ethereum Foundationilta tähän hankkeeseen.

5/ Muodollinen vahvistus on matemaattinen takuu siitä, että Hypercuben piirit käyttäytyvät täsmälleen määritellyllä tavalla. Nethermind on johtava näissä muodollisissa menetelmissä ja ZK-tietoturvassa.

6/ Hypercube on nyt ensimmäinen zkVM, jossa on virallisesti vahvistetut opkoodirajoitukset. Tämä on myös ensimmäinen kerta, kun virallista RISC-V-spesifikaatiota on käytetty tällaisen järjestelmän virallisessa todentamisessa.