Em 2023, auditamos os circuitos Halo2 da @axiom_xyz, agora usados em seu produto OpenVM, uma máquina virtual ZK que permite que provas ZK sejam geradas para programas Rust arbitrários. 🧵