Il nostro team di Verifica Formale sta iniziando a lavorare sul @brevis_zk Pico RISC-V zkVM, basandosi sul nostro lavoro su SP1 e OpenVM. Siamo grati al @EthereumFndn per aver supportato questo sforzo.