Skip to content
A deep dive into Axiom’s Halo2 circuits
blog.trailofbits.com | research | #web3 | #cryptography | #audit | #blockchain | #zero-knowledge | #zkp | #halo2 | #snark | #openvm | #under-constrained | #evm
Summary
Two Trail of Bits audits of Axiom, which lets EVM apps query Ethereum history via Halo2 ZK proofs, found soundness and under-constrained bugs; the work later fed into the OpenVM ZK virtual machine.
- Published
- Collected