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

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

AuditAgent версії 2.1.0 вже запущена. Цей реліз покращує гнучкість CI, посилює поведінку валідації та вдосконалює UX платформи для щоденної підготовки до аудиту. Поступові покращення, зосереджені на реальних робочих процесах.