Este greu? Da Bug-urile noastre de sănătate devastatoare? Da Suntem mai aproape decât ați putea crede? Da Din prima zi, da, în aceeași zi în care am lansat sistemul nostru de probe, @RiscZero început procesul lung de verificare formală a zkVM-ului nostru. Recent am lansat "Picus" care dovedește matematic determinismul în circuitele noastre în timpul IC! Aceasta este cauza a 96% din erorile de soliditate din sistemele ZK (conform ZK-Security). Acest efort, plus alte câteva la care lucrăm, arată că putem ajunge la un RISC-V zkVM dovedit solid mai repede decât credeți.