Exploiting the zkEVM: Uncovering Soundness and Composition Vulnerabilities in ZK Circuits
May 1, 2025 · 8 min read · zkevm.dev Lately, I’ve been diving deeper into Validity Proofs and Zero-Knowledge (ZK) circuits. It's fascinating stuff, especially with its relevance to scaling solutions like the zkEVM (zkRollups). I wanted to jot down some thoughts, examples, and ...
Join discussion





