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