Is het moeilijk? Ja Onze degelijkheid bugs verwoestend? Ja Zijn we dichterbij dan je zou denken? Ja Vanaf dag 1, ja dezelfde dag dat we ons proefsysteem uitbrachten, begonnen @RiscZero aan het lange proces van het formeel verifiëren van onze zkVM. Onlangs hebben we "Picus" gelanceerd, dat wiskundig het determinisme in onze circuits tijdens CI bewijst! Dit is de oorzaak van 96% van de deugdelijkheidsbugs in ZK-systemen (Per ZK-Security). Deze inspanning en nog een aantal waar we aan werken, laat zien dat we sneller tot een aantoonbaar goede RISC-V zkVM kunnen komen dan je denkt.