수독 ZK: L2에서 ZKP에 대한 지출이 6000만 달러를 초과했으며, zkRollup이 점차 부상하고 있습니다
본 문서는 제로 지식의 성장, 채택 상황, 네트워크 건강 및 애플리케이션과 인프라 수준의 경쟁 역학을 탐구할 것입니다.저자：OurNetwork
편집：심조TechFlow
이번 호에서는 제로 지식 증명(Zero-Knowledge Proofs)에 중점을 두겠습니다. ------ 이는 우리 산업에서 가장 중요하지만 가장 적게 이해되는 기술 혁신 중 하나입니다. 이번 호에서는 제로 지식의 성장, 채택 현황, 네트워크 건강 및 애플리케이션과 인프라 계층의 경쟁 역학을 탐구할 것입니다.
이게 왜 중요한가:
암호화 애플리케이션이 전 세계적으로 진정한 주류 채택을 이루기 위해서는 그들이 의존하는 블록체인이 더욱 확장 가능하고 효율적이어야 합니다. 세계 최대의 1층 블록체인인 이더리움과 그 커뮤니티는 이를 위해 전략을 세우고 적극적으로 2층 확장 솔루션을 수용하고 있습니다. Optimism, Arbitrum 및 Base와 같은 L2는 이 분야의 첫 번째 혁신으로, 현재 암호화 사용자와 애플리케이션의 주요 플랫폼이 되어 수십억 달러의 가치를 잠금하고 있으며 수백만 개의 활성 주소를 보유하고 있습니다.
동시에 제로 지식 증명(ZKPs)은 또 다른 중요한 확장 솔루션 혁신을 나타내며, 이론적으로 그 성능은 기존 인프라를 훨씬 초과할 수 있으며 다양한 새로운 애플리케이션을 지원합니다. 이 분야는 이제 막 시작되었지만, 짧은 시간 내에 이룬 빠른 발전 덕분에 우리는 이 주제에 주목할 가치가 있다고 생각합니다.
아직 이르지만, 온체인 데이터는 이 주장을 뒷받침합니다. ------ 암호화폐는 제로 지식 증명(ZKPs)으로의 중대한 전환을 경험하고 있으며, 먼저 ZKP 애플리케이션이 등장하고, 그 다음 ZKP를 지원하는 인프라가 등장하고 있습니다. Rollups와 같은 인프라가 그 예입니다. NEBRA와 OurNetwork 팀, 그리고 핵심 데이터 기여자인 Jackie (Dune)와 Brandyn (OurNetwork)에게 특별히 감사드립니다. 그들의 지원 없이는 이 모든 것이 불가능했을 것입니다. 우리는 이제 데이터를 통해 이 전환을 보여줍니다.
① ZKP：산업 건강
Layer 2 솔루션의 제로 지식 증명(Zero-Knowledge Proofs)에 대한 총 지출이 6000만 달러를 초과했습니다.
- ZKP 프로젝트가 이더리움 L1에 지불한 총 정산 비용(Total Settlement Fees, TSF)은 6040만 달러를 초과하며, 이는 시간이 지남에 따라 상당한 채택 현황을 보여줍니다. 2023년 12월, TSF는 1500만 달러의 정점에 도달했습니다. 지난 30일 동안 ZKP 검증을 위한 이더리움 L1의 TSF는 15만 달러에 불과하며, 이는 기술 최적화 비용 측면에서의 진전을 반영합니다.
- 2023년과 2024년 동안 ZKP를 사용하는 활성 주소는 지속적으로 증가하여 올해 3월에는 760만 개의 정점에 도달했습니다. 2024년 7월에는 활성 주소가 480만 개로 감소하여 연간 최저치를 기록했지만, 연간 평균 활성 주소는 640만 개로, 2023년의 월 평균 320만 개의 활성 주소보다 두 배 이상 증가했습니다. 시장 전체가 여름 침체기에 있음에도 불구하고 말입니다.
- 지난달에는 150만 개 이상의 증명이 누적되었지만, 2024년 L1 블록에 정산된 ZK 증명의 수는 감소했습니다. 2023년 12월에는 L1에 정산된 증명의 수가 189,280으로 정점에 도달했습니다.
- 이러한 추세는 주로 수요(활성 사용자)의 약간의 감소 때문이지만, 더 중요한 것은 zkRollups가 증명 수와 TSF를 줄이기 위해 증명 집합과 같은 새로운 기술을 채택했기 때문입니다.
② ZKP：프로젝트 동향
Linea는 550만 사용자로부터 2320만 개의 ZKP 거래를 생성했습니다.
- ZKP 사용자 채택 측면에서 Linea는 "성공적인" 체인이 되고 있습니다. 지난 30일 동안 이 L2는 177만 개의 독립 활성 주소로 1위를 차지했으며, 그 뒤를 이어 zkSync의 130만 개와 Scroll의 95만 개가 있습니다.
- 2023년 12월, Linea의 ZKP에 대한 L1 지출이 1280만 달러로 급증하여, 해당 월 모든 프로젝트의 ZKP 지출의 거의 85%를 차지했습니다. 이는 Linea의 Voyage XP 프로그램 덕분입니다. 최근 2024년에는 Scroll이 L1에 대한 TSF 지출을 주도하기 시작했으며, 8월 21일 예정된 업그레이드에서 비용을 더욱 줄일 것으로 예상됩니다.
③ ZKP：인프라와 애플리케이션
ZKP를 사용하는 인프라의 수는 애플리케이션에서 사용하는 수의 250배 이상입니다.
- 현재까지 1660만 개의 주소가 인프라, 특히 zkRollups를 통해 ZKP 거래를 촉발했으며, 애플리케이션을 통해 ZKP 거래를 촉발한 주소는 62,780개에 불과합니다.
- 이러한 뚜렷한 대조에는 몇 가지 주요 이유가 있습니다. 첫째, 2022년 8월, OFAC는 ZKP를 사용하는 프라이버시 보호 애플리케이션인 Tornado Cash에 대한 제재를 부과했습니다. 이로 인해 미국 시민이 Tornado Cash를 사용하는 것이 불법이 되어 애플리케이션에서 ZKP 사용이 감소했습니다. 둘째, 인프라 계층의 각 ZKP 거래 비용은 애플리케이션 계층보다 현저히 낮습니다. ------ Linea의 30일 평균 거래 비용은 0.00034달러입니다. 상대적으로 가장 비싼 ZKP 인프라인 Polygon zkEVM의 평균 거래 비용이 0.03달러인 반면, 이는 여전히 최고 ZKP 애플리케이션의 거래 비용보다 훨씬 낮습니다.
- OFAC 제재의 여파가 가라앉으면서 ZKP 애플리케이션 사용이 회복세를 보이고 있습니다. Tornado Cash는 거래당 비용 측면에서 여전히 상대적으로 저렴한 ZK 애플리케이션으로, 30일 평균 1.0달러입니다. L1의 비용이 높기 때문에 완전히 비교할 수는 없지만, Tornado 거래의 비용은 여전히 Polygon zkEVM보다 약 33배, Linea보다 약 3300배 높습니다.
④ ZKP：거시적 추세
상위 5개 Optimistic Rollups는 활성 주소 측면에서 여전히 zkRollups를 지배하고 있으며 비율은 4:1입니다. 그러나 zkRollups는 올해 이더리움 L1의 활성 주소 수와 거의 균형을 이루고 있습니다.
- 상위 5개 Optimistic Rollups의 활성 주소는 올해 증가하여 2024년 1월의 380만(실제로 zkRollups의 480만보다 낮음)에서 1780만 개를 초과했습니다. 많은 zkRollup 체인이 아직 출시되지 않았지만, 이러한 솔루션은 매달 이더리움 L1의 절반 이상의 주소를 유치하고 있다는 점이 주목할 만합니다. ------ 7월 기준으로 zkRollups의 활성 주소는 여전히 이더리움 L1과 상위 5개 Optimistic Rollups의 시장 점유율의 13%를 차지하고 있습니다.
- 지난달 zkRollup의 Linea는 L2에서 180만 개의 활성 주소로 3위를 차지했습니다. Base는 1150만 개의 활성 주소로 모든 L2를 선도하고 있으며, Arbitrum은 580만 개로 뒤따르고 있습니다.
- L2가 더 효율적인 ZKP 관련 기술을 채택함에 따라 ZKP 계약 호출이 차지하는 가스 비용 비율은 실제로 30일 롤링 평균의 0.14%로 감소했습니다. 이는 기록상 최대 피크의 약 100배에 해당하며, 이 피크는 2023년 12월에 발생했으며, 당시 ZKP 거래는 두 번에 걸쳐 이더리움의 총 가스 비용의 14% 이상을 차지했습니다.
ZK 증명：NEBRA가 가져오는 증명 특이점의 미래
제로 지식 증명(ZKP) 블록 공간을 확장하는 핵심 기술은 증명 집합으로, 이는 서로 다른 출처의 여러 증명을 통합하여 하나의 재귀 증명으로 만들어 이러한 증명의 유효성을 증명합니다(즉, 집합 증명).
Nebra
NEBRA UPA와 같은 증명 집합 프로토콜은 대역폭을 크게 향상시키고 체인 상의 제로 지식 증명 비용을 낮춥니다. 예를 들어, 현재 버전의 NEBRA UPA에서 Groth16 증명의 검증 비용은 300,000 가스에서 18,000 가스로 줄어들어 비용이 15배 이상 감소했습니다. 이는 데이터 가용성 프로토콜(예: 4844, Celestia, EigenDA 및 Avail)이 데이터 가용성 비용을 줄이는 방식과 유사합니다.
또한, 증명 집합은 비탈리크 부테린이 언급한 "증명 특이점"을 실현할 수 있습니다. 즉, 각 블록에는 단 하나의 집합 증명만 포함됩니다. 증명 집합은 체인 상의 ZKP 검증 비용을 줄이는 데만 사용되는 것이 아니라, zkRollups 간의 원활한 상호 운용성과 공유 정산을 가능하게 합니다.
NEBRA는 이더리움 메인넷에서 UPA 및 향후 Rollup 운영 체제를 출시하여 전체 ZK 분야의 중요한 돌파구를 마련했습니다. 증명 특이점의 도래와 함께 ZK와 블록체인의 미래는 더욱 밝아질 것입니다. 만약 증명이 집합될 수 있다면, 이더리움은 3900만 달러 이상의 비용을 절감할 수 있을 것입니다!
개념：
제로 지식 증명(Zero Knowledge Proofs)은 소형 암호학적 증명을 사용하여 임의의 계산을 검증하고 프라이버시를 보호할 수 있게 해줍니다. 애플리케이션과 인프라는 일반적으로 제로 지식 증명을 사용하는 두 가지 방법이 있습니다:
프라이버시 보호
검증 가능한 계산 및 확장 능력
Nebra
이러한 경우 제로 지식 증명은 사용자 특정 데이터와 공개 체인 상의 데이터의 조합을 통해 생성됩니다. 이후 이러한 증명은 체인 상에서 검증되어 특정 후속 비즈니스 로직을 실행합니다.
프라이버시 보호 애플리케이션：
데이터 흐름 측면에서 제로 지식 증명이 프라이버시 보호 애플리케이션에 사용될 때, 증명의 생성은 클라이언트 측에서 수행되어야 하며, 이는 민감한 사용자 정보(예: 개인 키)의 유출을 방지합니다. 이러한 애플리케이션에서 사용자가 제어하는 클라이언트(브라우저이든 모바일 애플리케이션이든)는 직접 블록체인에 증명을 제출합니다.
예시：
ZK 기반의 신원 솔루션, 예를 들어 Worldcoin
프라이버시 보호 금융 애플리케이션, 예를 들어 tornado.cash 및 railgun
확장 솔루션：
제로 지식 증명이 확장에 사용될 때, 증명의 생성은 일반적으로 사용자 민감 데이터가 필요하지 않습니다. 따라서 증명 생성은 더 강력한 서버나 공공 클라우드에 위임할 수 있습니다. 일부 확장 솔루션은 GPU 가속을 활용하여 증명 생성의 처리량과 지연 시간을 개선합니다.
예시：
zkRollups, 예를 들어 zkSync, Polygon zkEVM, Scroll, Starkware 및 Linea
zkCoprocessors, 예를 들어 Succinct, RISC Zero, Axiom, Brevis 및 Lagrange
방법론：
이 대시보드를 통해 우리는 세 가지 주요 지표를 측정하고 있습니다:
증명 정산 비용(Total Settlement Fees, TSF)： 사용자가 또는 확장 솔루션이 체인 상에서 제로 지식 증명을 검증하기 위해 지불한 ETH의 총액을 나타냅니다. 이러한 비용은 일반적으로 EVM을 호출하는 암호학적 관련 프리컴파일로 분해될 수 있습니다(자세한 내용은 후속 설명에서 다룰 예정입니다).
체인 상 거래 수： 제로 지식 증명을 검증하는 거래의 수입니다.
활성 사용자 수： ZK 증명을 사용하는 사용자 수입니다.
우리는 어떻게 측정하는가？
우리는 이더리움의 Dune 인덱스 데이터를 기반으로 쿼리를 구현하여 ZKP 검증의 가스 지출을 확보했습니다. 올바른 계약 및 거래 호출 방법을 식별함으로써 관련 내부 호출을 결정했습니다(자세한 데이터 방법론은 이 섹션에서 주석을 달아 설명합니다). 이러한 지출은 주로 다음 프리컴파일 호출에서 발생합니다:
