Search papers, labs, and topics across Lattice.
This paper introduces a decentralized Layer 2 (L2) framework for continuous Common Reference String (CRS) generation in zero-knowledge proof systems, addressing the limitations of static, one-time trusted setups. By decoupling transaction processing from ceremony execution, the authors design two protocol variants that ensure automated and reliable CRS generation while maintaining high transaction throughput. Experimental results show that the proposed architecture effectively isolates ceremony liveness and completes setups within practical time limits, even under adversarial conditions.
Continuous CRS generation in zero-knowledge proofs is now feasible without centralized coordination, even in the face of adversarial challenges.
Zero-knowledge proof systems rely on a trusted setup phase to generate a Common Reference String (CRS), yet existing approaches are typically static, one-time ceremonies that are inflexible and vulnerable to long-term compromise. Offloading continuous, recurring trusted setups to a decentralized Layer 2 (L2) network introduces a fundamental coordination challenge arising from the mismatch between high-throughput transaction processing and the multi-round requirements of trusted setup ceremonies. This paper presents an L2-coordinated framework that safely decouples transaction pipelines from ceremony execution to achieve automated, continuous CRS generation without centralized coordination. We design and implement two protocol variants over a decentralized, PBFT-coordinated ZK-rollup architecture: an on-chain smart contract approach and an asynchronous peer-to-peer consensus variant. Both designs utilize non-interactive zero-knowledge proofs of knowledge alongside commit-reveal structures to eliminate adaptive manipulation vectors and isolate ceremony latency. Experimental evaluations under simulated wide-area network constraints and adversarial conditions demonstrate that our architecture successfully isolates ceremony liveness. Continuous setups complete reliably within practical time bounds despite node dropouts or malicious contributions, while preserving stable L2 transaction throughput.
