---
id: 1394
title: "A deep dive into Axiom’s Halo2 circuits"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2025/05/30/a-deep-dive-into-axioms-halo2-circuits/"
published_at: "2025-05-30 11:00"
tags: ["web3", "cryptography", "audit", "blockchain", "zero-knowledge", "zkp", "halo2", "snark", "openvm", "under-constrained", "evm"]
phying_url: "https://phying.com/item/1394"
lang: en
---

# A deep dive into Axiom’s Halo2 circuits

## 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.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2025-05-30 11:00
- **Original:** https://blog.trailofbits.com/2025/05/30/a-deep-dive-into-axioms-halo2-circuits/
- **Phying News:** https://phying.com/item/1394