zkVM에서 개방형 증명 시장으로: RISC Zero와 Boundless 분석

2025-09-16 09:48:08

수집

본 문서는 제로 지식 증명(ZK) 기술의 발전, 응용 전경, 핵심 프로젝트 및 시장 진화를 분석하고 RISC Zero 및 그 생태계 프로젝트인 Boundless를 소개합니다.

?작성자: 0xjacobzhao

블록체인 분야에서 암호학은 안전성과 신뢰의 핵심 기반입니다. 그 중에서도 제로 지식 증명(ZK)은 임의의 복잡한 오프체인 계산을 간단한 증명으로 압축하고, 체인 상에서 효율적으로 검증할 수 있게 하여 제3자의 신뢰에 의존하지 않으며, 선택적으로 입력을 숨겨 개인 정보를 보호할 수 있습니다. 효율적인 검증, 범용성 및 개인 정보 보호를 모두 갖춘 ZK는 확장성, 개인 정보 보호, 크로스 체인 등 다양한 응용의 핵심 솔루션이 되었습니다. 현재 증명 생성 비용이 크고 개발 회로가 복잡한 등의 도전 과제가 여전히 존재하지만, ZK의 엔지니어링 가능성과 실현 정도는 다른 경로를 훨씬 초과하여 가장 높은 채택률을 가진 신뢰할 수 있는 컴퓨팅 프레임워크가 되었습니다.

1. ZK 트랙의 발전 과정

제로 지식 증명(ZK) 기술의 발전은 일회성으로 이루어진 것이 아니라 수십 년에 걸친 이론적 축적과 엔지니어링 탐색을 거쳐 이루어졌습니다. 전체적으로 다음 몇 가지 주요 단계로 나눌 수 있습니다:

이론 기초 및 기술 돌파기(1980년대~2010년대) ZK 개념은 MIT 학자 Shafi Goldwasser, Silvio Micali 및 Charles Rackoff에 의해 제안되었으며, 처음에는 상호작용 증명 이론에 머물렀습니다. 2010년대에는 비상호작용 제로 지식 증명(NIZK) 및 zk-SNARK가 등장하면서 증명 효율성이 크게 향상되었지만, 초기에는 여전히 신뢰할 수 있는 설정에 의존했습니다.
블록체인 응용(2010년대 말) Zcash는 zk-SNARK를 개인 정보 보호 결제에 도입하여 대규모 블록체인 실현을 최초로 이루었습니다. 그러나 증명 생성 비용이 비쌌기 때문에 실제 적용 사례는 여전히 제한적이었습니다.
폭발적인 성장 및 확장(2020년대 현재) 이 시기에 ZK 기술은 산업 주류로 완전히 진입했습니다:

ZK 롤업: 오프체인 배치 계산 및 체인 상 증명을 통해 높은 처리량과 보안 상속을 실현하여 Layer2 확장 핵심 경로가 되었습니다.
zk-STARKs: StarkWare는 zk-STARK를 출시하여 신뢰할 수 있는 설정을 제거하고 투명성과 확장성을 향상시켰습니다.
zkEVM: Scroll, Taiko, Polygon 등 팀은 EVM 바이트코드 수준의 증명 및 기존 Solidity 응용의 원활한 이전을 위해 노력하고 있습니다.
범용 zkVM: RISC Zero, Succinct SP1, Delphinus zkWasm 등은 임의 프로그램의 검증 가능한 실행을 지원하여 ZK를 확장 도구에서 "신뢰할 수 있는 CPU"로 확장합니다.
zkCoprocessor는 zkVM을 협력 프로세서로 포장하여 복잡한 논리 아웃소싱을 지원합니다(예: RISC Zero Steel, Succinct Coprocessor);
zkMarketplace는 증명 계산력을 시장화하여 분산형 prover 네트워크(예: Boundless)를 형성하고 ZK가 보편적인 컴퓨팅 계층이 되도록 추진합니다.

현재까지 ZK 기술은 난해한 암호학 개념에서 블록체인 인프라의 핵심 모듈로 성장했습니다. 그것은 단순히 확장성과 개인 정보 보호를 지원하는 것뿐만 아니라 크로스 체인 상호 운용성, 금융 규제, 인공지능(ZKML) 등 최전선의 장면에서 전략적 가치를 보여주고 있습니다. 도구 체인, 하드웨어 가속 및 증명 네트워크의 지속적인 개선과 함께 ZK 생태계는 빠르게 대규모화 및 보편화로 나아가고 있습니다.

