RISC Zero의 Boundless: 탈중앙화 증명 시장이 ZK의 9,700만 달러 규모 병목 현상을 해결할 수 있을까?
영지식 롤업(Zero-knowledge rollups)은 블록체인 확장의 미래가 될 것으로 기대되었습니다. 하지만 대신 9,700만 달러 규모의 중앙집중식 증명자(prover) 시장의 인질이 되었습니다. 소수의 기업이 수수료의 60-70%를 갈취하며, 사용자는 수초면 충분할 증명을 위해 수분 동안 기다립니다.
2025년 9월 메인넷에 출시된 RISC Zero의 탈중앙화 증명 마켓플레이스인 Boundless는 이 문제를 해결했다고 주장합니다. GPU 운영자가 작업을 위해 경쟁하는 개방형 시장으로 ZK 증명 생성을 전환함으로써, Boundless는 검증 가능한 연산을 "실행만큼 저렴하게" 만들겠다고 약속합니다. 하지만 토큰 인센티브 네트워크가 ZK 기술을 비싸고 접근하기 어렵게 만들었던 중앙집중화의 악순환을 정말로 끊을 수 있을까요?
10억 달러 규모의 병목 현상: ZK 증명이 여전히 비싼 이유
영지식 롤업의 약속은 우아했습니다. 오프체인에서 트랜잭션을 실행하고, 올바른 실행에 대한 암호화 증명을 생성하며, 이더리움에서 아주 적은 비용으로 해당 증명을 검증하는 것이었습니다. 이론적으로 이는 이더리움 수준의 보안을 1센트 미만의 트랜잭션 비용으로 제공할 것입니다.
현실은 더 복잡했습니다.
4,000개의 트랜잭션 배치를 위한 단일 ZK 증명을 생성하는 데 고성능 A100 GPU에서 25분이 걸리며, 클라우드 컴퓨팅 비용만 0.040.17달러가 듭니다. 이는 신뢰할 수 있는 증명 서비스를 운영하는 데 필요한 전문 소프트웨어, 엔지니어링 전문 지식 및 중복 인프라를 고려하기 전의 비용입니다.
결과는 어떨까요? ZK-L2의 90% 이상이 소수의 증명 서비스 제공업체(prover-as-a-service providers)에 의존하고 있습니다. 이러한 중앙집중화는 검열, MEV 추출, 단일 장애점(single point of failure), Web2 방식의 임대료 착취 등 블록체인이 제거하고자 설계된 바로 그 위험들을 불러옵니다.
기술적 과제
병목 현상은 네트워크 혼잡이 아니라 수학 그 자체에 있습니다. ZK 증명은 타원 곡선 상의 다중 스칼라 곱셈(MSMs)과 수론적 변환(NTTs)에 의존합니다. 이러한 연산은 GPU를 AI 워크로드에 적합하게 만드는 행렬 수학과는 근본적으로 다릅니다.
수년간의 MSM 최적화 이후, 이제 NTT는 GPU의 증명 생성 지연 시간의 최대 90%를 차지합니다. 암호학 커뮤니티는 소프트웨어 최적화만으로는 수익 체감의 법칙(dimining returns)에 직면했습니다.
Boundless의 등장: 개방형 증명 시장
Boundless는 증명 생성을 블록체인 합의와 완전히 분리함으로써 이 문제를 해결하려고 시도합니다. 각 롤업이 자체 증명 인프라를 운영하는 대신, Boundless는 다음과 같은 시장을 만듭니다.
- 요청자(Requestors) 가 모든 체인에서 증명 요청을 제출합니다.
- 증명자(Provers) 가 GPU와 범용 하드웨어를 사용하여 증명을 생성하기 위해 경쟁합니다.
- 결제(Settlement) 는 요청자가 지정한 대상 체인에서 이루어집니다.
핵심 혁신은 "검증 가능한 작업 증명(PoVW, Proof of Verifiable Work)"입니다. 이는 증명자에게 (비트코인 채굴과 같은) 쓸모없는 해시가 아 니라 유용한 ZK 증명을 생성한 것에 대해 보상을 주는 메커니즘입니다. 각 증명에는 연산에 소요된 비용을 증명하는 암호화 메타데이터가 포함되어 작업의 투명한 기록을 생성합니다.
실제 작동 방식
내부적으로 Boundless는 RISC-V 명령어 세트로 컴파일된 모든 프로그램을 실행할 수 있는 영지식 가상 머신인 RISC Zero의 zkVM을 기반으로 구축되었습니다. 즉, 개발자는 Rust, C++, 또는 RISC-V로 컴파일되는 모든 언어로 애플리케이션을 작성한 다음, 전문적인 ZK 회로를 배우지 않고도 올바른 실행에 대한 증명을 생성할 수 있습니다.
3계층 아키텍처는 다음을 포함합니다.
- zkVM 계층: 임의의 프로그램을 실행하고 STARK 증명을 생성합니다.
- 재귀 계층(Recursion Layer): 여러 STARK를 컴팩트한 증명으로 집계합니다.
- 결제 계층: 온체인 검증을 위해 증명을 Groth16 형식으로 변환합니다.
이 설계 덕분에 Boundless는 복잡한 연산을 지원하면서도 온체인 검증에 경제적인 작은 크기(약 200KB)의 증명을 생성할 수 있습니다.
ZKC 토큰: 해시 대신 증명 채굴
Boundless는 증명 시장을 운영하는 네이티브 토큰으로 ZK Coin(ZKC)을 도입했습니다. 일반적인 유틸리티 토큰과 달리 ZKC는 증명 생성을 통해 활발하게 채굴됩니다. 증명자는 자신이 기여한 연산 작업에 비례하여 ZKC 보상을 받습니다.
토크노믹스 개요
- 총 공급량: 10억 ZKC (1년 차에 7% 인플레이션, 8년 차까지 3%로 감소)
- 생태계 성장: 41.6% 채택 이니셔티브에 할당
- 전략적 파트너: 21.5% (1년 락업 및 2년 베스팅)
- 커뮤니티: 8.3% 토큰 판매 및 에어드랍
- 현재 가격: 약 $0.12 (ICO 가격인 $0.29에서 하락)
인플레이션 모델은 논란을 불러일으켰습니다. 지지자들은 건강한 증명자 네트워크를 장려하기 위해 지속적인 발행이 필요하다고 주장합니다. 비판론자들은 연간 7%의 인플레이션이 지속적인 매도 압력을 만들어 네트워크가 성장하더라도 ZKC의 가치 상승을 제한할 수 있다고 지적합니다.
시장의 변동성
ZKC의 첫 몇 달은 순탄하지 않았습니다. 2025년 10월, 한국 거래소 업비트(Upbit)는 해당 토큰을 "투자 유의 종목"으로 지정하여 46%의 가격 폭락을 일으켰습니다. Boundless가 토크노믹스를 명확히 한 후 업비트는 유의 종목 지정을 해제했지만, 이 사건은 신흥 시장과 연 계된 인프라 토큰의 변동성 위험을 부각시켰습니다.
메인넷의 현실: 누가 실제로 Boundless를 사용하고 있는가?
2025년 7월 Base에서 메인넷 베타를 출시하고 9월에 정식 메인넷을 가동한 이후, Boundless는 주목할만한 통합 사례를 확보했습니다:
Wormhole 통합
Wormhole은 이더리움 합의 알고리즘에 ZK 검증을 추가하여 크로스체인 전송의 보안을 강화하기 위해 Boundless를 통합하고 있습니다. 이제 Wormhole NTT (Native Token Transfers)는 단순히 멀티시그 가디언(multi-sig guardians)에만 의존하는 대신, 암호학적 보증을 원하는 사용자를 위해 선택적인 ZK 증명을 포함할 수 있습니다.
Citrea 비트코인 L2
Chainway Labs에서 구축한 비트코인 레이어 2 (Layer-2) ZK 롤업인 Citrea는 RISC Zero의 zkVM을 사용하여 BitVM을 통해 비트코인에 게시되는 유효성 증명을 생성합니다. 이를 통해 결제 및 데이터 가용성을 위해 BTC를 사용 하면서도 비트코인 위에서 EVM 동등성 수준의 프로그래밍 기능을 구현할 수 있습니다.
Google Cloud 파트너십
Boundless는 Verifiable AI 프로그램을 통해 Google Cloud와 파트너십을 맺고 ZK 기반 AI 증명을 지원합니다. 개발자는 입력 데이터를 공개하지 않고도 AI 모델의 출력값을 증명하는 애플리케이션을 구축할 수 있으며, 이는 프라이버시 보호 머신러닝을 위한 핵심 기능입니다.
Stellar 브릿지
2025년 9월, Nethermind는 Stellar ZK 브릿지 통합을 위해 RISC Zero 검증기를 배포했습니다. 이를 통해 Stellar의 저비용 결제 네트워크와 이더리움의 보안 보증 간에 크로스체인 증명이 가능해졌습니다.
경쟁 구도: Succinct SP1과 zkVM 전쟁
Boundless만이 ZK의 확장성 문제를 해결하려는 유일한 플레이어는 아닙니다. Succinct Labs의 SP1 zkVM이 주요 경쟁자로 부상하면서 두 팀 사이에 치열한 벤치마킹 전쟁이 벌어지고 있습니다.
RISC Zero의 주 장
RISC Zero는 적절하게 구성된 zkVM 배포가 "SP1보다 최소 7 배 저렴"하며, 소규모 작업 부하의 경우 최대 60 배까지 저렴하다고 주장합니다. 이들은 더 정밀한 증명 크기와 더 효율적인 GPU 활용도를 강점으로 내세웁니다.
Succinct의 반박
Succinct는 RISC Zero의 벤치마크가 "CPU 성능을 GPU 결과와 오해의 소지가 있게 비교했다"고 반박합니다. 이들의 SP1 Hypercube 증명 생성기는 폐쇄 소스로 남아있지만, 약 2 분의 지연 시간으로 $ 0.02의 증명 비용을 달성했다고 주장합니다.
독립적 분석
Fenbushi Capital의 비교 분석에 따르면 RISC Zero는 "GPU 환경의 모든 벤치마크 카테고리에서 우수한 속도와 효율성"을 보여주었습니다. 하지만 SP1은 개발자 채택 측면에서 앞서고 있으며, RISC Zero의 총 보안 자산 가치 (TVS)인 2 억 3,900 만 달러에 비해 31 억 4,000 만 달러의 가치를 확보한 Celestia의 Blobstream과 같은 프로젝트에 동력을 제공하고 있다고 언급했습니다.
진정한 경쟁 우위는 단순한 성능이 아니라 생태계 락인 (lock-in)에 있을 수 있습니다. Boundless는 SP1, ZKsync의 Boojum, Jolt를 포함한 경쟁 zkVM을 지원할 계획이며, 이 를 통해 단일 벤더 솔루션이 아닌 프로토콜에 구애받지 않는 증명 마켓플레이스로 자리매김하고자 합니다.
2026 로드맵: Boundless의 향후 계획
RISC Zero의 Boundless 로드맵에는 몇 가지 야심 찬 목표가 포함되어 있습니다:
생태계 확장 (2025년 4분기 - 2026년)
- 솔라나 (Solana)로 ZK 증명 지원 확장
- BitVM을 통한 비트코인 통합
- 추가적인 L2 배포
하이브리드 롤업 업그레이드
가장 중요한 기술적 이정표는 옵티미스틱 롤업 (Optimism 및 Base 체인 등)이 더 빠른 최종성 (finality)을 위해 유효성 증명을 사용하도록 전환하는 것입니다. 사기 증명 창 (fraud proof windows)을 위해 7 일을 기다리는 대신, OP 체인은 단 몇 분 만에 결제를 완료할 수 있게 됩니다.
멀티 zkVM 지원
경쟁 zkVM에 대한 지원이 로드맵에 포함되어 있어, 개발자는 마켓플레이스를 떠나지 않고도 RISC Zero, SP1 또는 기타 증명 시스템 간을 전환할 수 있습니다.
탈중앙화 완성
RISC Zero는 2025년 12월에 호스팅 증명 서비스를 종료하여 모든 증명 생성이 탈중앙화된 Boundless 네트워크를 통해 이루어지도록 강제했습니다. 이는 탈중앙화 원칙에 대한 강력한 의지를 보여주지만, 동시에 네트워크의 신뢰성이 이제 전적으로 독립적인 증명 생성자들에게 달려 있음을 의미합니다.
거시적 관점: 탈중앙화 증명이 표준이 될 것인가?
Boundless의 성공은 증명 생성이 클라우드 컴퓨팅처럼 상품화될 것이라는 근본적인 베팅에 달려 있습니다. 이 가설이 맞다면, 가장 효율적인 증명 네트워크를 보유하는 것보다 가장 크고 유동적인 마켓플레이스를 보유하는 것이 더 중요해집니다.
몇 가지 요인이 이 관점을 뒷받침합니다:
- 하드웨어 범용화: Cysic과 같은 회사의 ZK 전용 ASIC은 50 배의 에너지 효율 향상을 약속하며 진입 장벽을 낮출 잠재력이 있습니다.
- 증명 집계: Boundless와 같은 네트워크는 여러 애플리케이션의 증명을 일괄 처리 (batch)하여 고정 비용을 분담할 수 있습니다.
- 크로스체인 수요: 더 많은 체인이 ZK 검증을 채택함에 따라 증명 생성에 대한 수요가 단일 공급자의 용량을 넘어설 수 있습니다.
하지만 여전히 리스크는 존재합니다:
- 중앙화 집중: 초기 증명 네트워크는 규모의 경제가 대형 운영자에게 유리하게 작용함에 따라 집중화되는 경향이 있습니다.
- 토큰 의존성: ZKC 가격이 폭락하면 증명 생성자의 인센티브가 사라져 잠재적으로 네트워크 붕괴로 이어질 수 있습니다.
- 기술적 복잡성: 경쟁력 있는 증명 생성기를 운영하려면 상당한 전문 지식이 필요하며, 이는 실제 탈중앙화를 제한할 수 있습니다.
개발자에게 주는 의미
ZK 통합을 고려 중인 빌더들에게 Boundless는 실용적인 중간 지점을 제시합니다:
- 인프라 오버헤드 없음: 자체 증명 생성기를 운영하지 않고 API를 통해 증명 요청을 제출할 수 있습니다.
- 멀티체인 결제: 증명을 한 번 생성하면 지원되는 모든 체인에서 검증할 수 있습니다.
- 언어 유연성: ZK DSL을 새로 배우는 대신 Rust 또는 모든 RISC-V 호환 언어로 작성할 수 있습니다.
장기적인 안정성이 아직 입증되지 않은 토큰 인센티브 기반 네트워크에 의존해야 한다는 점이 절충안입니다. 프로덕션 애플리케이션의 경우, 많은 팀이 테스트넷과 실험을 위해 Boundless를 사용하면서도 중요한 작업 부하를 위해 대체 증명 인프라를 유지하는 방식을 선호할 수 있습니다.
결론
Boundless는 ZK의 중앙화 문제를 해결하기 위한 지금까지의 시도 중 가장 야심찬 프로젝트입니다. 증명 생성을 ZKC 토큰으로 인센티브가 제공되는 개방형 시장으로 전환함으로써, RISC Zero는 경쟁을 통해 단일 벤더가 단독으로 달성할 수 있는 것보다 더 빠르게 비용을 낮출 수 있다는 데 베팅하고 있습니다.
메인넷 출시, Wormhole 및 Citrea와의 주요 통합, 그리고 경쟁 zkVM 지원에 대한 의지는 이들의 진지한 기술적 역량을 보여줍니다. 하지만 인플레이션형 토큰노믹스, 거래소의 변동성, 그리고 대규모 환경에서 검증되지 않은 탈중앙화는 여전히 중요한 질문으로 남아 있습니다.
ZK 생태계에서 Boundless의 성공 여부는 탈중앙화된 인프라가 중앙화된 효율성과 경쟁할 수 있는지, 아니면 블록체인 산업의 확장성 미래가 자금력이 풍부한 소수의 증명자 (prover) 서비스의 손에 남게 될지를 가늠하는 이정표가 될 것입니다.
여러 체인에 걸쳐 ZK 검증이 필요한 애플리케이션을 개발 중이신가요? BlockEden.xyz는 Ethereum, Base 및 20개 이상 의 네트워크를 위한 엔터프라이즈급 RPC 엔드포인트와 API를 제공하여 — 크로스 체인 ZK 애플리케이션에 필요한 안정적인 연결 계층을 지원합니다.