Echipa noastră de Verificare Formală începe lucrul la @brevis_zk Pico RISC-V zkVM, bazându-se pe munca noastră la SP1 și OpenVM. Suntem recunoscători @EthereumFndn pentru susținerea acestui demers.