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

?저자：0xjacobzhao

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

1. ZK 트랙의 발전 과정

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

1. 이론 기초 및 기술 돌파기(1980년대~2010년대) ZK 개념은 MIT 학자 Shafi Goldwasser, Silvio Micali 및 Charles Rackoff에 의해 제안되었으며, 처음에는 상호작용 증명 이론에 머물렀습니다. 2010년대에는 비상호작용 제로 지식 증명(NIZK)과 zk-SNARK가 등장하면서 증명 효율성이 크게 향상되었지만, 초기에는 여전히 신뢰할 수 있는 설정에 의존했습니다.

2. 블록체인 응용(2010년대 말) Zcash는 zk-SNARK를 개인 정보 보호 결제에 도입하여 대규모 블록체인 실현을 처음으로 이루었습니다. 그러나 증명 생성 비용이 비쌌기 때문에 실제 적용 사례는 여전히 제한적이었습니다.

3. 폭발적 성장 및 확장(2020년대 현재) 이 시기에 ZK 기술은 산업의 주류로 완전히 진입했습니다:

• ZK Rollup: 오프체인에서 대량 계산 및 온체인 증명을 통해 높은 처리량과 보안 상속을 실현하여 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 네트워크를 형성하고(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를 대표로 하여, zkVM의 실행 커널로 개방형 범용 명령어 집합 RISC-V를 직접 선택합니다. 장점은 생태계가 개방적이고, 명령어 집합이 간단하며, 회로화가 용이하여 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를 통해 실행 과정을 기록합니다(Session). Prover는 이후 검증 가능한 Receipt를 생성하며, 여기에는 공개 출력(Journal) 및 암호화된 증명(Seal)이 포함됩니다. 제3자는 Receipt를 검증하기만 하면 계산의 정확성을 확인할 수 있으며, 전체 작업을 반복 실행할 필요가 없습니다.

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

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시간(Hybrid 모드) 또는 <1시간(Validity 모드)으로 단축합니다;
• 더 강한 보안성: ZK Fraud Proof 및 Validity Proof의 점진적 업그레이드를 통해 암호학적 수준의 보안을 제공합니다;
• 탈중앙화 진화: 분산된 Prover 네트워크와 낮은 담보 요구를 바탕으로 빠르게 Stage 2 탈중앙화로 나아갑니다;
• 원주율 확장성: 높은 처리량 체인에서 안정적인 성능과 예측 가능한 비용을 유지합니다.

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

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

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

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

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

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 통합, 기금 배정 등을 포함합니다.

토큰 분배(초기 공급 10억 개)

생