Optimizing ZK-Rollups: Unlocking Cost-Effective Proving Infrastructure

ZK-rollups scale Ethereum but incur steep proving and gas fees. We propose a constraints-based model unifying TPS and finality to reduce overhead. Using the Z3 solver, we reveal cost-optimal solutions validated by real benchmarks.