Mohsen Ahmadvand
Zircuit
Zero Knowledge & Cryptography
Optimizing ZK-Rollups: Unlocking Cost-Effective Proving Infrastructure
Talk
Monday, June 30th 2025
10:40 - 11:00
grant-stage
Description
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.