2. ZK 기술 응용 전경: 확장성, 개인 정보 보호 및 상호 운용성

확장성(Scalability), 개인 정보 보호(Privacy) 및 상호 운용성 및 데이터 증명(Interoperability & Data Integrity)은 현재 ZK "신뢰할 수 있는 컴퓨팅" 기술의 세 가지 기본 장면으로, 블록체인 성능 부족, 개인 정보 부족 및 다중 체인 상호 신뢰의 원초적 문제에 해당합니다.

확장성(Scalability)은 ZK가 가장 먼저 실현된 장면이자 가장 널리 응용되는 장면입니다. 그 핵심 아이디어는 거래 실행을 오프체인으로 이동시키고, 간단한 증명으로 체인 상에서 검증하여 안전성을 희생하지 않고 TPS를 크게 향상시키고 비용을 낮추는 것입니다. 전형적인 경로에는 zkRollup(zkSync, Scroll, Polygon zkEVM)이 포함되어 있으며, 배치 거래 압축을 통해 확장을 실현합니다; zkEVM은 EVM 명령어 수준에서 회로를 구축하여 이더리움 원주율 호환성을 실현합니다; 그리고 더 범용적인 zkVM(RISC Zero, Succinct)은 임의 논리의 검증 가능한 아웃소싱을 지원합니다.
개인 정보 보호(Privacy)는 거래 또는 행동의 합법성을 증명하면서 민감한 데이터를 노출하지 않는 것을 목표로 합니다. 전형적인 응용에는 개인 정보 보호 결제(Zcash, Aztec)가 포함되어 있으며, 자금 이동의 유효성을 보장하면서 금액 및 상대방을 공개하지 않습니다; 개인 정보 보호 투표 및 DAO 거버넌스는 투표 내용을 노출하지 않고 거버넌스를 완료합니다; 그리고 개인 정보 보호 신원/KYC(zkID, zkKYC)는 "조건을 충족함"만 증명하고 추가 정보를 공개하지 않습니다.
상호 운용성 및 데이터 증명(Interoperability & Data Integrity)은 ZK 기술이 "다중 체인 세계"의 신뢰 문제를 해결하는 핵심 경로입니다. 다른 체인의 상태 증명을 생성함으로써 크로스 체인 상호 작용은 중앙 집중식 중계에서 벗어날 수 있습니다. 전형적인 형태에는 zkBridge(크로스 체인 상태 증명) 및 경량 클라이언트 검증(목표 체인에서 효율적으로 원본 체인 블록 헤드를 검증)이 포함되며, 대표 프로젝트로는 Polyhedra, Herodotus 등이 있습니다. 동시에 ZK는 데이터 및 상태 증명에도 널리 사용되며, Axiom, Space and Time의 zkQuery/zkSQL 또는 IoT 및 저장 장면의 데이터 완전성 검증을 통해 오프체인 데이터의 신뢰성을 보장합니다.

이 세 가지 기본 장면 위에 ZK 기술은 앞으로 더 넓은 산업 응용으로 점차 확장할 기회를 가집니다: AI(zkML)를 포함하여 모델 추론 또는 훈련을 위한 검증 가능한 증명을 생성하여 "신뢰할 수 있는 AI"를 실현합니다; 금융 규제, 거래소 준비 증명(PoR), 청산 및 감사로 신뢰 비용을 낮춥니다; 그리고 게임 및 과학 계산에서 GameFi 또는 DeSci에서 논리 및 실험 결과의 진실성을 보장합니다. 본질적으로 이들은 모두 "검증 가능한 계산 + 데이터 증명"이 다양한 산업에서 실현되는 확장입니다.

3. zkEVM을 넘어: 범용 zkVM 및 증명 시장의 부상

이더리움 창시자 Vitalik이 2022년에 제안한 ZK-EVM의 네 가지 분류(Type 1--4)는 호환성과 성능 간의 균형을 드러냅니다:

Type 1(완전 동등): 바이트코드와 이더리움 L1이 완전히 일치하여 이전 비용이 가장 낮지만 증명 속도가 가장 느립니다. 대표 프로젝트: Taiko.
Type 2(완전 호환): 높은 EVM 동등성을 유지하며 극소수의 하위 최적화만 수행하여 호환성이 가장 강합니다. 대표 프로젝트: Scroll, Linea.
Type 2.5(준 호환): EVM을 소폭 수정(예: 가스 비용, 프리컴파일 지원)하여 약간의 호환성을 희생하고 성능 향상을 도모합니다. 대표 프로젝트: Polygon zkEVM, Kakarot(Starknet에서 실행되는 EVM).
Type 3(부분 호환): 하위 수정이 더 철저하여 대부분의 응용을 실행할 수 있지만 이더리움 인프라를 완전히 재사용할 수는 없습니다. 대표 프로젝트: zkSync Era.
Type 4(언어 수준 호환): 바이트코드 호환성을 포기하고 고급 언어에서 직접 zkVM으로 컴파일하여 성능이 최상이나 생태계를 재구축해야 합니다. 대표 프로젝트: Starknet(Cairo).

이 단계의 주제는 "zkRollup 전쟁"으로, 목표는 이더리움의 실행 병목 현상을 완화하는 것입니다. 그러나 두 가지 주요 한계가 드러났습니다: 첫째, EVM 회로화의 난이도가 높고 증명 효율성이 제한적이며, 둘째, ZK의 잠재력은 확장을 훨씬 초과하여 크로스 체인 검증, 데이터 증명 및 심지어 AI 계산으로 확장될 수 있습니다.

이러한 배경 속에서 범용 zkVM이 부상하여 zkEVM의 "이더리움 호환 사고"에서 "체인 무관의 신뢰할 수 있는 컴퓨팅"으로 전환하고 있습니다. zkVM은 범용 명령어 집합(예: RISC-V, LLVM IR, Wasm)을 기반으로 하여 Rust, C/C++ 등의 언어를 지원하며, 개발자가 성숙한 생태계 라이브러리를 사용하여 임의의 응용 논리를 구축하고, 증명을 통해 체인 상에서 검증할 수 있도록 합니다. RISC Zero(RISC-V), Delphinus zkWasm(Wasm)이 그 전형적인 대표입니다. 그 의미는 zkVM이 단순히 이더리움의 확장 도구가 아니라 ZK 세계의 "신뢰할 수 있는 CPU"라는 것입니다.

RISC-V 경로: RISC Zero를 대표로 하여, 오픈 범용 명령어 집합 RISC-V를 zkVM의 실행 커널로 직접 선택합니다. 장점은 생태계가 개방적이고, 명령어 집합이 간단하며, 회로화가 용이하여 Rust, C/C++ 등의 주류 언어 컴파일 결과를 수용할 수 있어 "범용 zkCPU"에 적합합니다. 단점은 이더리움 바이트코드와 자연스럽게 호환되지 않아 협력 프로세서 모드를 통해 삽입해야 합니다.
LLVM IR 경로: Succinct SP1을 대표로 하여, 프론트엔드는 LLVM IR을 사용하여 다중 언어와 호환되며, 백엔드는 여전히 RISC-V zkVM을 기반으로 하여 본질적으로 "LLVM 프론트엔드 + RISC-V 백엔드"입니다. 이는 순수 RISC-V 모드보다 더 범용적이지만 LLVM IR 명령어가 복잡하여 증명 비용이 더 큽니다.
Wasm 경로: Delphinus zkWasm을 대표로 하여, WebAssembly 생태계가 성숙하고 개발자 친숙도가 높으며, 자연스럽게 크로스 플랫폼을 지원하지만 Wasm 명령어 집합이 상대적으로 복잡하여 증명 성능이 제한됩니다.

더 나아가 ZK 기술은 모듈화 및 시장화로 나아가고 있습니다. 먼저, zkVM은 범용 신뢰할 수 있는 실행 환경을 제공하여 제로 지식 계산의 "CPU/컴파일러"에 해당하며, 응용에 대한 하위 검증 가능한 계산 능력을 제공합니다. 그 위에 zk-coprocessor는 zkVM을 협력 프로세서로 포장하여 EVM 등 체인이 복잡한 계산 작업을 오프체인으로 아웃소싱하고 제로 지식 증명을 통해 결과를 체인으로 검증할 수 있도록 합니다. 전형적인 사례로는 RISC Zero Steel 및 Lagrange가 있으며, 그 역할은 "GPU/협력 프로세서"에 비유될 수 있습니다. 더 나아가 zkMarketplace는 분산형 네트워크를 통해 증명 작업의 시장화 배포를 실현하며, 전 세계 prover 노드가 경매를 통해 작업을 완료합니다. Boundless는 제로 지식 계산의 계산력 시장을 구축하고 있습니다.

이로 인해 제로 지식 기술 스택은 점차 zkVM → zk-coprocessor → zkMarketplace의 진화 체계를 보여주고 있습니다. 이 시스템은 제로 지식 증명이 단일 이더리움 확장 도구에서 범용 신뢰할 수 있는 컴퓨팅 인프라로 진화했음을 나타냅니다. 이 진화 체계에서 RISC-V를 zkVM 커널로 사용하는 RISC Zero는 "개방성, 회로화 효율성, 생태계 적합성" 간의 최적 균형을 이루었습니다. 이를 통해 낮은 진입 장벽의 개발 경험을 제공할 수 있을 뿐만 아니라 Steel, Bonsai, Boundless 등의 확장 계층을 통해 zkVM을 zk-coprocessor 및 분산형 증명 시장으로 진화시켜 더 넓은 응용 공간을 열 수 있습니다.

4. RISC Zero의 기술 경로 및 생태계 지도

RISC-V는 개방적이고 로열티가 없는 명령어 집합 아키텍처로, 단일 공급업체의 통제를 받지 않으며 자연스럽게 분산형 특성을 가지고 있습니다. RISC Zero는 이 개방형 아키텍처를 기반으로 Rust 등 범용 언어와 호환되는 zkVM을 구축하여 이더리움 생태계 내 Solidity의 한계를 극복하고 개발자가 표준 Rust 프로그램을 제로 지식 증명을 생성할 수 있는 응용으로 직접 컴파일할 수 있도록 합니다. 이러한 경로는 ZK 기술의 응용 범위를 블록체인 계약에서 더 넓은 범용 계산 분야로 확장합니다.

RISC0 zkVM: 범용 신뢰할 수 있는 계산 환경

복잡한 EVM 명령어 집합과 호환되어야 하는 zkEVM 프로젝트와 달리, RISC0 zkVM은 RISC-V 아키텍처를 기반으로 하여 더 개방적이고 범용적인 설계를 가지고 있습니다. 그 응용은 Guest Code로 구성되어 ELF 바이너리 파일로 컴파일되며, Host는 Executor를 통해 실행 과정을 기록합니다(세션). Prover는 이후 검증 가능한 영수증을 생성하며, 여기에는 공개 출력(저널) 및 암호화된 증명(씰)이 포함됩니다. 제3자는 영수증만 검증하면 계산의 정확성을 확인할 수 있으며, 전체 작업을 반복 실행할 필요가 없습니다.

2025년 4월에 출시된 R0VM 2.0은 zkVM이 실시간 시대에 진입했음을 나타냅니다: 이더리움 블록 증명 시간은 35분에서 44초로 단축되었고, 비용은 최대 5배 감소했으며, 사용자 메모리는 3GB로 확장되어 더 복잡한 응용 장면을 지원합니다. 동시에 BN254 및 BLS12-381 두 가지 주요 프리컴파일이 추가되어 이더리움의 주요 요구를 포괄합니다. 더 중요한 것은 R0VM 2.0이 보안성에서 형식적 검증을 도입하여 대부분의 RISC-V 회로의 결정적 검증을 완료했으며, 2025년 7월에는 최초의 블록 수준 실시간 zkVM(<12초 증명)을 실현할 목표를 가지고 있습니다.

zkCoprocessor Steel: 오프체인 계산의 다리

zkCoprocessor의 핵심 개념은 복잡한 계산 작업을 체인에서 오프로드하여 체인 외부에서 실행한 다음 제로 지식 증명을 통해 결과를 반환하는 것입니다. 스마트 계약은 전체 작업을 다시 계산할 필요 없이 증명만 검증하면 되므로 가스 비용을 크게 줄이고 성능 병목 현상을 극복할 수 있습니다. 예를 들어 RISC0의 Steel은 Solidity에 외부 증명 인터페이스를 제공하여 대규모 역사 상태 쿼리 또는 크로스 블록 배치 계산을 아웃소싱할 수 있으며, 하나의 증명으로 수십 개의 이더리움 블록을 검증할 수 있습니다.

Bonsai: SaaS화된 고성능 증명 서비스

산업급 응용 요구를 충족하기 위해 RISC Zero는 Bonsai를 출시했습니다. 이는 공식 관리되는 Prover-as-a-Service 플랫폼으로, GPU 클러스터를 통해 증명 작업을 분배하여 개발자가 하드웨어를 직접 구축하지 않고도 고성능 증명을 얻을 수 있게 합니다. 동시에 RISC Zero는 Bento SDK를 제공하여 개발자가 Solidity와 zkVM 간의 원활한 상호 작용을 실현하여 zkCoprocessor의 통합 복잡성을 크게 줄입니다. 반면 Boundless는 개방 시장을 통해 분산형 증명을 실현하여 두 가지가 상호 보완적인 관계를 형성합니다.

RISC Zero 전체 제품 매트릭스

RISC Zero의 제품 생태계는 zkVM을 중심으로 확장되어 실행, 네트워크, 시장 및 응용 계층을 포괄하는 완전한 매트릭스를 형성하고 있습니다:

5. ZK 시장: 신뢰할 수 있는 계산의 분산형 상품화

제로 지식 증명(ZK) 시장은 높은 비용과 복잡한 증명 생성 과정을 분리하고, 이를 분산형으로 거래 가능한 계산 상품으로 전환합니다. 전 세계에 분포된 prover 네트워크를 통해 계산 작업은 경매 방식으로 아웃소싱되며, 비용과 효율성 간의 동적 균형을 이루고, 경제적 인센티브를 통해 GPU 및 ASIC 참여자를 지속적으로 유치하여 자가 강화 순환을 형성합니다. Boundless와 Succinct는 이 분야의 대표적인 사례입니다.

5.1 Boundless: 범용 제로 지식 계산 시장

개념定位

Boundless는 RISC Zero가 출시한 범용 ZK 프로토콜로, 모든 블록체인에 확장 가능한 검증 가능한 계산 능력을 제공하는 것을 목표로 합니다. 그 핵심은 증명 생성과 블록체인 합의를 분리하고, 분산형 시장 메커니즘을 통해 계산 작업을 배포하는 것입니다. 개발자가 증명 요청을 제출하면 Prover 노드는 분산형 인센티브 메커니즘을 통해 경쟁하여 실행하며, "검증 가능한 작업 증명(Proof of Verifiable Work)"을 통해 보상을 받습니다. 전통적인 PoW의 무의미한 계산력 소비와는 달리, Boundless는 계산력을 실제 응용의 ZK 결과로 전환하여 계산 자원이 실제 가치를 가지도록 합니다.

구조 및 메커니즘

Boundless 시장의 작업 흐름은 다음과 같습니다:

요청 제출: 개발자가 zkVM 프로그램과 입력을 시장에 제출합니다;
노드 경매: Prover 노드는 작업을 평가하고 입찰하여 작업을 잠금한 후 실행 권한을 얻습니다;
증명 생성 및 집합: 복잡한 계산은 하위 작업으로 분해되며, 각 하위 작업은 zk-STARK 증명을 생성한 후 재귀 및 집합 회로를 통해 통합된 최종 증명으로 압축되어 체인 상 검증 비용을 크게 줄입니다;
크로스 체인 검증: Boundless는 여러 체인에서 통합 검증 인터페이스를 제공하여 한 번 구축하고 크로스 체인 재사용을 실현합니다.

이러한 구조는 스마트 계약이 복잡한 계산을 반복 실행할 필요 없이 간단한 증명만 검증하여 확인할 수 있도록 하여 가스 한계 및 블록 용량 제한을 극복합니다.

생태계 및 응용: 시장 계층 프로토콜로서 Boundless는 RISC Zero의 다른 제품과 상호 보완적입니다:

Steel: EVM의 ZK Coprocessor로, Solidity의 복잡한 실행을 오프체인으로 이전하고 체인으로 검증합니다;
OP Kailua: OP Stack 체인에 ZK 업그레이드 경로를 제공하여 더 높은 보안성과 더 빠른 최종성을 실현합니다.

Boundless의 목표는 이더리움에서 12초 이내의 실시간 증명을 실현하는 것이며, 경로에는 FRI 최적화, 다항식 병렬화 및 VPU 하드웨어 가속이 포함됩니다. 노드와 수요가 증가함에 따라 Boundless는 자가 강화된 계산력 네트워크를 형성하여 가스 비용을 낮출 뿐만 아니라 체인 상에서 검증 가능한 AI, 크로스 체인 유동성 및 무한 계산 등 새로운 응용 장면을 열 것입니다.

5.2 Boundless for Apps: 가스 제한 돌파

Boundless for Apps는 이더리움 및 L2 응용에 "무한 계산력"을 제공하여 복잡한 논리를 분산형 증명 네트워크에서 실행하고 ZK 증명을 통해 체인으로 검증합니다. 그 장점에는 무한 실행, 일정한 가스 비용, Solidity/Vyper 호환성, 크로스 체인 원주율 지원이 포함됩니다.

