2023 yılında, @axiom_xyz'in OpenVM ürününde kullanılan Halo2 devrelerini denetledik. Bu, rastgele Rust programları için ZK kanıtlarının oluşturulabileceği bir ZK sanal makinasıdır. 🧵