Our Formal Verification team is beginning work on the @brevis_zk Pico RISC-V zkVM, building on our work on SP1 and OpenVM. We are grateful to the @EthereumFndn for supporting this effort.