다음 군사 전략의 필수 경쟁지: 생성 ZK 증명 시장 #208

저자：Yiping, IOSG Ventures

TL,DR;

• ZK 기술은 Starkware, zkSync, Scroll, Mina, Risc0, Giza 및 EZKL과 같은 다양한 프로젝트의 확장성, 프라이버시 및 신뢰성을 향상시키는 데 주로 사용됩니다.
• ZK 기술은 많은 계산 능력을 필요로 하며, 10\^4에서 10\^6의 계산 비용을 초래하여 인프라 팀에 도전 과제가 됩니다.
• ZK 증명을 생성하는 주요 방법은 Proof Markets와 Proof Networks입니다. Proof Markets는 ZK 증명을 거래하는 개방 시장으로 운영되며, Proof Networks는 내부 서버를 보유하여 증명 생성을 클라우드 서비스와 유사한 경험으로 제공합니다.
• Proof Market 방법은 고급 서버 관리 없이 ZK proof 거래를 할 수 있는 개방 시장을 촉진하여 유연성과 비용 효율성을 허용합니다.
• Proof Network 방법은 개발자 친화적인 경험을 제공하며, 시장 메커니즘에 덜 의존하여 빠르고 신뢰할 수 있는 증명 생성을 가능하게 합니다. 이론적으로, Proof Market에서도 주문을 일치시키는 데 시간이 필요하기 때문에 증명을 빠르게 생성할 수 있습니다.
• 도전 과제로는 테스트 및 디버깅의 어려움, 새로운 보안 문제의 발생, 공급업체에 의해 잠금될 가능성, 특정 사용 패턴에서의 높은 비용 및 토큰 유틸리티 손실 등이 있습니다.
• 선도적인 플레이어는 내부 ZK 증명 수요가 가장 많은 회사일 가능성이 높으며, 이들은 기존 인프라와 전문 팀을 활용하여 하드웨어 활용도를 극대화할 수 있습니다.
• 신흥 응용 프로그램에는 ZK Coprocessors, ZK Attestation, ZKML 및 ZK Bridge가 포함되며, 이는 ZK 증명 생성에 대한 수요를 증가시킵니다.
• ZK 분야에서는 블록체인 산업의 보안성, 검열 저항 및 프라이버시 선호에 의해 분산 증명 네트워크가 추진되고 있으며, ZK의 내재적 보안은 이러한 이점이 분산화의 전제 조건이 아님을 의미합니다. ZK에 있어 성능이 주요 관심사입니다.

서론

증가하는 ZK 수요 수년간 zk 분야에서 연구를 진행하고 성능에서 큰 개선을 이룬 후, zk가 드디어 실제 애플리케이션에 적용되고 있습니다. 재능 있는 엔지니어들은 ZK를 다음과 같이 적용하고 있습니다:

• 확장성
• 프라이버시
• 데이터 신뢰성

