3 papers
cs.DC2026
push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation
Mohsen Ahmadvand, Rok PajniÄ, Ching-Lun Chiu
Zero-knowledge proof generation imposes stringent timing and reliability constraints on blockchain systems. For ZK-rollups, delayed proofs cause finality lag and economic loss; for…
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.…