다음 전략 요충지: 제너레이티브 ZK 증명 시장

2024.01.08

다음 전략 요충지: 제너레이티브 ZK 증명 시장

재능 있는 엔지니어들이 ZK를 확장성, 프라이버시, 데이터 신용에 적용하고 있다.

2024.01.08 - 13:27:35

Web3 심층 보도에 집중하고 흐름을 통찰

재능 있는 엔지니어들이 ZK를 확장성, 프라이버시, 데이터 신용에 적용하고 있다.

저자: 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 Network 방식은 매끄럽고 개발자 친화적인 경험을 제공하며, 시장 메커니즘보다 덜 의존하면서도 신속하고 신뢰성 있게 증명을 생성할 수 있는 솔루션을 제공한다. 이론적으로는 증명 생성이 더 빠를 수 있는데, Proof Market에서는 주문 매칭에 시간이 걸리기 때문이다.
도전 과제로는 테스트 및 디버깅의 어려움, 새로운 보안 문제 발생, 벤더 잠금 가능성, 특정 사용 모델 하에서의 더 높은 비용, 그리고 토큰 유틸리티 손실 등이 있다.
선도적 플레이어는 기존 인프라와 전문 팀을 활용해 하드웨어 가동률을 극대화할 수 있는 내부 ZK 증명 수요가 가장 큰 회사들이 될 가능성이 높다.
신생 애플리케이션에는 ZK 코프로세서, ZK 증명서, ZKML 및 ZK 브리지가 있으며, 이들은 모두 ZK 증명 생성에 대한 수요를 더욱 증가시킨다.
ZK 분야에서 블록체인 업계의 보안성, 검열 저항성 및 개인정보 보호 선호는 탈중앙화 증명 네트워크를 주도하지만, ZK 자체의 내재적 보안성 때문에 이러한 장점들은 탈중앙화를 전제로 하지 않아도 충분하다. ZK의 경우 성능이 주된 관심사다.

서론

증가하는 ZK 수요

ZK 분야에서 수년간의 연구와 성능 개선 이후, 마침내 실제 애플리케이션에 적용되기 시작했다. 뛰어난 엔지니어들은 ZK를 다음 분야에 활용하고 있다:

확장성
개인정보 보호
데이터 신뢰성

Starkware, zkSync, Scroll, Mina, Risc0, =nil;Foundation, EZKL, Giza, Polygon 및 Manta 등 많은 흥미로운 프로젝트들이 ZK에 의존하고 있다. 이들 프로젝트는 매일 안정적이고 지속적으로 ZK 증명을 생성한다. 현재 가장 일반적인 ZK 활용 사례는 이더리움의 확장성 문제를 해결하기 위한 zkRU다. 지난 한 달 동안 이더리움/이더리움 L2s 상에서 ZK 검증에 수백만 달러가 지출되었다.

Near 팀이 제작한 이 그래프는 이더리움 및 L2s에서의 zkSN(T)ARK의 가스 소비량을 보여준다. zkSync, Polygon, Aztec, Tornado Cash, Loopring, Worldcoin, Tailgun, Sismo, StarkNet, ImmutableX 및 dydx와 같은 인기 있는 ZK 프로젝트들을 포함한다.

zkStark와 비교해 zkSnark는 검증 단계에서 전체 비용의 80%를 차지한다. 모든 프로젝트 중 Worldcoin의 검증 비용이 가장 높으며, 그 다음이 zkSync다. Worldcoin 하나당 검증 비용은 약 2달러이며, zkSync는 약 30달러다.

증명 인프라의 부담

ZK는 확장성 문제를 해결할 수 있지만, 일정한 대가가 따른다. 막대한 계산 능력이 필요하다. ZK는 상당한 계산 오버헤드를 유발하며, 롤업 팀은 이를 처리해야 한다. @_weidai는 현재의 ZK 기술을 사용하면 10^4에서 10^6의 계산 오버헤드가 발생한다고 추정한다. 이론적으로 전용 회로를 통해 10배의 계산 오버헤드를 달성할 수 있으며, 가상 머신의 추상화 계층을 추가하면 100배의 오버헤드가 발생할 수 있다.

