Tim Verifikasi Formal kami mulai mengerjakan @brevis_zk Pico RISC-V zkVM, membangun pekerjaan kami di SP1 dan OpenVM. Kami berterima kasih kepada @EthereumFndn karena telah mendukung upaya ini.

Tim Verifikasi Formal kami yang dipimpin oleh @PetarMax, dengan dukungan dari @EthereumFndn, telah memverifikasi di Lean kebenaran ekstensi OpenVM RISC-V yang dibuat oleh @axiom_xyz. Pekerjaan ini membuktikan kebenaran tingkat instruksi dan, untuk pertama kalinya, eksekusi dan konsistensi memori. 🧵

AuditAgent v2.1.0 sedang ditayangkan. Rilis ini meningkatkan fleksibilitas CI, memperketat perilaku validasi, dan menyempurnakan UX platform untuk persiapan audit sehari-hari. Peningkatan yang stabil, berfokus pada alur kerja dunia nyata.