그 중 Steel은 EVM의 ZK Coprocessor로, 개발자가 Solidity 계약에서 대규모 상태 쿼리, 크로스 블록 계산 및 이벤트 기반 논리를 구현할 수 있게 하며, R0-Helios 경량 클라이언트를 통해 ETH와 OP Stack 간의 크로스 체인 데이터 검증을 실현합니다. 현재 EigenLayer를 포함한 여러 프로젝트가 통합 탐색을 진행하고 있으며, DeFi 및 다중 체인 상호 작용에서의 잠재력을 보여주고 있습니다.

Steel: EVM의 확장 가능한 계산 계층

Steel의 핵심 목표는 이더리움의 가스 한계, 단일 블록 실행, 역사 상태 접근 등의 제한을 극복하고 복잡한 논리를 오프체인으로 이전한 다음 제로 지식 증명을 통해 체인으로 검증하는 것입니다. 안전성을 보장하면서도 일정한 검증 비용으로 거의 무한한 계산력 지원을 제공합니다.

Steel 2.0에서는 개발자가 세 가지 능력을 활용하여 계약 설계 공간을 확장할 수 있습니다:

이벤트 기반 논리: Event logs를 입력으로 직접 사용하여 중앙 집중식 인덱서에 의존하지 않습니다;
역사 상태 쿼리: Dencun 업그레이드 이후의 임의 블록의 저장 슬롯 또는 계좌 잔액에 접근합니다;
크로스 블록 계산: 여러 블록에서의 연산(예: 이동 평균, 누적 지표)을 실행하고 단일 증명으로 체인에 제출합니다.

이러한 설계는 비용을 크게 줄이며, Steel의 출현으로 인해 원래 EVM에 제한된 응용(예: 고빈도 계산, 상태 회귀 또는 크로스 블록 논리)이 실현될 수 있게 되었고, 점차 체인 외부 계산과 체인 상 검증을 연결하는 핵심 다리가 되고 있습니다.

5.3 Boundless for Rollups: ZK 구동 Rollup 가속 솔루션

Boundless for Rollups는 분산형 증명 네트워크를 통해 OP Stack 등 2층 체인에 더 빠르고 더 안전한 결제 경로를 제공합니다. 그 핵심 장점은 다음과 같습니다:

가속된 최종성: 7일의 결제 시간을 약 3시간(하이브리드 모드) 또는 <1시간(유효성 모드)로 단축합니다;
더 강한 보안성: ZK 사기 증명 및 유효성 증명을 점진적으로 업그레이드하여 암호학적 수준의 보안을 제공합니다;
분산형 진화: 분산형 Prover 네트워크와 낮은 담보 요구를 바탕으로 빠르게 Stage 2 분산형으로 나아갑니다;
원주율 확장성: 높은 처리량 체인에서 안정적인 성능과 예측 가능한 비용을 유지합니다.

OP Kailua: OP 체인에 ZK 업그레이드 경로 제공

Boundless for Rollups의 핵심 솔루션인 OP Kailua는 RISC Zero가 출시하였으며, Optimism 기반 Rollup을 위해 설계되어 팀이 성능과 보안성에서 전통적인 OP 아키텍처를 초월할 수 있도록 합니다.

Kailua는 점진적 업그레이드를 지원하는 두 가지 모드를 제공합니다:

하이브리드 모드(ZK 사기 증명): ZK 사기 증명을 다중 라운드 상호작용 사기 증명으로 대체하여 분쟁 해결의 복잡성과 비용을 크게 줄입니다. 증명 비용은 악의적인 측이 부담하며, 최종성은 약 3시간으로 단축됩니다.
유효성 모드(ZK 유효성 증명): ZK 롤업으로 직접 전환하여 제로 지식 유효성 증명을 활용하여 분쟁을 완전히 제거하고 <1시간의 최종성을 실현하며 최고 수준의 보안을 제공합니다.

Kailua는 OP 체인이 낙관적 → 하이브리드 → ZK 롤업으로 원활하게 업그레이드할 수 있도록 지원하며, Stage 2 분산형 요구를 충족하여 업그레이드 장벽을 낮추고 높은 처리량 장면의 경제성을 향상시킵니다. 기존 응용 및 도구 체인의 연속성을 유지하면서 OP 생태계는 점차 빠른 최종성, 낮은 담보 비용 및 더 강한 보안을 얻을 수 있습니다. Eclipse는 Kailua를 활용하여 ZK 사기 증명을 실현하고 업그레이드를 가속화했으며, BOB는 ZK 롤업으로의 전환을 완료했습니다.