Starkware, zkSync, Scroll, Mina, Risc0, =nil;Foundation, EZKL, Giza, Polygon 및 Manta와 같은 많은 흥미로운 프로젝트가 zk에 의존하고 있습니다. 이러한 프로젝트는 매일 안정적이고 지속적으로 zk proof를 생성합니다. 현재 가장 인기 있는 zk 사용 사례는 이더리움의 확장성 문제를 해결하기 위한 zkRU입니다. 지난 한 달 동안 zk 검증은 이더리움/이더리움 L2에서 수백만 달러를 소비했습니다. 출처: https://dune.com/nebra/zkp-verify-spending ZK 검증 비용이 지난해에 비해 크게 증가했습니다. Near 팀이 제작한 이 차트는 이더리움 및 L2에서 zkSN(T)ARK의 연료 소비 상황을 보여줍니다. zkSync, Polygon, Aztec, Tornado Cash, Loopring, Worldcoin, Tailgun, Sismo, StarkNet 및 ImmutableX와 같은 인기 있는 ZK 프로젝트가 포함되어 있습니다. zkStark와 비교할 때, zkSnark는 검증 측면에서 총 비용의 80%를 차지합니다. 이 모든 프로젝트 중에서 Worldcoin의 검증 비용이 가장 높고, 그 다음이 zkSync입니다. 각 Worldcoin의 검증 비용은 약 2달러입니다. 각 zkSync의 검증 비용은 약 30달러입니다. 증명 인프라의 부담 ZK는 확장성 문제를 해결할 수 있지만, 일정한 대가가 필요합니다. 많은 계산 능력이 필요합니다. ZK는 많은 계산 오버헤드를 가져오며, Rollup 팀은 이 문제를 처리해야 합니다. @_weidai는 현재의 ZK 기술을 사용할 경우 10\^4에서 10\^6의 계산 오버헤드가 발생할 것으로 추정합니다. 이론적으로, 전용 회로를 통해 10배의 계산 오버헤드를 달성할 수 있습니다. 가상 머신의 추상화 계층을 추가하면 100배의 계산 오버헤드가 발생합니다. 아래 그림은 쿠머이 법칙에 따라 연도별 증가에 따른 계산 능력 차트를 묘사합니다. 2000년 이후 매 10년마다 칩 효율성이 10배 향상됩니다. 2000년을 기준으로 계산 능력을 비교하면 2025년에는 784배에 이를 것입니다. 이는 현재 ZK 계산이 2000년과 비교할 때 여전히 같은 양의 수준에 있지 않음을 나타냅니다. 출처: https://visualize.graphy.app/view/04f82b27-3654-47eb-83e8-3981f6e258be 잘 생각해 보세요. 우리는 거래량을 10배에서 100배로 증가시키려 하고 있습니다. 거래량이 증가함에 따라 우리는 또한 10\^4에서 10\^6의 계산 오버헤드에 직면하게 됩니다. 이러한 숫자는 ZKRU 인프라 팀에 큰 압박을 가합니다. 선도적인 ZKRU 팀은 최소 200GB 메모리를 갖춘 고급 머신을 사용하고 있으며, 이러한 인프라 복잡성을 처리할 재능 있는 운영 인력을 보유하고 있습니다. 그렇다면 작은 팀이 ZKRU를 시작하거나 ZK 기술 스택을 사용하여 3층 솔루션을 구축하고자 할 때, 이는 무엇을 의미할까요? 독립 개발자가 ZK Dapps를 구축하고자 할 때, 그들은 이러한 고급 서버를 어떻게 구매하고 올바르게 운영할 수 있을까요? 현재 ZKRU를 시작하는 것은 어렵지 않습니다. ZK Stack을 사용하고 문서의 지침에 따라 새로운 ZKRU를 배포할 수 있습니다. 가장 어려운 부분은 고급 인프라를 작동시키는 것입니다. 서버 군을 관리하는 것은 개인 노트북을 일상적으로 유지하는 것보다 훨씬 더 어렵습니다. 또한 하드웨어 가속은 즉시 사용할 수 있는 것이 아닙니다. 사용되는 제로 지식 증명 시스템에 따라 각 팀은 서버에 대해 서로 다른 구성을 설정해야 합니다. 고가용성을 보장하는 것도 까다로운 주제입니다. 만약 대량의 사용자가 당신의 ZKRU에서 Ordinals를 민팅하기 시작하고, 당신이 갑자기 1000배의 처리량에 직면한다면 어떻게 될까요? Arbitrum과 같은 경험이 풍부한 팀조차도 Ordinals 거래 급증으로 몇 시간 동안 중단되었습니다. 대량의 제로 지식 증명을 생성하려면 고급 서버의 지원이 필요합니다. 중소형 팀에게는 고급 서버의 설정 및 유지 관리가 큰 부담이 될 것입니다. 다양한 팀이 제로 지식 기술을 신속하게 채택할 수 있도록 돕기 위해, 신흥 프로젝트들은 이러한 팀이 모든 계산 인프라 복잡성을 처리하도록 돕고자 합니다.

증명 시장

