Onko se vaikeaa? Kyllä Terveydelliset ötökämme tuhoisia? Kyllä Olemmeko lähempänä kuin luuletkaan? Kyllä Päivästä 1 lähtien, kyllä samana päivänä, kun julkaisimme todistusjärjestelmämme, @RiscZero aloitimme pitkän prosessin zkVM:n viralliseksi vahvistamiseksi. Äskettäin lanseerasimme "Picuksen", joka matemaattisesti todistaa determinismin piireissämme CI:n aikana! Tämä on syynä 96 %:iin ZK-järjestelmien luotettavuusvirheistä (Per ZK-Security). Tämä ponnistus ja muutama muu, jonka parissa työskentelemme, osoittaa, että voimme saada todistettavasti terveen RISC-V zkVM:n nopeammin kuin useimmat luulet.