En 2023, auditamos los circuitos Halo2 de @axiom_xyz, ahora utilizados en su producto OpenVM, una máquina virtual ZK que permite generar pruebas ZK para programas Rust arbitrarios