Nasz zespół ds. weryfikacji formalnej rozpoczyna pracę nad @brevis_zk Pico RISC-V zkVM, opierając się na naszej pracy nad SP1 i OpenVM. Jesteśmy wdzięczni @EthereumFndn za wsparcie tego przedsięwzięcia.

Nasz zespół ds. formalnej weryfikacji, kierowany przez @PetarMax, z wsparciem od @EthereumFndn, zweryfikował w Lean poprawność rozszerzenia OpenVM RISC-V stworzonego przez @axiom_xyz. Ta praca dowodzi poprawności na poziomie instrukcji oraz, po raz pierwszy, spójności wykonania i pamięci. 🧵

AuditAgent v2.1.0 jest już dostępny. Ta wersja poprawia elastyczność CI, zaostrza zachowanie walidacji i udoskonala UX platformy do codziennego przygotowania audytów. Stałe ulepszenia, skoncentrowane na rzeczywistych przepływach pracy.