5.4 The Signal: 크로스 체인 상호 운용의 ZK 신호 계층

定位与机制

The Signal은 Boundless가 출시한 핵심 응용으로, 오픈 소스 ZK 합의 클라이언트입니다. 이는 이더리움 신호 체인의 최종성 사건을 단일 제로 지식 증명으로 압축하여, 어떤 체인이나 계약도 해당 증명을 직접 검증할 수 있도록 하여 다중 서명이나 오라클 없이 신뢰 최소화 크로스 체인 상호 작용을 실현합니다. 그 가치는 이더리움의 최종 상태에 "전 세계 가독성"을 부여하여 크로스 체인 유동성 및 논리 상호 작용의 기초를 마련하고, 불필요한 계산 및 가스 비용을 크게 줄이는 데 있습니다.

운영 메커니즘

Boost The Signal: 사용자는 증명 요청을 제출하여 "신호를 강화"할 수 있으며, 모든 ETH는 새로운 증명을 요청하는 데 사용되어 신호 지속 시간을 연장하고 모든 체인 및 응용에 혜택을 줍니다.
Prove The Signal: 누구나 Boundless Prover 노드를 실행하여 이더리움 블록의 ZK 증명을 생성하고 방송할 수 있으며, 전통적인 다중 서명 검증을 대체하여 "수학으로 신뢰를 대체"하는 크로스 체인 합의 계층을 형성합니다.
확장 경로: 먼저 이더리움 최종 블록 생성 연속 증명을 제공하여 "이더리움 신호"를 형성하고, 이후 다른 공공 체인으로 확장하여 다중 체인 통합 신호를 구축하며, 최종적으로 동일한 암호학적 신호 계층에서 상호 연결하여 "공유 파장"을 형성하여 포장 자산 및 중앙 집중식 브리지 없는 크로스 체인 상호 운용을 실현합니다.

현재 30개 이상의 팀이 The Signal 추진에 참여하고 있으며, Boundless 시장에는 1,500개 이상의 Prover 노드가 집계되어 0.5%의 토큰 인센티브를 경쟁하고 있으며, GPU를 보유한 모든 사용자가 무허가로 참여할 수 있습니다. The Signal은 Boundless 메인넷 베타에서 온라인되었으며, Base 기반의 생산 수준 증명 요청을 지원합니다.

6. Boundless 로드맵, 메인넷 진행 및 생태계

Boundless의 발전은 명확한 단계적 경로를 따릅니다:

Phase I -- Developer Access: 개발자를 위한 초기 접근을 개방하고 무료 증명 자원을 제공하여 응용 탐색을 가속화합니다;
Phase II -- Public Testnet 1: 공개 테스트넷을 시작하고 양방향 시장 메커니즘을 도입하여 개발자와 Prover 노드가 실제 환경에서 상호 작용합니다;
Phase III -- Public Testnet 2: 시장 인센티브 및 완전한 경제 메커니즘을 도입하여 자가 유지 가능한 분산형 증명 네트워크를 테스트합니다;
Phase IV -- Mainnet: 전체 메인넷을 온라인하여 모든 체인에 범용 ZK 계산 능력을 제공합니다.

2025년 7월 15일, Boundless 메인넷 베타가 공식 출시되어 Base에서 생산 환경에 진입했습니다. 사용자는 실제 자금을 사용하여 증명을 요청할 수 있으며, Prover 노드는 무허가 방식으로 접속하여 단일 노드에서 최대 100개의 GPU를 지원하고 경매에 참여합니다. 시연 응용으로 팀은 The Signal을 출시하였으며, 이 오픈 소스 ZK 합의 클라이언트는 이더리움 신호 체인의 최종성 사건을 단일 제로 지식 증명으로 압축하여 어떤 체인이나 계약도 직접 검증할 수 있도록 합니다. 이를 통해 이더리움의 최종 상태는 "전 세계 가독성"을 실현하여 크로스 체인 상호 운용 및 안전한 결제를 위한 기초를 제공합니다.