출처: IOSG Ventures 증명 시장과 증명 네트워크는 두 가지 주요 방법입니다. 증명 시장은 개방된 시장과 같습니다. 증명을 생성하기 위해 사용자는 특정 가격에 증명을 판매할 의향이 있는 거래 상대방을 찾아야 합니다. 증명 네트워크는 전통적인 클라우드 서비스와 유사하게 작동하며, 개발자는 회로와 입력을 제출하고, 중앙 집중식 로드 밸런싱이 내부 서버를 할당하여 사용자에게 증명을 생성합니다. 증명 시장은 ZK 증명 인프라에서 인기 있는 방법입니다. 증명 시장은 ZK 증명을 거래하는 개방 시장으로, 구매자와 판매자가 거래합니다. ZK 증명 시장 팀은 ZK 증명 하드웨어나 고급 서버를 소유할 필요가 없으며, ZK 증명 거래 및 검증 메커니즘에 집중하여 제3자 하드웨어 공급업체를 유치합니다. 증명 시장은 보다 개방적인 방법입니다. 제3자 하드웨어 공급업체를 환영합니다. 이러한 증명을 가진 판매자가 있는 한, 구매자는 달러 가격으로 ZK 증명을 구매할 수 있습니다. 증명을 검증할 때 시장의 모든 사람은 합의에 도달할 필요가 없으며, 오직 시장 운영자만이 검증 책임을 집니다. 증명 시장에서 zkDapp 개발자는 가격, 생성 시간, 만료 시간 및 공용 입력을 포함한 ZK 증명 주문을 제출합니다. 그런 다음 제3자 하드웨어 공급업체가 주문을 수락하고 증명을 생성합니다. 증명 시장의 경제 구조는 간단합니다. 증명 생성자는 스테이킹을 해야 합니다. 그들이 잘못된 증명을 생성하거나 마감일 이전에 증명을 제공하지 않으면 벌금을 부과받습니다. 더 많은 스테이킹을 가진 증명 생성자는 동시에 여러 증명을 생성할 수 있습니다. 증명 시장 산업의 주요 참여자는 =nil과 Marlin입니다. =nil Foundation 증명 시장에는 판매자와 구매자가 있습니다. 구매자는 dApp 개발자입니다. 그들은 증명을 생성하기 위해 판매자에게 비용을 지불합니다. 증명의 가격에 영향을 미치는 많은 요소가 있습니다. 주요 요소에는 회로 크기, 증명 시스템, 생성 시간 및 입력 크기가 포함됩니다. 아래는 =nil 증명 시장의 작업 흐름입니다:

1. 증명 요청자는 시장에 c_r의 예상 가격으로 요청을 보냅니다.
2. 증명 시장은 구매자 계좌의 c_r 토큰을 잠급니다.
3. 증명 생성자는 가격 cp \<= cr로 시장에 제안을 보냅니다.
4. 증명 시장은 요청을 증명 생성자의 제안과 일치시킵니다.
5. 증명 생성자는 증명을 생성하고 이를 시장에 전송합니다.
6. 증명 시장은 증명을 검증하고 c_r - 수수료 토큰을 생성자에게 지급합니다.
7. 증명 요청자는 그들의 증명을 받고 이를 사용합니다.

