Är det svårt? Ja Våra sundhetsbuggar förödande? Ja Är vi närmare än du kanske tror? Ja Från dag 1, ja samma dag som vi släppte vårt bevissystem, påbörjade @RiscZero den långa processen med att formellt verifiera vår zkVM. Nyligen lanserade vi "Picus" som matematiskt bevisar determinism i våra kretsar under CI! Detta är orsaken till 96 % av sundhetsbuggarna i ZK-system (enligt ZK-Security). Denna ansträngning plus en del annat som vi arbetar med, visar att vi kan få till en bevisligen sund RISC-V zkVM snabbare än du tror.