Наша команда по формальной верификации начинает работу над @brevis_zk Pico RISC-V zkVM, основываясь на нашей работе над SP1 и OpenVM. Мы благодарны @EthereumFndn за поддержку этого проекта.

Наша команда формальной верификации под руководством @PetarMax, с поддержкой от @EthereumFndn, проверила в Lean корректность расширения OpenVM RISC-V, разработанного @axiom_xyz. Эта работа доказывает корректность на уровне инструкций и, впервые, согласованность выполнения и памяти. 🧵

AuditAgent v2.1.0 запущен. Этот релиз улучшает гибкость CI, ужесточает поведение валидации и уточняет UX платформы для повседневной подготовки аудита. Постоянные улучшения, сосредоточенные на реальных рабочих процессах.