시장 설계는 거래와 유사한 경험을 제공합니다. 증명 생성 가격은 실시간으로 변동합니다. 아래는 =nil 증명 시장의 제품 스크린샷입니다. 출처: https://nil.foundation/ 현재 Proof Market은 제한된 수의 선언을 지원하며, Mina 선언 증명이 가장 활발합니다. 구체적으로, Proof Market은 그들의 zkLLVM 컴파일러와 Placeholder 증명 시스템을 기반으로 한 회로를 수용합니다. Gevulot Gevulot은 증명 시장에 분산화를 도입하는 데 전념하고 있습니다. Gevulot은 증명 시장을 위해 설계된 개방적이고 프로그래밍 가능한 1계층 블록체인입니다. 1계층 블록체인은 증명 요청의 배포, 검증 및 보상 분배를 처리합니다. 증명자 네트워크는 경량 unikernels를 활용하여 높은 성능을 구현합니다. Gevulot은 검증 가능한 무작위 함수(VRF)를 사용하여 증명 작업을 소수의 증명자에게 할당하여 시스템의 신뢰성을 보장합니다. 출처: https://www.gevulot.com/ 사용자는 프로그램을 원활하게 배포할 수 있으며, 비용은 예측 가능하며, 사용자는 프로그램 실행에 필요한 주기 수에 따라 최대 비용을 설정할 수 있습니다. 증명자는 Gevulot 네트워크와 사용자 비용을 통해 보상을 받으며, 효율적이고 경쟁력 있는 증명을 생성하도록 유도됩니다. 가장 빠른 증명자는 가장 많은 네트워크 보상을 받습니다. 사용자 비용은 증명을 완료한 모든 노드와 평등하게 공유됩니다. Gevulot은 C, C++, Go, Java, Node.js, Python, Rust, Ruby, PHP 등 다양한 프로그래밍 언어로 프로그램 배포를 지원합니다. Gevulot의 기본 VM Nanos는 x86_64 Linux ELF 바이너리를 지원합니다. Gevulot은 다양한 언어와 증명 시스템을 지원하는 범용 컴퓨팅 플랫폼입니다. Gevulot은 Nanos 단일 커널을 기반으로 하여 증명자가 서로 다른 머신에서 쉽게 실행될 수 있도록 보장합니다. 모든 증명자는 단일 단일 커널 이미지로 컴파일되어야 합니다. 증명 네트워크 Proof Network는 보다 친숙한 개발자 경험 방법을 제공합니다. 그 작동 방식은 Web2의 클라우드 서비스 제공업체와 유사합니다. 개발자는 REST API를 통해 로드 데이터를 전송하고, 증명 네트워크는 이후 개발자에게 증명을 반환합니다. 개발자는 가격 변동이나 누가 증명을 생성할지를 걱정할 필요가 없습니다.

Risc0

Risc Zero는 그들의 zkVM을 활용하여 Bonsai를 시작했습니다. zkVM의 힘을 통해 사용자는 Bonsai가 다양한 선언을 생성하도록 할 수 있습니다. 예를 들어, Bonsai와 Risc0 VM을 기반으로 Zeth는 이더리움 블록을 생성하는 증명을 생성합니다. 출처: https://www.risczero.com/

Succinct

최근 Succinct은 그들의 새로운 제품을 출시했습니다. REST API 회로를 제공하는 대신, Succinct은 클라우드 함수와 유사한 방법을 제공합니다. 아래는 사용자 작업 흐름입니다:

1. GitHub 계정에 연결하고 회로를 배포합니다.
2. REST 또는 스마트 계약을 통해 API를 호출하고 회로 입력을 전달합니다.
3. REST API 또는 스마트 계약을 통해 결과를 조회합니다.

출처: https://succinct.xyz/ BONSAI와 비교할 때, Succinct은 개발자 경험에서 다음과 같은 장점을 가지고 있습니다:

• 회로 코드베이스 관리가 더 간편합니다.
• 회로를 다시 전송할 필요가 없습니다.
• 체인에서 증명 생성 및 검증을 위한 스마트 계약을 원클릭으로 배포합니다.
• 인기 있는 ZK 증명을 탐색합니다.
• 증명 생성 상태를 대시보드에서 확인합니다.
• rustx, gnark, circom, plonky2를 지원합니다.

