私たちのフォーマル検証チームは、SP1とOpenVMでの成果を基に、@brevis_zk Pico RISC-V zkVMの開発を開始しています。 この取り組みを支援してくださった@EthereumFndnに感謝します。