다음 그래프는 쿠메이 법칙(Koomey's Law)에 따라 연도별로 증가하는 컴퓨팅 능력을 나타낸다. 2000년 이후 매 10년마다 칩 효율이 10배 향상된다. 2000년을 기준으로 계산 능력을 비교하면, 2025년에는 784배에 이를 것으로 예상된다. 이는 현재의 ZK 계산이 여전히 2000년 수준과는 비교할 수 없는 수준임을 의미한다.

한 번 생각해보자. 우리는 ZKRU에 트랜잭션량을 10~100배 늘리는 것을 시도하고 있다. 트랜잭션량이 증가함에 따라 10^4에서 10^6의 계산 오버헤드도 함께 증가한다. 이러한 숫자들은 ZKRU 인프라 팀에게 큰 부담을 준다. 선도적인 ZKRU 팀들은 최소 200GB 메모리를 갖춘 고사양 머신과 재능 있는 운영진을 활용해 이러한 인프라 복잡성을 처리하고 있다.

그렇다면 소규모 팀이 ZKRU를 시작하거나 ZK 기술 스택을 이용해 3단계 솔루션을 만들려 할 때는 어떻게 되는가? 독립 개발자가 ZK Dapp을 구축하려면 어떻게 고사양 서버를 구입하고 올바르게 운영할 수 있을까?

현재 ZKRU를 시작하는 것은 어렵지 않다. ZK Stack을 사용하고 문서에 따라 새로운 ZKRU를 배포할 수 있다. 가장 어려운 부분은 고사양 인프라를 작동시키는 것이다. 서버 군을 관리하는 것은 개인 노트북을 일상적으로 유지하는 것보다 훨씬 어렵다.

또한 하드웨어 가속기는 즉시 사용 가능한 것이 아니다. 사용하는 제로지식 증명 시스템에 따라 각 팀은 서버 구성 설정을 달리 해야 한다.

고가용성 확보 또한 까다로운 주제다. 사용자들이 갑자기 ZKRU에서 Ordinals를 발행하기 시작해 1000배의 처리량이 발생한다면 어떻게 대응할 것인가? Arbitrum처럼 경험이 풍부한 팀조차 Ordinals 거래 급증으로 인해 몇 시간 동안 다운되었던 사례가 있다.

대량의 제로지식 증명을 생성하려면 고사양 서버 지원이 필요하다. 중소규모 팀에게 일련의 고사양 서버를 설정하고 유지하는 것은 큰 부담이다. 다양한 팀이 제로지식 기술을 쉽게 채택할 수 있도록 돕기 위해, 등장하는 프로젝트들이 이러한 팀들의 계산 인프라 복잡성을 처리하려 시도하고 있다.

증명 시장 (Proof Market)

출처: IOSG Ventures

증명 시장과 증명 네트워크는 두 가지 주요 접근법이다. 증명 시장은 개방형 시장과 같다. 증명을 생성하려면 사용자는 일정 가격에 증명을 판매할 의사가 있는 거래 상대를 찾아야 한다. 증명 네트워크는 전통적인 클라우드 서비스와 같으며, 개발자는 회로와 입력을 제출하면 중앙 집중식 로드 밸런서가 내부 서버에 작업을 분배해 증명을 생성한다.

증명 시장은 ZK 증명 인프라에서 인기 있는 접근법이다. 증명 시장은 ZK 증명을 거래하는 개방형 시장이다. ZK 증명 시장 팀은 고사양 서버나 하드웨어를 신경 쓸 필요 없으며, ZK 증명 거래 및 검증 메커니즘에 집중해 제3자 하드웨어 공급업체를 유치한다.

증명 시장은 더욱 개방적인 접근법이다. 제3자 하드웨어 공급업체를 환영한다. 증명을 판매하려는 공급자가 있으면, 구매자는 달러 가격으로 ZK 증명을 구매할 수 있다. 증명을 검증할 때 시장 참여자들이 합의할 필요는 없으며, 시장 운영자가 검증 책임을 진다. 증명 시장에서 zkDapp 개발자는 가격, 생성 시간, 타임아웃 시간, 공개 입력 등을 포함한 ZK 증명 주문을 제출한다. 이후 제3자 하드웨어 공급업체가 주문을 수락하고 증명을 생성한다.

증명 시장의 경제 구조는 간단하다. 증명 생성자는 스테이킹을 해야 한다. 잘못된 증명을 생성하거나 마감 기한까지 증명을 제공하지 못하면 벌금을 낸다. 더 많은 스테이킹을 한 증명 생성자는 동시에 여러 증명을 생성할 수 있다.

증명 시장 분야의 주요 참여자는 =nil과 Marlin이다.

=nil Foundation

증명 시장에는 판매자와 구매자가 있다. 구매자는 dApp 개발자들이다. 그들은 판매자에게 비용을 지불하고 증명을 생성받는다. 증명 가격에 영향을 미치는 요소는 다양하다. 주요 요인으로는 회로 크기, 증명 시스템, 생성 시간, 입력 크기 등이 있다.

다음은 =nil 증명 시장의 작동 절차다:

증명 요청자가 시장에 기대 가격 c_r으로 요청을 보낸다.
증명 시장이 구매자 계정의 c_r 토큰을 잠금 처리한다.
증명 생산자가 c_p <= c_r의 가격으로 시장에 제안을 보낸다.
증명 시장이 요청과 증명 생산자의 제안을 매칭한다.
증명 생산자가 증명을 생성하고 시장에 제출한다.
증명 시장이 증명을 검증하고 c_r - 수수료 토큰을 생산자에게 지급한다.
증명 요청자가 증명을 받아 사용한다.

시장 설계는 거래와 유사한 경험을 제공한다. 증명 생성 가격은 실시간으로 변동한다.

다음은 =nil 증명 시장 제품의 스크린샷이다.

현재 증명 시장은 제한된 수의 증명만 지원하며, 그 중 Mina 증명이 가장 활발하다. 구체적으로 증명 시장은 zkLLVM 컴파일러와 Placeholder 증명 시스템을 기반으로 하는 회로를 수용한다.

Gevulot

Gevulot은 증명 시장에 탈중앙화를 도입하는 것을 목표로 한다. Gevulot은 증명 시장을 위해 특별히 설계된 개방적이고 프로그래밍 가능한 1단계 블록체인이다. 1단계 블록체인은 증명 요청의 분배, 검증, 보상 배분을 담당한다. 증명자 네트워크는 경량 unikernels를 활용해 고성능을 실현한다. Gevulot은 검증 가능한 랜덤 함수(VRF)를 사용해 증명 작업을 소수의 증명자 그룹에게 분배하며, 시스템의 신뢰성을 보장한다.

사용자는 원활하게 프로그램을 배포할 수 있으며, 비용 예측이 가능하고, 프로그램 실행에 필요한 사이클 수에 따라 최대 비용을 설정할 수 있다.

증명자는 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는 이더리움 블록에 대한 증명을 생성한다.

Succinct

최근 Succinct도 신제품을 출시했다. 회로에 대한 REST API를 제공하는 대신, 클라우드 함수와 더 유사한 방식을 제공한다.

다음은 사용자 워크플로우다:

GitHub 계정 연결 및 회로 배포
REST 또는 스마트 계약을 통해 API 호출 및 회로 입력 전달
REST API 또는 스마트 계약을 통해 결과 조회

BONSAI와 비교해 Succinct은 다음과 같은 개발자 경험상의 장점을 갖는다:

회로 코드베이스 관리가 더 쉬움
매번 회로를 다시 보내지 않아도 됨
스마트 계약을 한 번 클릭으로 배포하여 체인 상에서 증명 생성 및 검증 가능
인기 있는 ZK 증명 탐색 가능
대시보드를 통해 증명 생성 상태 확인 가능
rustx, gnark, circom, plonky2 지원

증명 네트워크 vs 증명 시장

증명 시장은 증명의 구매자와 판매자에게 더 큰 가격 유연성을 제공한다. 모든 하드웨어 제공업체를 초청함으로써 구매자의 비용 절감에 기여한다. 그러나 절감된 금액은 개인과 기업에 따라 다를 수 있음을 유념해야 한다. 일반적으로 증명 네트워크와 같은 중심화된 서비스는 개인에게 무료 서비스를 제공하면서 기업에게는 높은 비용을 부과하고 VIP 고객 지원을 제공할 수 있다. 예를 들어 기업이 새로운 이벤트나 기능을 출시하려 할 경우, 증명 네트워크에서 미리 일부 계산 능력을 예약할 수 있다. 탈중앙화된 시장은 더 균형 잡히고 경쟁적인 가격 책정을 제공할 수 있다.

오늘날 시장에서 증명 네트워크 기반 제품은 개발자에게 더 원활한 경험을 제공하는 것처럼 보인다. 모든 증명 생성 작업을 처리하며 주요 증명 시스템을 지원하면서 새로운 복잡한 개념을 도입하지 않는다. 일관된 사용자 경험을 제공한다. 이론적으로 증명 시장은 주문 매칭에도 시간이 필요하기 때문에 더 빠른 증명 생성이 가능하다. 클라우드 컴퓨팅에 익숙하다면, 증명 네트워크는 무상태(stateless) 클라우드 함수와 더 유사하다.

=nil Foundation과 Gevulot은 증명 시장에서, Succinct과 Risc0는 증명 네트워크에서 활동하고 있다. Ulvetanna와 Cystic 같은 하드웨어 기업들도 GPU 상에서의 ZK 증명 성능 향상과 차세대 전용 ZK 칩 개발에 크게 기여하고 있다.

증명 시장은 시작하기가 비교적 쉽다. ZK 인프라 프로젝트로서 증명 시장 설계는 더 많은 하드웨어 제공업체의 참여를 유도할 수 있다. 탈중앙화 설계를 통해 미래의 계산 수요에 맞춰 네트워크를 쉽게 확장할 수 있다.

앞으로는 증명 네트워크와 증명 시장 설계의 통합을 예상한다. 목표는 개발자에게 원활한 경험을 제공하면서도, 백엔드로 증명 시장을 통합해 추가 계산 리소스를 확보하는 것이다. 이것이 바로 Succinct이 가까운 장래에 추구할 방향이다. Infura와 같은 다른 시장에서도 유사한 변화를 목격하고 있다. Infura는 자체 서버를 보유하고 있지만, 허가받은 참여자들에게 인프라 제공을 유도할 계획이다.

출처: IOSG Ventures

누가 실제로 클라우드 기반 ZK 인프라를 필요로 하는가?

우리는 시장 출시 시간을 단축하고, 가볍고 유연한 애플리케이션을 구축하며, 빠르게 확장하거나 업데이트할 수 있는 개발자들이 이러한 클라우드 기반 ZK 인프라로부터 큰 혜택을 얻을 것이라고 본다.

피크와 밸리 사용량의 격차가 큰 애플리케이션의 경우, 클라우드 기반 ZK 인프라는 비용을 줄일 수 있다.

이러한 애플리케이션의 경우, 항상 작동하며 피크 수요를 보장하는 서버 세트를 구입하는 것은 비용이 많이 들며, 사용량이 적을 때는 큰 낭비가 발생한다. 클라우드 기반 인프라는 필요에 따라 성능을 확장하고, 피크 시간 외에는 불필요한 계산 자원을 자동으로 해제할 수 있다.

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

Web2 클라우드 산업에 대한 이해를 바탕으로, 계산 수요가 가장 큰 회사들이 종종 선도적인 클라우드 인프라 사업을 갖게 된다는 것을 알 수 있다. 그들은 확장성, 비용, 팀, 혁신 제품의 장점을 활용할 수 있다.

이는 클라우드 기반 ZK 인프라에도 동일하게 적용된다. 우리는 내부적으로 ZK 증명 생성 수요가 가장 큰 프로젝트들이 가장 성공적인 ZK 클라우드 인프라 사업 중 하나를 가질 가능성이 있다고 본다.

내부적으로 대량의 ZK 증명을 생성하는 프로젝트들은 이미 많은 인프라, 최적화 도구 및 전문 팀을 보유하고 있다. 애플리케이션 간에 증명 자원을 공유함으로써 하드웨어 가동률을 극대화할 수 있다. 한 애플리케이션이 즉시 증명을 생성할 필요가 없을 때, 증명자는 다른 용도로 재활용될 수 있다.

이러한 대규모 프로젝트들은 어느 정도 각자만의 증명 시스템을 가지고 있다. 제3자 증명 인프라는 다양한 대규모 프로젝트가 사용하는 다양한 증명 시스템을 최적화하기 어렵다. 빠르고 쉽게 사용할 수 있는 클라우드 기반 증명자를 제공함으로써, 대규모 프로젝트는 자사 증명 시스템 생태계를 효과적으로 확장할 수 있다.

ZKRU의 경우, 클라우드 기반 ZK 인프라는 포크(Fork)의 사용량을 증가시킬 수 있다. 이러한 ZKRU 위에서 새로운 2단계 또는 3단계를 시작하는 것은 어렵지 않지만, ZK 인프라를 유지하는 것은 비용이 많이 든다. 즉시 사용 가능하고 유연한 클라우드 기반 증명자를 제공하면 더 많은 개발자를 유치할 수 있다. 현재 대부분의 개발자들은 관리가 용이한 인프라 덕분에 일반적으로 OPRU SDK를 사용해 새로운 2단계 또는 3단계를 구축한다.

자체 ZK 인프라를 구축하지 않는다면, 이러한 대규모 ZK 프로젝트들은 제3자 컴퓨팅 제공업체에게 높은 비용을 지불해야 한다. 개발 속도도 제한받게 되며, 인프라를 항상 맞춤화해 성능을 더욱 향상시키고 증명 비용을 낮추는 것도 불가능하다.

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

ZKRU 및 1단계 네트워크 외에도, 최근 우리는 더 많은 새로운 제로지식 증명 애플리케이션을 목격하고 있다. 모두 증명 생성에 대한 거대한 수요를 갖고 있다.

제로지식 코프로세서는 스마트 계약 개발자가 과거의 블록체인 상태를 신뢰 없이 획득할 수 있게 한다. 제로지식 코프로세서는 이러한 과거 블록체인 상태에 대해 제로지식 증명을 생성한다. 이는 그래프보다 더 안전하고 신뢰 없는 대안일 수 있다.

제로지식 증명서는 사용자가 체외 데이터나 신원 정보를 블록체인으로 가져올 수 있도록 돕는다. 증명자는 체외에서 데이터를 검증한 후, 제로지식 증명을 생성하고 이를 블록체인에 올린다.

제로지식 머신러닝(ZKML)은 체인 상에서의 추론을 가능하게 한다. 컴퓨팅 제공업체는 체외에서 ML 계산을 수행하고, 제로지식 증명을 생성한 후 이를 블록체인에 게시한다.

제로지식 브리지는 더 안전한 버전의 크로스체인 브리지다. 원본 체인에 저장 증명 또는 합의 증명을 생성하여 타겟 체인에 배치한다. 이는 현재의 크로스체인 브리지를 대체할 가능성이 있다.

탈중앙화 증명 네트워크의 특별함은 무엇인가?

블록체인 산업 내에서 탈중앙화는 가장 인기 있는 스토리텔링이다. 탈중앙화는 다음과 같은 이점을 제공한다:

보안성
검열 저항성
개인정보 보호

제로지식 증명은 일반적인 계산과 다르다. ZK는 고유의 보안성을 지닌다. 누구나 쉽게 빠르게 증명을 검증함으로써 증명자의 정직성을 입증할 수 있다. ZK 분야에서는 탈중앙화가 보안성의 전제 조건이 아니다.

제로지식 증명은 회로로 구성되는 복잡한 저수준 세부 사항에 초점을 맞춘다. 이러한 회로 내부 내용은 검열하기 매우 어렵지만, ZK 증명 생성 요청자 대상으로 공격하면 효과적으로 검열을 시행할 수 있다.

증명 네트워크의 경우, 사용자가 개인 입력을 증명 네트워크에 보내기 때문에 개인정보 보호 문제가 될 수 있다. 이상적인 해결책은 로컬에서 증명을 생성해 데이터 유출을 방지하는 것이다. 하지만 이는 로컬 성능에 도전 과제가 된다. 다른 해결책으로는 새로운 제로지식 멀티파티 컴퓨팅(MPC) 프로토콜 또는 신뢰 실행 환경(TEE) 내에서 증명 생성이 있을 수 있다. 탈중앙화 증명 네트워크는 개인정보 보호를 추가로 제공하지 않는다.

스토리텔링 외에도, 검열 저항성은 탈중앙화 증명 네트워크를 구축하는 주요 이유일 수 있다. 제로지식 증명 기술은 아직 초기 단계이며, 지금까지 이 분야에서 검열의 형태를 관찰하지 못했다. 그러나 ZK 발전을 방해하는 주요 도전 과제는 성능이다. 탈중앙화 증명 네트워크를 도입하면 증명 생성에 필요한 계산 수요가 증가할 수 있다.

결론

제로지식 증명 애플리케이션은 빠르게 발전하며 광범위한 영역으로 확장되고 있다. 우리는 다양한 기술 스택에 ZK가 통합되는 것을 예상한다. 이미 ZK 레이어1, ZK 2단계 네트워크, ZKML, ZKVM, ZK-Email을 목격했다. 개발자들은 ZK 오라클, ZK 데이터 소스, ZK 데이터베이스를 구축하고 있다. 우리는 "모든 것을 ZK화하는" 길을 걷고 있다. ZK가 유발하는 계산 오버헤드는 개발자들이 고사양 서버에 회로를 배포하도록 강요한다. 따라서 개발자들이 이러한 인프라 운영의 복잡성에서 벗어날 수 있도록 돕기 위해 클라우드 기반 ZK 증명 인프라에 대한 수요가 증가할 것으로 예상된다.

이 분야에서 우리의 통찰은 다음과 같다:

증명 시장과 증명 네트워크는 ZK dApp 개발자가 인프라의 복잡성에서 벗어날 수 있도록 돕는 두 가지 주요 방법이다.
증명 네트워크와 증명 시장 메커니즘을 결합한 하이브리드 방식이 등장할 것으로 예상한다.
모든 ZK dApp 개발자가 클라우드 기반 ZK 인프라를 사용하기에 적합한 것은 아니다. 트래픽이 안정적인 중간 규모 프로젝트는 비용 절감을 위해 자체 서버를 호스팅할 수 있다.
클라우드 기반 ZK 인프라의 선두주자는 zkSync와 같은 선도적인 ZKRU처럼, 대량의 ZK 증명 생성 수요가 있는 프로젝트들일 것이다. 그들은 이 사업을 진행할 경제적 인센티브를 갖는다.
탈중앙화는 분산화가 개인정보 보호, 검열 저항성, 보안 등의 특성을 제공하기 때문에 암호화 분야의 주요 스토리텔링이다. ZK 증명은 이미 이러한 특성 중 일부를 갖추고 있다. 현재 탈중앙화 증명 시장의 주요 가치 제안은 검열 저항성이다.
클라우드 기반 ZK 증명 인프라의 인기는 현재 시장에서 ZK dApp의 수와 밀접하게 관련되어 있다. 일부 프로젝트들은 초기에 클라우드 기반 ZK 증명 인프라를 핵심 기능으로 강조했지만, 결국 다른 새로운 스토리텔링으로 방향을 전환하는 경우가 많다.