출처: https://succinct.xyz/ 증명 네트워크와 증명 시장 증명 시장은 증명의 구매자와 판매자에게 더 큰 가격 유연성을 제공합니다. 모든 하드웨어 공급업체의 참여를 초대하여 구매자의 비용을 낮추는 데 도움이 됩니다. 그러나 절약된 금액은 개인과 기업에 따라 다를 수 있습니다. 일반적으로, 증명 네트워크와 같은 중앙 집중식 서비스는 개인에게 무료 서비스를 제공할 수 있지만, 기업에는 높은 비용을 청구하며 VIP 고객 지원에 대한 접근을 제공합니다. 예를 들어, 기업이 새로운 이벤트나 기능을 출시할 계획이라면, 기업은 증명 네트워크에서 미리 일부 계산 능력을 예약할 수 있습니다. 분산 시장은 더 균형 잡히고 경쟁력 있는 가격을 제공할 수 있습니다. 오늘날의 시장에서, 증명 네트워크 기반 제품은 개발자에게 더 매끄러운 경험을 제공하는 것처럼 보입니다. 모든 증명 생성 작업을 처리하고 주요 증명 시스템을 지원하며, 새로운 복잡한 개념을 도입하지 않습니다. 일관된 사용자 경험을 제공합니다. 이론적으로, 증명 시장의 주문 일치에도 시간이 필요하기 때문에 빠른 증명 생성을 제공합니다. 클라우드 컴퓨팅에 익숙하다면, 증명 네트워크는 무상태 클라우드 함수와 더 유사합니다. 우리는 =nil 재단과 Gevulot이 증명 시장에서 작업하고 있음을 알고 있습니다. Succinct와 Risc0는 증명 네트워크에서 작업하고 있습니다. Ulvetanna와 Cystic과 같은 하드웨어 회사들도 GPU에서 ZK 증명 성능을 향상시키고 차세대 전용 ZK 칩을 개발하는 데 큰 기여를 하고 있습니다. 증명 시장은 상대적으로 쉽게 시작할 수 있습니다. ZK 인프라 프로젝트에 대해, 증명 시장 설계는 더 많은 하드웨어 공급업체가 온라인에 올라갈 수 있도록 합니다. 분산 설계를 통해, 그들은 미래의 계산 요구를 충족하기 위해 네트워크를 쉽게 확장할 수 있습니다. 우리는 미래에 증명 네트워크와 증명 시장 설계의 결합을 예견합니다. 목표는 개발자에게 원활한 경험을 제공하고, 증명 시장을 백엔드로 통합하여 추가 계산 자원을 촉진하는 것입니다. 이는 Succinct이 가까운 미래에 추구할 방향입니다. 우리는 Infura와 같은 다른 시장에서도 유사한 전환을 보고 있습니다. Infura는 자체 서버를 보유하고 있지만, 허가된 참여자가 인프라를 제공하도록 유도할 계획입니다.

출처: IOSG Ventures 누가 클라우드 ZK 인프라를 실제로 필요로 하는가 우리는 제품 출시 시간을 단축하고 가볍고 유연한 애플리케이션을 구축하여 빠르게 확장하거나 업데이트할 수 있는 개발자들이 이러한 클라우드 ZK 인프라로부터 큰 혜택을 받을 것이라고 생각합니다. 피크와 바닥 사용량 차이가 큰 애플리케이션의 경우, 클라우드 ZK 인프라는 비용을 줄일 수 있습니다. 이러한 애플리케이션의 경우, 항상 실행되고 피크 가용성을 보장하는 서버 세트를 구매하는 것은 비용이 많이 들 수 있습니다. 사용량이 바닥일 때 큰 낭비가 발생할 수 있습니다. 클라우드 인프라는 언제든지 확장할 수 있으며 성능을 향상시킵니다. 피크 외의 시간에는 이러한 여분의 계산 성능을 자동으로 해제할 수 있습니다.

누가 선두주자가 될 것인가?

