Czy to jest trudne? Tak Nasze błędy w rozsądku są druzgocące? Tak Czy jesteśmy bliżej, niż mogłoby się wydawać? Tak Od pierwszego dnia, tak tego samego dnia, w którym wypuściliśmy nasz system dowodowy, @RiscZero rozpoczął się długi proces formalnej weryfikacji naszego zkVM. Niedawno uruchomiliśmy "Picusa", który matematycznie dowodzi determinizmu w naszych obwodach podczas CI! Jest to przyczyna 96% błędów w poprawności w systemach ZK (za ZK-Security). Ten wysiłek oraz kilka innych, nad którymi pracujemy, pokazuje, że możemy uzyskać sprawdzony RISC-V zkVM szybciej, niż myślisz.