Boundless 브라우저의 운영 데이터에 따르면, 전체 네트워크는 고속 성장과 강력한 회복력을 보여주고 있습니다. 2025년 8월 18일 기준으로 누적 처리량은 542.7조 계산 주기를 기록했으며, 39.9만 건의 주문을 완료하고 106개의 독립 프로그램을 커버했습니다. 단일 증명의 최대 규모는 1060억 계산 주기를 초과했으며(8월 18일), 네트워크 계산력의 피크는 25.93 MHz에 달했습니다(8월 14일). 주문 이행 상황을 보면, 일일 평균 주문 수는 8월 중순에 1.5만 건을 초과했으며, 매일 계산력의 피크는 40조 주기를 초과하여 지수적 성장 추세를 보였습니다. 동시에 주문 이행 성공률은 98%에서 100%의 높은 수준을 유지하여 증명 시장 메커니즘이 상당히 성숙했음을 보여줍니다. 더욱 주목할 점은 prover 경쟁이 치열해짐에 따라 단일 주기 비용이 거의 0 Wei에 가까워졌다는 점으로, 이는 네트워크가 효율적이고 저비용의 대규모 계산 시대에 진입하고 있음을 의미합니다.

또한 Boundless는 일선 채굴자들의 적극적인 참여를 유도하고 있습니다. 비트메인 등 주요 업체는 전용 ASIC 채굴기 개발에 착수했으며; 6block, Bitfufu, 원력구역, Intchain, Nano Labs 등 업체는 기존 채굴 풀 자원을 ZK 증명 계산 노드로 전환하여 채굴자 집단의 참여로 Boundless의 ZK 시장이 더욱 규모 산업화 단계로 나아가고 있습니다.

7. ZK Coin 토큰 경제 모델 설계

ZK Coin(ZKC)은 Boundless 프로토콜의 네이티브 토큰이자 전체 네트워크의 경제 및 보안 앵커입니다. 그 설계 목표는 신뢰할 수 있고 마찰이 적으며 지속 가능한 확장 가능한 제로 지식 계산 시장을 구축하는 것입니다. ZKC 총량은 10억 개이며, 연도별로 감소하는 인플레이션 메커니즘을 채택합니다: 첫 해 연간 인플레이션율은 약 7%로, 8년 차에는 3%로 점차 감소하며, 이 수준에서 장기적으로 안정성을 유지합니다. 모든 신규 발행된 토큰은 검증 가능한 작업 증명(Proof of Verifiable Work, PoVW)을 통해 분배되어 발행이 실제 계산 작업과 직접 연결되도록 보장합니다.

검증 가능한 작업 증명(PoVW)은 Boundless의 핵심 혁신 메커니즘으로, "검증 가능한 계산"을 기술적 능력에서 측정 가능하고 거래 가능한 상품으로 전환합니다. 전통적인 블록체인은 모든 노드의 반복 실행에 의존하여 단일 노드의 계산력 병목에 제한되지만, PoVW는 제로 지식 증명을 통해 단일 계산, 전체 네트워크 검증을 실현하고 신뢰 없는 측정 시스템을 도입하여 계산 작업량을 가격 책정 가능한 자원으로 전환합니다. 이로 인해 계산은 필요에 따라 확장될 수 있을 뿐만 아니라 시장에서 가격을 발견하고 서비스 계약을 체결하며 Prover 노드를 유도하여 수요 주도형 긍정적 순환을 형성합니다. PoVW의 도입은 블록체인이 처음으로 계산력 부족에서 벗어나 크로스 체인 상호 운용, 오프체인 실행, 복잡한 계산 및 개인 정보 보호 등의 응용 장면을 지원할 수 있게 하여 Boundless의 보편적인 ZK 계산 인프라를 경제적 및 기술적 이중 기반으로 구축하는 데 기여합니다.

토큰 역할 및 가치 포착

ZK Coin(ZKC)은 Boundless의 네이티브 토큰이자 전체 네트워크의 경제적 기초입니다:

스테이킹 담보: Prover는 주문을 받기 전에 ZKC를 스테이킹해야 하며(일반적으로 ≥10× 최대 요청 비용), 기한 내에 제출하지 않으면 벌금이 부과됩니다(50% 소각, 50%는 다른 prover에게 보상).
검증 가능한 작업 증명(PoVW): Provers는 제로 지식 증명을 생성하여 ZKC 인센티브를 얻으며, 이는 채굴 메커니즘과 유사합니다. 보상 분배는 75%가 prover에게, 25%가 프로토콜 스테이커에게 돌아갑니다.
범용 결제 계층: 응용 측은 자체 네이티브 토큰(예: ETH, USDC, SOL)으로 증명 비용을 지불하지만, prover는 ZKC를 스테이킹해야 하므로 모든 증명은 ZKC로 보증됩니다.
거버넌스 기능: ZKC 보유자는 Boundless 거버넌스에 참여할 수 있으며, 시장 메커니즘, zkVM 통합, 기금 배정 등을 포함합니다.