push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation
New framework achieves 99-100% scaling efficiency, crucial for Ethereum's 12-second slot window.
Researchers Mohsen Ahmadvand, Rok Pajnič, and Ching-Lun Chiu developed push0, a cloud-native orchestration system for zero-knowledge proof generation. It decouples prover binaries from scheduling infrastructure using an event-driven dispatcher-collector architecture. In production Kubernetes tests, it achieved just 5ms median orchestration overhead with 99-100% scaling efficiency across 32 dispatchers. This enables reliable, sub-slot proof generation for ZK-rollups and Ethereum's L1 zkEVM, where proofs must complete within strict 12-second windows.
Why It Matters
Enables faster, more reliable blockchain scaling by ensuring ZK proofs are generated on time, preventing finality lag and economic losses for rollups.