Tim Verifikasi Formal kami mulai mengerjakan @brevis_zk Pico RISC-V zkVM, membangun pekerjaan kami di SP1 dan OpenVM. Kami berterima kasih kepada @EthereumFndn karena telah mendukung upaya ini.