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.