Web2 클라우드 산업에 대한 이해를 바탕으로, 우리는 계산 수요가 가장 큰 회사들이 종종 선도적인 클라우드 인프라 비즈니스를 소유할 수 있음을 발견했습니다. 그들은 확장성, 비용, 팀 및 혁신적인 제품의 이점을 활용할 수 있습니다. 이는 클라우드 ZK 인프라에도 동일하게 적용됩니다. 우리는 생성 검증 수요가 가장 큰 프로젝트들이 가장 성공적인 ZK 클라우드 인프라 비즈니스 중 하나를 가질 잠재력이 있다고 생각합니다. 내부에서 대량의 ZK 증명을 생성하는 프로젝트들은 이미 많은 인프라, 최적화기 및 전문 팀을 보유하고 있습니다. 그들은 애플리케이션 간에 증명 자원을 공유함으로써 하드웨어 활용도를 극대화할 수 있습니다. 한 애플리케이션이 즉시 증명을 생성할 필요가 없을 때, 증명자는 다른 용도로 재사용될 수 있습니다. 이러한 대규모 프로젝트들은 어느 정도 자신만의 증명 시스템을 가지고 있습니다. 제3자 증명 인프라는 종종 다양한 대규모 프로젝트에서 사용되는 다양한 증명 시스템을 최적화하기 어렵습니다. 빠르고 사용하기 쉬운 클라우드 증명자를 제공함으로써, 대규모 프로젝트들은 그들의 증명 시스템 생태계를 효과적으로 확장할 수 있습니다. ZKRU에 대해, 클라우드 ZK 인프라는 그들의 Fork 사용량을 증가시킬 수 있습니다. 이러한 ZKRU에서 새로운 2층 또는 3층을 시작하는 것은 어렵지 않지만, ZK 인프라를 유지하는 것은 비용이 많이 들 것입니다. 즉시 사용할 수 있고 유연한 클라우드 증명자를 제공함으로써 더 많은 개발자를 유치할 수 있습니다. 현재 대부분의 개발자들은 해당 인프라가 관리하기 쉬워서 일반적으로 OPRU SDK를 사용하여 새로운 2층 또는 3층을 구축합니다. 자신만의 ZK 인프라를 구축하지 않는다면, 이러한 대규모 ZK 프로젝트들은 제3자 계산 공급자에게 높은 비용을 지불해야 합니다. 그들은 성능을 더욱 향상시키고 증명 비용을 낮추기 위해 항상 자신의 인프라를 맞춤화할 수 없기 때문에 개발 속도에도 제한을 받을 것입니다.

누가 제로 지식 증명에 대한 수요가 가장 큰가?

ZKRU와 1층 네트워크 외에도, 우리는 최근에 더 많은 신흥 제로 지식 증명 응용 프로그램을 보았습니다. 이들은 모두 증명 생성에 대한 큰 수요를 가지고 있습니다. 제로 지식 협처리기는 스마트 계약 개발자가 신뢰 없이 과거 블록체인 상태를 가져올 수 있게 합니다. 제로 지식 협처리기는 이러한 과거 블록체인 상태에 대한 제로 지식 증명을 생성합니다. 이는 그래프보다 더 안전하고 신뢰가 필요 없는 대안이 될 수 있습니다. 제로 지식 인증은 사용자가 오프체인 데이터 또는 신원 정보를 블록체인으로 가져오는 데 도움을 줍니다. 인증자는 오프체인에서 이러한 데이터를 검증한 후, 이를 위해 제로 지식 증명을 생성하고 블록체인에 배치합니다. 제로 지식 머신러닝은 체인에서 추론을 가능하게 합니다. 계산 공급자는 오프체인에서 ML 계산을 수행하고, 이를 위해 제로 지식 증명을 생성한 후, 해당 증명을 블록체인에 게시합니다. 제로 지식 브리지는 더 안전한 버전의 크로스 체인 브리지입니다. 이는 소스 체인에 저장 증명 또는 심지어 합의 증명을 생성하고 이를 목표 체인에 배치합니다. 이는 현재의 크로스 체인 브리지를 대체할 수 있습니다.

분산 증명 네트워크의 특별한 점은 무엇인가?

블록체인 산업 내에서 분산화는 가장 인기 있는 서사입니다. 분산화는 많은 이점을 가져옵니다:

• 보안성
• 검열 저항성
• 프라이버시

