2 papers
cs.CR2025
Optimizing Optimism: Up to 3.5x Faster zkVM Validity Proofs via Sparse Derivation
Mohsen Ahmadvand, Pedro Souto
The Optimism derivation pipeline is engineered for correctness and liveness, not for succinct validity proofs. A straightforward port to a zkVM imposes significant overheads, makin…
cs.CR2025
Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure
Mohsen Ahmadvand, Pedro Souto
Zero-knowledge rollups rely on provers to generate multi-step state transition proofs under strict finality and availability constraints. These steps require expensive hardware (e.…