Nhóm Xác minh Chính thức của chúng tôi đang bắt đầu công việc trên @brevis_zk Pico RISC-V zkVM, dựa trên công việc của chúng tôi về SP1 và OpenVM. Chúng tôi rất biết ơn @EthereumFndn đã hỗ trợ nỗ lực này.

Đội ngũ Xác minh Chính thức của chúng tôi do @PetarMax dẫn dắt, với sự hỗ trợ từ @EthereumFndn, đã xác minh trong Lean tính chính xác của phần mở rộng OpenVM RISC-V được xây dựng bởi @axiom_xyz. Công việc này chứng minh tính chính xác ở cấp độ lệnh và, lần đầu tiên, tính nhất quán trong thực thi và bộ nhớ. 🧵

AuditAgent v2.1.0 đã được phát hành. Bản phát hành này cải thiện tính linh hoạt của CI, thắt chặt hành vi xác thực và tinh chỉnh trải nghiệm người dùng của nền tảng cho việc chuẩn bị kiểm toán hàng ngày. Những cải tiến liên tục, tập trung vào quy trình làm việc thực tế.