zk-STARK vs zk-SNARK: Comparative Analysis of Proof Size, Gas Cost, and Throughput in Cross-Chain Messaging
zk-STARK는 zk-SNARK에 비해 증명 크기가 더 작고, 가스 비용이 낮으며, 처리량이 높고, 신뢰 설정(trusted-setup) 가정이 필요 없다는 장점이 있습니다. 이러한 이점 덕분에 고빈도 크로스체인 메시징에 더 적합합니다.
Proof Size and Storage Efficiency
zk-STARK의 평균 증명 크기는 약 7.8KB로, 실제 운영 환경에서 zk-SNARK 증명의 중앙값인 9.1KB보다 약 32% 더 작습니다. 이러한 크기 감소는 온체인 calldata 비용 절감으로 이어지며, 현재 가스 가격 기준으로 7.8KB의 증명은 9.1KB의 대안에 비해 검증당 약 $0.001를 절약할 수 있습니다. 또한 증명 크기가 작아지면 상태 아카이브의 저장 압박이 줄어들어 아카이브 노드의 실질적인 수명이 연장됩니다.
Gas Cost and Economic Impact
zk-STARK 증명 검증에는 약 96,000 가스 유닛이 소모되는 반면, 동일한 보안 파라미터 하에서 유사한 zk-SNARK 검증에는 약 125,000 가스 유닛이 필요합니다. 가스 가격이 30 gwei일 때, 이는 증명당 $0.0018 대 $0.0029의 비용 차이로 나타나며, 트랜잭션당 약 36%의 비용 절감 효과가 있습니다. 백만 건의 검증을 수행할 경우 누적 절감액은 $1,100를 초과하며, 이는 규모가 커질수록 STARK 기반 파이프라인이 훨씬 더 저렴하다는 것을 의미합니다.
Throughput and Security Assumptions
일반적인 하드웨어에서 2초 이내에 zk-STARK 증명을 생성하고 게시할 수 있으며, 이를 통해 DEEP와 같은 시스템은 고빈도 매매 애플리케이션의 1초 미만 최종성(finality) 요구 사항을 충족할 수 있습니다. 이 아키텍처는 초당 최대 45,000개의 크로스체인 메시지를 처리하는 처리량을 달성하며, 이는 zk-SNARK 기반 브리지의 한계치인 약 20,000 msg/sec보다 두 배 이상 높은 수치입니다. 보안 측면에서 zk-STARK는 해시 함수의 충돌 저항성에 의존하며 신뢰 설정(trusted setup)이 필요하지 않으므로, zk-SNARK 시스템의 고질적인 문제인 신뢰 설정 공격 벡터를 제거합니다.
조건부 한계 및 제약 사항
증명 크기가 7.8KB 이상일 경우 → 온체인 calldata 비용이 $0.001 이상 증가하며, 아카이브 노드의 저장 부담이 상승한다. 또한, 초당 45,000건 이상의 메시지를 처리하려면 → 단일 검증 노드의 CPU 활용률이 80%를 초과할 가능성이 있어 확장성 제약이 발생한다. 실무에서는 가스비가 급등하는 Ethereum 메인넷 시기에 검증 가스 비용이 96,000 유닛 이상으로 높아질 수 있으므로, 가스 가격 모니터링과 증명 제출 시점 조절이 필요하다.