我們的正式驗證團隊正在開始對 @brevis_zk Pico RISC-V zkVM 的工作，這是基於我們在 SP1 和 OpenVM 上的工作。 我們感謝 @EthereumFndn 對這項工作的支持。