Znaleźli kolejnego śmiertelnego buga w ZKVM, który dosłownie zniszczyłby każdego użytkownika każdej aplikacji na każdej platformie. Brawo dla R0 i VeridiseInc! Również dzisiaj dowiedziałem się o mechanizmie awaryjnego zatrzymania "estop" -- niesamowite!
RISC Zero
RISC Zero5 sie, 06:55
W miarę jak kontynuujemy rozszerzanie formalnego pokrycia weryfikacji naszych obwodów, zidentyfikowaliśmy i naprawiliśmy kolejnego buga. Ten błąd został zidentyfikowany przez Picusa z @VeridiseInc. Problem został naprawiony, a wszyscy partnerzy zostali przeniesieni na wersję 2.2.0 lub nowszą risc0-zkVM. RISC Zero pozostaje zobowiązane do zapewnienia najwyższego poziomu przejrzystości, proaktywnego bezpieczeństwa i integralności.
3,85K