È difficile? Sì I nostri bug di solidità devastanti? Sì Siamo più vicini di quanto si possa pensare? Sì Dal primo giorno, sì, lo stesso giorno in cui abbiamo rilasciato il nostro sistema di prova @RiscZero iniziato il lungo processo di verifica formale del nostro zkVM. Recentemente abbiamo lanciato "Picus" che dimostra matematicamente il determinismo nei nostri circuiti durante la CI! Questa è la causa del 96% dei bug di solidità nei sistemi ZK (secondo ZK-Security). Questo sforzo, insieme ad altri su cui stiamo lavorando, dimostra che possiamo arrivare a un RISC-V zkVM provabilmente solido più velocemente di quanto si pensi.