[Paper] push0: 확장성 및 내결함성 있는 Zero-Knowledge Proof 생성 오케스트레이션

Source: arXiv - 2602.16338v1

개요

제로 지식(ZK) 증명 생성은 ZK‑롤업 및 이더리움의 차세대 zkEVM과 같은 최신 블록체인 확장 솔루션에서 성능 병목 현상으로 작용합니다. 논문 “push0: Scalable and Fault‑Tolerant Orchestration for Zero‑Knowledge Proof Generation” 은 다수의 프로버 인스턴스에 걸쳐 증명 생성 작업을 스케줄링하면서 엄격한 블록 순서, 서브‑슬롯 지연 시간, 그리고 실패 시 자동 복구를 보장하는 클라우드‑네이티브 오케스트레이션 레이어를 소개합니다. 저자들은 push0가 오케스트레이션 오버헤드를 몇 밀리초 수준으로 유지할 수 있음을 입증했으며, 이는 일반적인 증명의 7초 이상 소요되는 계산 시간에 비해 사실상 눈에 띄지 않을 정도입니다. 이를 통해 이더리움에서 실시간, 무상태 검증이 가능해집니다.

주요 기여

• Event‑driven dispatcher‑collector architecture를 영구적인 priority queue 위에 구축하여 블록 내부에서 병렬성을 활용하면서도 head‑of‑chain ordering을 강제함.
• Prover‑agnostic scheduling primitives를 제공해 연산자가 orchestration 로직을 다시 작성하지 않고도 任意의 zkVM 바이너리를 플러그인할 수 있게 함.
• Fault‑tolerant task reassignment를 durable message queue를 통해 구현, 노드 충돌이나 네트워크 일시 중단 시 자동 복구를 가능하게 함.
• Production‑grade evaluation를 Kubernetes 클러스터와 실시간 Zircuit rollup(14 M+ 블록)에서 수행, median orchestration latency가 10 ms 미만이며 32개의 dispatcher까지 거의 완벽한 스케일링을 달성함.
• Formalization of real‑time proving requirements를 Ethereum의 12초 슬롯 윈도우와 ZK‑rollup finality 제약 조건에서 도출함.

Methodology

1. Requirement Formalization – 저자들은 프로덕션 롤업 운영자와 Ethereum zkEVM 사양에서 네 가지 하드 제약 조건을 도출했습니다: (i) 블록의 엄격한 순차적 정렬, (ii) 서브‑슬롯 마감 시간 내 증명 완료, (iii) 실패한 작업의 복원력 있는 재할당, (iv) 이기종 프로버 지원.
2. System Design – push0는 dispatcher (우선순위 큐에서 블록‑레벨 작업을 가져와 사용 가능한 프로버에게 전달)와 collector (완료된 증명을 수집하고 큐를 확인) 를 분리합니다. 두 구성 요소는 컨테이너에서 실행되는 무상태 서비스이며, 내구성 있는 메시지 브로커(예: NATS JetStream 또는 Kafka)를 통해 통신합니다.
3. Scheduling Logic – 작업은 블록 높이에 따라 우선순위가 부여됩니다; dispatcher는 이전 모든 블록이 완료된 것으로 표시될 때만 증명 작업을 풀어주어 체인 헤드 순서를 보장합니다. 블록 내부에서는 dispatcher가 여러 서브‑작업(예: 서로 다른 샤드 증명)을 팬‑아웃하여 블록 내 병렬성을 활용할 수 있습니다.
4. Fault Tolerance – 프로버 컨테이너가 충돌하거나 작업이 타임아웃될 경우, 메시지는 큐에서 확인되지 않은 상태로 남아 자동으로 다른 dispatcher에게 재큐됩니다.
5. Evaluation – 두 가지 실험 환경이 사용되었습니다: (a) 네트워크 변동성을 격리하기 위한 제어된 Docker 환경, (b) Zircuit 롤업 워크로드를 반영한 프로덕션 규모의 Kubernetes 클러스터. 측정된 메트릭에는 중앙값 오케스트레이션 지연시간, 확장 효율성, 전체 증명 시간 대비 오버헤드 비율이 포함됩니다.

결과 및 발견

• Negligible Overhead: 피크 부하에서도 오케스트레이션은 전체 증명 생성 시간에 0.1 % 미만만 추가합니다.
• Linear Scaling: 디스패처를 추가하면 거의 완벽한 선형 속도 향상이 이루어져, 큐 기반 설계가 경쟁을 방지함을 확인했습니다.
• Robustness: 시뮬레이션된 노드 장애가 수동 개입 없이 자동으로 복구되어 전체 블록‑최종성 마감 시간을 유지했습니다.
• Real‑World Validation: 시스템은 Zircuit에서 1,400만 개 이상의 메인넷 블록을 처리했으며, 실험실 결과가 실제 트래픽에 적용됨을 입증했습니다.

실용적 함의

• For Rollup Operators: push0는 기존 증명 파이프라인에 바로 삽입할 수 있는 플러그‑앤‑플레이 스케줄러를 제공하여, 서브‑초 단위 최종성 목표를 달성하는 데 필요한 엔지니어링 노력을 크게 줄여줍니다.

• For zkEVM Deployments: 오케스트레이션 지연 시간을 10 ms 이하로 유지함으로써, 시스템이 이더리움의 12초 슬롯 내에 여유롭게 들어맞으며, 무상태 검증을 가능하게 하고 증명 검증에 필요한 가스 비용을 낮출 수 있습니다.

• Multi‑Prover Ecosystems: 프로버에 구애받지 않는 API 덕분에 운영자는 최신·고속 zkVM(예: PLONK 기반, Halo2)을 오케스트레이션 코드를 다시 작성하지 않고도 실험할 수 있어, 보다 경쟁적인 프로버 시장을 촉진합니다.

• Cloud‑Native Deployments: push0가 쿠버네티스에서 컨테이너화된 마이크로서비스 형태로 실행되므로, 현대 클라우드 스택에 이미 갖춰진 자동 스케일링, 가시성, 보안 기능을 활용할 수 있습니다.

• Cost Savings: 오케스트레이션 오버헤드가 사실상 제로이기 때문에, 컴퓨팅 자원이 전적으로 증명 생성에 전용되어 하드웨어 활용도가 높아지고 운영 비용이 감소합니다.

제한 사항 및 향후 연구

• 네트워크 종속 시나리오: 이 연구는 비교적 안정적인 클러스터 내부 네트워크를 가정하고 있으며, 극심한 지연이나 패킷 손실은 큐 일관성 및 작업 재할당 지연에 영향을 미칠 수 있습니다.
• 프로버 이질성 오버헤드: API는 프로버에 구애받지 않지만, 실행 시간 특성이 크게 다른 프로버들을 혼합했을 때 전체 처리량에 미치는 영향을 논문에서 정량화하지 않았습니다.
• 보안 감사: 오케스트레이션 레이어 자체가 중요한 구성 요소가 되므로, 정식 보안 분석 및 강화된 구현은 향후 작업으로 남겨두었습니다.
• 분산 거버넌스: 푸시0를 진정한 분산 멀티‑프로버 네트워크(예: 온체인 인센티브 메커니즘 포함)를 지원하도록 확장하는 것은 아직 해결되지 않은 연구 방향입니다.

저자

• Mohsen Ahmadvand
• Rok Pajnič
• Ching-Lun Chiu

논문 정보

• arXiv ID: 2602.16338v1
• 분류: cs.DC, cs.CR
• 출판일: 2026년 2월 18일
• PDF: Download PDF