A deep dive into Axioms Halo2 circuits

News Source : Trailofbits.com
News Summary
- Axiom designed a system that allows access to historical blockchain data for EVM applications
- To enable this access, Axiom used ZKPs to succinctly verify flexible queries over historical transactions and states
- The Trail of Bits cryptography team worked to review Axiom’s Halo2 circuits over two separate assessments
Among the many highly complex, cuttingedge projects our cryptography team reviews, one from 2023 stands out. Over twoaudits, we reviewed a blockchain system developed by Axiom that allows computing [+14695 chars]