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

我們的正式驗證團隊由 @PetarMax 領導，並得到 @EthereumFndn 的支持，已在 Lean 中驗證了 @axiom_xyz 建造的 OpenVM RISC-V 擴展的正確性。 這項工作證明了指令級的正確性，並且首次實現了執行和記憶體一致性。 🧵

AuditAgent v2.1.0 現已上線。 此版本改善了 CI 的靈活性，強化了驗證行為，並優化了日常審計準備的平臺用戶體驗。 穩定的改進，專注於現實工作流程。