Er det vanskelig? Ja Våre sunnhetsfeil ødeleggende? Ja Er vi nærmere enn du kanskje tror? Ja Fra dag 1, ja samme dag som vi lanserte bevissystemet vårt, begynte @RiscZero den lange prosessen med å formelt verifisere zkVM vår. Nylig lanserte vi "Picus" som matematisk beviser determinisme i kretsene våre under CI! Dette er årsaken til 96 % av soliditetsfeil i ZK-systemer (Per ZK-Security). Denne innsatsen pluss litt mer vi jobber med, viser at vi kan komme til en beviselig god RISC-V zkVM raskere enn du de fleste tror.