Năm 2023, chúng tôi đã kiểm toán các mạch Halo2 của @axiom_xyz, hiện được sử dụng trong sản phẩm OpenVM của họ, một máy tính ảo ZK cho phép tạo các bằng chứng ZK cho các chương trình Rust tùy ý. 🧵