Search papers, labs, and topics across Lattice.
The paper introduces push0, a cloud-native proof orchestration system designed to address the strict timing and reliability requirements of zero-knowledge proof generation in blockchain systems. push0 uses an event-driven dispatcher-collector architecture over persistent priority queues to enforce block-sequential proving while exploiting intra-block parallelism, decoupling prover binaries from scheduling infrastructure. Experimental results in Kubernetes and Docker environments demonstrate push0 achieves low orchestration overhead (5ms median) and high scaling efficiency (99-100% at 32 dispatchers), validated by production deployment on the Zircuit zkrollup.
Achieve near-real-time zero-knowledge proof generation for blockchains with push0, a system that orchestrates proofs with only 5ms overhead, making sub-slot latency bounds a reality.
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 Ethereum's emerging L1 zkEVM, proofs must complete within the 12-second slot window to enable stateless validation. The Ethereum Foundation's Ethproofs initiative coordinates multiple independent zkVMs across proving clusters to achieve real-time block proving, yet no principled orchestration framework addresses the joint challenges of (i) strict head-of-chain ordering, (ii) sub-slot latency bounds, (iii) fault-tolerant task reassignment, and (iv) prover-agnostic workflow composition. We present push0, a cloud-native proof orchestration system that decouples prover binaries from scheduling infrastructure. push0 employs an event-driven dispatcher--collector architecture over persistent priority queues, enforcing block-sequential proving while exploiting intra-block parallelism. We formalize requirements drawn from production ZK-rollup operations and the Ethereum real-time proving specification, then demonstrate via production Kubernetes cluster experiments that push0 achieves 5 ms median orchestration overhead with 99--100% scaling efficiency at 32 dispatchers for realistic workloads--overhead negligible (less than 0.1%) relative to typical proof computation times of 7+ seconds. Controlled Docker experiments validate these results, showing comparable performance (3--10 ms P50) when network variance is eliminated. Production deployment on the Zircuit zkrollup (14+ million mainnet blocks since March 2025) provides ecological validity for these controlled experiments. Our design enables seamless integration of heterogeneous zkVMs, supports automatic task recovery via message persistence, and provides the scheduling primitives necessary for both centralized rollup operators and decentralized multi-prover networks.
