Exploiting the zkEVM: Uncovering Soundness and Composition Vulnerabilities in ZK Circuits

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