我们的形式验证团队正在开始对@brevis_zk Pico RISC-V zkVM的工作，基于我们在SP1和OpenVM上的工作。 我们感谢@EthereumFndn对这一努力的支持。