제로 지식 증명은 다른 일반적인 계산과 다릅니다. ZK는 고유한 보안성을 가지고 있습니다. 누구나 쉽게 그리고 신속하게 증명을 검증하여 증명자의 정직성을 보장할 수 있습니다. ZK 분야에서 분산화는 보안의 전제 조건이 아닙니다. 제로 지식 증명은 복잡한 기본 세부 사항에 집중되어 회로로 구축됩니다. 이러한 회로 내의 내용은 검열하기 매우 어렵지만, ZK 증명 생성 요청자의 방식으로 검열이 여전히 효과적으로 시행될 수 있습니다. 증명 네트워크의 경우, 사용자가 증명 네트워크에 개인 입력을 전송하기 때문에 프라이버시가 문제가 될 수 있습니다. 이상적인 해결책은 로컬에서 증명을 생성하여 데이터 유출을 방지하는 것입니다. 이는 로컬 성능에 도전 과제를 제기할 것입니다. 다른 해결책은 새로운 제로 지식 다자간 계산 프로토콜이거나 신뢰 실행 환경에서 증명을 생성하는 것입니다. 분산 증명 네트워크는 더 많은 프라이버시를 제공할 수 없습니다. 서사 외에도, 검열 저항성은 분산 증명 네트워크를 구축하는 주요 이유일 수 있습니다. 제로 지식 증명 기술은 아직 초기 단계에 있으며, 현재까지 이 분야에서 어떤 형태의 검열도 관찰되지 않았습니다. 그러나 제로 지식 증명의 발전을 저해하는 주요 도전 과제는 성능입니다. 분산 증명 네트워크를 도입하면 증명 생성의 계산 요구가 증가할 수 있습니다. 결론 제로 지식 증명 응용 프로그램은 빠르게 발전하고 있으며, 응용 범위가 넓습니다. 우리는 제로 지식 증명이 다양한 기술 스택에 통합되는 것을 볼 것으로 예상합니다. 우리는 ZK layer1, ZK 2층 네트워크, ZKML, ZKVM, ZK-Email을 보았습니다. 개발자들은 ZK 오라클, ZK 데이터 소스 및 ZK 데이터베이스를 구축하고 있습니다. 우리는 "ZK화 모든 것"의 길을 걷고 있습니다. ZK가 가져오는 계산 오버헤드는 개발자들이 고급 서버에 그들의 회로를 배포해야 함을 강요합니다. 따라서 우리는 클라우드 ZK 증명 인프라에 대한 수요가 증가할 것으로 예상하며, 이는 개발자들이 이러한 인프라 운영의 복잡성에서 벗어나는 데 도움을 줄 것입니다. 이 분야에서 우리의 통찰력은 다음과 같습니다:

• 증명 시장과 증명 네트워크는 ZK dApp 개발자가 인프라의 복잡성에서 벗어나는 데 도움을 줄 수 있는 두 가지 주요 방법입니다.
• 우리는 증명 네트워크와 증명 시장 메커니즘이 결합된 혼합 방법이 등장할 것으로 예상합니다.
• 모든 ZK dApp 개발자가 클라우드 ZK 인프라를 사용하는 것이 적합한 것은 아닙니다. 트래픽이 안정적인 중간 규모 프로젝트는 비용을 줄이기 위해 서버를 자가 호스팅할 수 있습니다.
• 클라우드 ZK 인프라의 리더는 대량의 ZK 증명 생성을 필요로 하는 프로젝트들, 예를 들어 선도적인 ZKRU가 될 것입니다. 그들은 이 비즈니스를 수행할 경제적 인센티브를 가지고 있습니다.
• 분산화는 암호화 분야의 주요 서사로, 분산화는 프라이버시, 검열 저항 및 보안과 같은 특성을 가져옵니다. ZK 증명은 이미 이러한 특성 중 일부를 갖추고 있습니다. 현재 분산 증명 시장의 매력은 검열 저항성입니다.
• 클라우드 ZK 증명 인프라의 인기는 현재 시장에서 ZK dApps의 수와 밀접한 관련이 있습니다. 일부 프로젝트는 처음에 그들의 클라우드 ZK 증명 인프라를 핵심 기능으로 강조했지만, 많은 프로젝트가 결국 다른 새로운 서사에 초점을 맞추게 될 것입니다.