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.
10,7K