Ons Formele Verificatie team begint met het werk aan de @brevis_zk Pico RISC-V zkVM, voortbouwend op ons werk aan SP1 en OpenVM. We zijn dankbaar aan de @EthereumFndn voor het ondersteunen van deze inspanning.