저자：0xjacobzhao

"오프체인 계산 + 온체인 검증"의 신뢰할 수 있는 계산(Verifiable Computing) 패러다임은 블록체인 시스템의 일반적인 계산 모델이 되었습니다. 이는 블록체인 애플리케이션이 탈중앙화와 신뢰 최소화(trustlessness) 보안성을 유지하면서 거의 무한한 계산 자유도(computational freedom)를 얻을 수 있게 합니다. 제로 지식 증명(ZKP)은 이 패러다임의 핵심 기둥으로, 그 응용은 주로 확장성(Scalability), 프라이버시(Privacy), 상호 운용성 및 데이터 무결성(Interoperability & Data Integrity)이라는 세 가지 기본 방향에 집중되어 있습니다. 그중 확장성은 ZK 기술이 가장 먼저 적용된 장면으로, 거래 실행을 오프체인으로 이동시키고 짧은 증명을 통해 온체인에서 결과를 검증함으로써 높은 TPS와 낮은 비용의 신뢰할 수 있는 확장을 실현합니다.

ZK 신뢰할 수 있는 계산의 진화는 L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM으로 요약될 수 있습니다. 초기 L2 zkRollup은 실행을 2층으로 이동시키고 1층에서 유효성 증명(Validity Proof)을 제출하여 최소한의 변경으로 높은 처리량과 낮은 비용의 확장을 실현했습니다. 이후 zkVM은 범용 검증 가능한 계산 계층으로 확장되어, 크로스 체인 검증, AI 추론 및 암호화 계산(대표 프로젝트: Risc Zero, Succinct, Brevis Pico)을 지원합니다. zkCoprocessor는 이에 병행하여, DeFi, RWA, 리스크 관리 등 다양한 분야에 즉시 사용할 수 있는 계산 및 증명 서비스를 제공하는 장면화된 검증 모듈로 발전했습니다(대표 프로젝트: Brevis, Axiom). 2025년, zkEVM 개념은 L1 실시간 증명(Realtime Proving, RTP)으로 확장되어 EVM 명령어 수준에서 검증 가능한 회로를 구축하고, 제로 지식 증명이 이더리움 메인넷의 실행 및 검증 프로세스에 직접 통합되어 원주율 검증 가능한 실행 메커니즘이 되었습니다. 이러한 맥락은 블록체인이 "확장 가능"에서 "검증 가능"으로 기술적 도약을 하여 신뢰할 수 있는 계산의 새로운 단계를 여는 것을 보여줍니다.

1. 이더리움 zkEVM 확장 경로: L2 Rollup에서 L1 실시간 증명까지

이더리움의 zkEVM 확장 경로는 두 단계로 나뉩니다:

• 단계 1 (2022--2024): L2 zkRollup은 실행을 2층으로 이동시키고 1층에서 유효성 증명을 제출하여 비용을 크게 줄이고 처리량을 향상시켰지만, 유동성과 상태 단편화 문제를 초래하며 L1은 여전히 N-of-N 중복 실행에 제약을 받습니다.

• 단계 2 (2025--): L1 실시간 증명(Realtime Proving, RTP)은 "1-of-N 증명 + 전체 네트워크 경량 검증"으로 중복 실행을 대체하여 탈중앙화를 희생하지 않고 처리량을 향상시키며, 여전히 발전 중입니다.

L2 zkRollup 단계: 호환성과 확장성 간의 균형

2022년 Layer2 생태계가 다채롭게 발전하는 단계에서, 이더리움 창립자 비탈릭 부테린은 ZK-EVM 4종 분류(Type 1--4)를 제안하여 호환성(compatibility)과 성능(performance) 간의 구조적 균형을 체계적으로 드러냈습니다. 이 프레임워크는 후속 zkRollup 기술 경로에 대한 명확한 좌표를 설정했습니다:

• Type 1 완전 동등: 이더리움 바이트코드와 일치, 이동 비용이 가장 낮고 증명이 가장 느림. Taiko.

• Type 2 완전 호환: 거의 하위 최적화가 없으며 호환성이 가장 강함. Scroll, Linea.

• Type 2.5 준 호환: 소폭 변경(gas/프리컴파일 등)으로 성능을 교환. Polygon zkEVM, Kakarot.

• Type 3 부분 호환: 더 큰 변경이 필요하며 대부분의 애플리케이션을 실행할 수 있지만 L1 인프라를 완전히 재사용하기 어려움. zkSync Era.

• Type 4 언어 수준: 바이트코드 호환성을 포기하고 고급 언어에서 직접 회로로 컴파일, 성능이 최적이지만 생태계를 재구축해야 함(대표: Starknet / Cairo).

현재 L2 zkRollup 모델은 성숙기에 접어들었습니다: 실행을 2층으로 이동시키고 1층에서 유효성 증명을 제출하여 최소한의 변경으로 이더리움 생태계와 도구 체인을 활용하여 주류 확장 및 비용 절감 솔루션이 되었습니다. 그 증명 대상은 L2 블록 및 상태 전이이며, 정산 및 보안은 여전히 L1에 고정되어 있습니다. 이 구조는 처리량과 효율성을 크게 향상시키고 개발자에 대한 높은 호환성을 유지하지만, 유동성과 상태 단편화 문제를 초래하며 L1은 여전히 N-of-N 중복 실행 병목 현상에 제한을 받습니다.

L1 zkEVM: 실시간 증명이 이더리움 경량 검증 로직을 재구성하다

2025년 7월, 이더리움 재단은 Shipping an L1 zkEVM #1: Realtime Proving이라는 글을 발표하며 L1 zkEVM 경로를 공식적으로 제안했습니다. L1 zkEVM은 이더리움을 N-of-N 중복 실행에서 1-of-N 증명 + 전체 네트워크의 빠른 검증으로 업그레이드합니다: 소수의 prover가 전체 EVM 상태 전이에 대해 짧은 증명을 생성하고, 모든 검증자는 상수 시간 검증만 수행합니다. 이 솔루션은 탈중앙화를 희생하지 않고 L1 수준의 실시간 증명(Realtime Proving)을 실현하여 메인넷 Gas 한도와 처리량을 안전하게 향상시키고, 노드 하드웨어 장벽을 크게 낮춥니다. 그 구현 계획은 zk 클라이언트를 전통적인 실행 클라이언트로 대체하여 먼저 병행 실행하고, 성능, 보안 및 인센티브 메커니즘이 성숙해지면 점진적으로 프로토콜 계층의 새로운 표준이 되는 것입니다.

• N of N 구식 패러다임: 모든 검증자가 전체 거래를 반복 실행하여 검증하며, 안전하지만 처리량이 제한되고, 피크 비용이 높음.

• 1 of N 신식 패러다임: 소수의 prover가 전체를 실행하고 짧은 증명을 생성; 전체 네트워크는 상수 시간 검증만 수행. 검증 비용은 중복 실행보다 훨씬 낮아 L1 gas 한도를 안전하게 높이고 하드웨어 요구 사항을 줄일 수 있습니다.

L1 zkEVM 로드맵의 세 가지 주요 라인

1. 실시간 증명(Realtime Proving): 12초 슬롯 시간 내에 전체 블록 증명을 완료하며, 병렬화 및 하드웨어 가속을 통해 지연을 압축합니다;

2. 클라이언트 및 프로토콜 통합: 표준화된 증명 검증 인터페이스를 제공하며, 먼저 선택적으로, 이후 기본값으로 설정합니다;

3. 인센티브 및 보안: Prover 시장 및 비용 모델을 구축하여 검열 저항성과 네트워크 활성화를 강화합니다.

이더리움 L1 실시간 증명(RTP)은 zkVM을 사용하여 오프체인에서 전체 거래를 중복 실행하고 암호화 증명을 생성하여 검증자가 재계산할 필요 없이 10초 이내에 소형 증명을 검증할 수 있게 하여 "검증으로 실행을 대체"하여 이더리움의 확장성과 신뢰할 수 있는 검증 효율성을 크게 향상시킵니다. 이더리움 재단의 공식 zkEVM Tracker 페이지에 따르면, 현재 L1 zkEVM 실시간 증명 경로에 참여하는 주요 팀은 SP1 Turbo(Succinct Labs), Pico(Brevis), Risc Zero, ZisK, Airbender(zkSync), OpenVM(Axiom) 및 Jolt(a16z)입니다.

2. 이더리움을 넘어: 범용 zkVM과 zkCoprocessor

이더리움 생태계 외부에서도 제로 지식 증명(ZKP) 기술은 더 넓은 범위의 범용 검증 가능한 계산(Verifiable Computing) 분야로 확장되어 zkVM과 zkCoprocessor를 핵심으로 하는 두 가지 기술 체계를 형성하고 있습니다.

zkVM: 범용 검증 가능한 계산 계층

임의의 프로그램을 위한 검증 가능한 실행 엔진으로, 일반적인 명령어 집합 아키텍처에는 RISC-V, MIPS 및 WASM이 포함됩니다. 개발자는 비즈니스 로직을 zkVM에 컴파일하여 prover가 오프체인에서 실행하고 온체인에서 검증 가능한 제로 지식 증명(ZKP)을 생성할 수 있습니다. 이는 이더리움 L1의 블록 증명뿐만 아니라 크로스 체인 검증, AI 추론, 암호화 계산 및 복잡한 알고리즘 등 다양한 장면에 사용할 수 있습니다. 그 장점은 범용성과 적응 범위가 넓지만 회로가 복잡하고 증명 비용이 높아 다수의 GPU 병렬 처리 및 강력한 엔지니어링 최적화에 의존해야 합니다. 대표 프로젝트에는 Risc Zero, Succinct SP1, Brevis Pico / Prism이 있습니다.

zkCoprocessor: 장면화된 검증 모듈

특정 비즈니스 장면을 위해 "즉시 사용 가능한" 계산 및 증명 서비스를 제공합니다. 플랫폼은 데이터 접근 및 회로 논리(예: 역사적 온체인 데이터 읽기, TVL, 수익 정산, 신원 검증 등)를 미리 설정하고, 응용 측은 SDK / API 호출을 통해 계산 결과 및 증명을 온체인에서 소비할 수 있습니다. 이 모델은 사용이 간편하고 성능이 우수하며 비용이 낮지만 범용성이 제한적입니다. 전형적인 프로젝트에는 Brevis zkCoprocessor, Axiom 등이 있습니다.

전반적으로 zkVM과 zkCoprocessor는 모두 "오프체인 계산 + 온체인 검증"의 신뢰할 수 있는 계산 패러다임을 따르며, 제로 지식 증명을 통해 오프체인 결과를 온체인에서 검증합니다. 그 경제 논리는 다음과 같은 전제에 기반합니다: 온체인에서 직접 실행하는 비용은 오프체인 증명 생성 및 온체인 검증의 종합 비용보다 훨씬 높습니다.

범용성과 엔지니어링 복잡성 측면에서 두 가지의 주요 차이는 다음과 같습니다:

• zkVM은 범용 계산 인프라로, 복잡하고 크로스 도메인 또는 AI 장면에 적합하며 최고의 유연성을 제공합니다;

• zkCoprocessor는 모듈화된 검증 서비스로, 고빈도 재사용 가능한 장면(DeFi, RWA, 리스크 관리 등)에 저비용으로 직접 호출할 수 있는 검증 인터페이스를 제공합니다.

상업적 경로에서 zkVM과 zkCoprocessor의 차이는 다음과 같습니다:

• zkVM은 Proving-as-a-Service 모델을 채택하여 각 증명(ZKP)마다 요금을 부과하며, 주로 L2 Rollup 등 인프라 고객을 대상으로 하며, 계약 규모가 크고 주기가 길며, 총 마진이 안정적입니다;

• zkCoprocessor는 Proof API-as-a-Service를 주로 하여 API 호출 또는 SDK 통합을 통해 작업별로 요금을 부과하며, SaaS 모델에 더 가깝고 DeFi 등 애플리케이션 계층 프로토콜을 대상으로 하며, 통합이 빠르고 확장성이 강합니다.

전반적으로 zkVM은 검증 가능한 계산의 기본 엔진이며, zkCoprocessor는 애플리케이션 계층 검증 모듈입니다: 전자는 기술 방어선을 구축하고 후자는 상업화의 실현을 촉진하여 범용 신뢰할 수 있는 계산 네트워크를 형성합니다.

3. Brevis의 제품 맵과 기술 경로

이더리움의 L1 실시간 증명(Realtime Proving)에서 출발하여 ZK 기술은 점차 범용 zkVM과 zkCoprocessor 아키텍처를 중심으로 한 검증 가능한 계산 시대에 접어들고 있습니다. Brevis Network는 zkVM과 zkCoprocessor의 융합체로, 제로 지식 계산을 핵심으로 하여 높은 성능과 프로그래머블성을 갖춘 범용 검증 가능한 계산 인프라를 구축하고 있습니다 ------ 만물에 대한 무한 계산층(The Infinite Compute Layer for Everything.)

3.1 Pico zkVM: 범용 검증 가능한 계산의 모듈화된 증명 아키텍처

2024년 비탈릭은 Glue and Coprocessor Architectures에서 "범용 실행 계층 + 협처리기 가속 계층"(glue & coprocessor) 아키텍처를 제안했습니다. 복잡한 계산은 범용 비즈니스 로직과 구조화된 집약 계산으로 분리될 수 있으며, 전자는 유연성(EVM, Python, RISC-V 등)을 추구하고 후자는 효율성(GPU, ASIC, 해시 모듈 등)을 추구합니다. 이 아키텍처는 블록체인, AI 및 암호화 계산의 공통 트렌드가 되고 있으며, EVM은 프리컴파일을 통해 속도를 높이고 AI는 GPU 병렬 처리를 통해, ZK 증명은 범용 VM과 전용 회로를 결합합니다. 미래의 핵심은 "접착제 층"이 보안 및 개발 경험을 최적화하고 "협처리기 층"이 효율적인 실행에 집중하여 성능, 보안 및 개방성 간의 균형을 이루는 것입니다.

Pico zkVM은 Brevis가 개발한 이 이념의 대표적인 구현입니다. "범용 zkVM + 협처리기 가속" 아키텍처를 통해 유연한 프로그래머블성과 전용 회로의 고성능 계산을 결합합니다. 그 모듈화된 설계는 다양한 증명 백엔드(KoalaBear, BabyBear, Mersenne31)를 지원하며, 자유롭게 조합하여 실행, 재귀, 압축 등의 구성 요소를 형성하여 ProverChain을 구성할 수 있습니다.

Pico의 모듈화된 시스템은 핵심 구성 요소를 자유롭게 재조합할 수 있을 뿐만 아니라 새로운 증명 백엔드 및 애플리케이션 수준의 협처리기(예: 온체인 데이터, zkML, 크로스 체인 검증)를 도입하여 지속적인 진화의 확장성을 실현합니다. 개발자는 Rust 도구 체인을 사용하여 비즈니스 로직을 직접 작성할 수 있으며, 제로 지식 배경 없이도 자동으로 암호화 증명을 생성하여 개발 장벽을 크게 낮출 수 있습니다.

Succinct SP1의 상대적으로 단일화된 RISC-V zkVM 아키텍처와 RISC Zero R0VM의 범용 RISC-V 실행 모델에 비해, Pico는 Modular zkVM + Coprocessor System을 통해 실행, 재귀 및 압축 단계를 분리하고 확장하여 다수의 백엔드 전환 및 협처리기 통합을 지원하여 성능 및 확장성에서 차별화된 이점을 형성합니다.

3.2 Pico Prism: 다수 GPU 클러스터의 성능 돌파

Pico Prism은 Brevis가 다수 서버 GPU 아키텍처에서 중요한 돌파구를 마련하고, 이더리움 재단의 "실시간 증명(Real-Time Proving, RTP)" 프레임워크 하에서 새로운 기록을 세웠습니다. 64×5090 GPU 클러스터에서 평균 6.9초 증명 시간과 96.8% RTP 커버리지를 달성하여 성능이 동종 zkVM 중에서 가장 우수합니다. 이 시스템은 아키텍처, 엔지니어링, 하드웨어 및 시스템 수준에서 최적화를 이루어내며, zkVM이 연구 프로토타입에서 생산급 인프라로 나아가는 이정표가 됩니다.

1. 아키텍처 설계: 전통적인 zkVM(SP1, R0VM 등)은 주로 단일 GPU 최적화에 의존합니다. Pico Prism은 처음으로 다수 서버, 다수 GPU 클러스터 병렬 증명(Cluster-Level zkProving)을 구현하여, 다중 스레드 및 분할 스케줄링을 통해 zk 증명을 분산 계산 시스템으로 확장하여 병렬성과 확장성을 크게 향상시킵니다.

2. 엔지니어링 구현: 다단계 비동기 파이프라인(Execution / Recursion / Compression) 및 크로스 레이어 데이터 재사용 메커니즘(proof chunk 캐시 및 embedding 재사용)을 구축하고, 다수의 백엔드 전환(KoalaBear, BabyBear, M31)을 지원하여 처리 효율성을 크게 향상시킵니다.

3. 하드웨어 전략: 64×RTX 5090 GPU(약 $128K) 구성에서 Pico Prism은 평균 6.0--6.9초 증명 시간, 96.8% RTP 커버리지를 달성하여 성능/비용 비율을 약 3.4배 향상시키며, SP1 Hypercube(160×4090 GPU, 10.3초)보다 더 우수한 성능을 보입니다.

4. 시스템 진화: 이더리움 재단 RTP 지표(>96% sub-10s, <$100K 비용)를 최초로 충족한 zkVM으로서, Pico Prism은 zk 증명 시스템이 연구 프로토타입에서 메인넷급 생산 인프라로 나아가는 이정표가 되며, Rollup, DeFi, AI 및 크로스 체인 검증 등 장면에 더 경제적인 제로 지식 계산 솔루션을 제공합니다.

3.3 ZK 데이터 협처리기: 블록체인 데이터 스마트 제로 지식 협처리 층

스마트 계약의 원래 설계에서 "기억 부족" ------ 역사적 데이터에 접근할 수 없고, 장기 행동을 인식하거나 크로스 체인 분석을 수행할 수 없습니다. Brevis가 제공하는 고성능 제로 지식 협처리기(ZK Coprocessor)는 스마트 계약에 크로스 체인 역사적 데이터 접근 및 신뢰할 수 있는 계산 능력을 제공하여 블록체인의 모든 역사적 상태, 거래 및 이벤트를 검증하고 계산하여 데이터 기반 DeFi, 능동적 유동성 관리, 사용자 인센티브 및 크로스 체인 신원 인식 등의 장면에 활용됩니다.

Brevis의 작업 흐름은 세 단계로 구성됩니다:

1. 데이터 접근: 스마트 계약이 API를 통해 신뢰 없이 역사적 데이터를 읽습니다;

2. 계산 실행: 개발자가 SDK를 사용하여 비즈니스 로직을 정의하고, Brevis가 오프체인에서 계산하여 ZK 증명을 생성합니다;

3. 결과 검증: 증명 결과가 체인으로 돌아가 계약이 검증하고 후속 논리를 호출합니다.

Brevis는 Pure-ZK 및 CoChain(OP) 모델을 모두 지원합니다: 전자는 완전한 신뢰 최소화를 실현하지만 비용이 더 높고; 후자는 PoS 검증 및 ZK 챌린지 메커니즘을 통해 더 낮은 비용으로 검증 가능한 계산을 실현할 수 있습니다. 검증자는 이더리움에서 스테이킹하며, 결과가 ZK 증명에 의해 도전 성공 시 벌금을 부과받아 보안성과 효율성 간의 균형을 이룹니다. ZK + PoS + SDK의 아키텍처 통합을 통해 Brevis는 보안성과 효율성 간의 균형을 이루어 확장 가능한 신뢰할 수 있는 데이터 계산 층을 구축합니다. 현재 Brevis는 PancakeSwap, Euler, Usual, Linea 등의 프로토콜에 서비스를 제공하고 있으며, 모든 zkCoprocessor 협력은 Pure-ZK 모델을 기반으로 하여 DeFi, 보상 분배 및 온체인 신원 시스템에 신뢰할 수 있는 데이터 지원을 제공하여 스마트 계약이 진정으로 "기억과 지능"을 갖추게 합니다.

3.4 Incentra: ZK 기반의 "검증 가능한 인센티브 분배 층"

Incentra는 Brevis zkCoprocessor에 의해 구동되는 신뢰할 수 있는 인센티브 분배 플랫폼으로, DeFi 프로토콜에 안전하고 투명하며 검증 가능한 보상 계산 및 발급 메커니즘을 제공합니다. 이는 제로 지식 증명을 통해 온체인에서 직접 인센티브 결과를 검증하여 신뢰 없이 저비용으로 크로스 체인 인센티브 실행을 실현합니다. 시스템은 ZK 회로 내에서 보상 계산 및 검증을 완료하여 모든 사용자가 결과를 독립적으로 검증할 수 있도록 하며, 동시에 크로스 체인 작업 및 접근 제어를 지원하여 규정 준수하고 안전한 자동화된 인센티브 분배를 실현합니다.

Incentra는 주로 세 가지 인센티브 모델을 지원합니다:

• Token Holding: ERC-20 시간 가중 잔액(TWA)을 기반으로 장기 보유 보상을 계산합니다;

• Concentrated Liquidity: AMM DEX 수수료 비율에 따라 유동성 보상을 분배하며, Gamma, Beefy 등의 ALM 프로토콜과 호환됩니다;

• Lend & Borrow: 잔액 및 부채 평균을 기반으로 대출 보상을 계산합니다.

이 시스템은 PancakeSwap, Euler, Usual, Linea 등의 프로젝트에 적용되어 인센티브 계산에서 분배까지의 전체 체인 신뢰 닫힌 루프를 실현하여 DeFi 프로토콜에 ZK 수준의 검증 가능한 인센티브 인프라를 제공합니다.

3.5 Brevis 제품 기술 스택 총괄

4. Brevis zkVM 기술 지표 및 성능 돌파

이더리움 재단(EF)이 제안한 L1 zkEVM 실시간 증명 기준(Realtime Proving, RTP)은 zkVM이 이더리움 메인넷 검증 경로에 진입할 수 있는 산업 공감대 및 입장 기준이 되었으며, 그 핵심 평가 지표는 다음과 같습니다:

• 지연 요구: P99 ≤ 10초(이더리움 12초 블록 주기와 일치);

• 하드웨어 제약: CAPEX ≤ $100K, 전력 소비 ≤ 10kW(가정용/소형 서버실에 적합);

• 보안 수준: ≥128-bit(전환기 ≥100-bit);

• 증명 크기: ≤300 KiB;

• 시스템 요구: 신뢰할 수 있는 설정에 의존해서는 안 되며, 핵심 코드는 완전히 오픈 소스여야 합니다.

2025년 10월, Brevis는 Pico Prism --- 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware라는 보고서를 발표하며, Pico Prism이 이더리움 재단(EF) 실시간 블록 증명(RTP) 기준을 완전히 통과한 첫 번째 zkVM이 되었다고 발표했습니다.

64×RTX 5090 GPU(약 $128K) 구성에서, Pico Prism은 45M gas 블록에서 평균 지연 6.9초, 96.8% <10s, 99.6% <12s의 성능을 달성하여 Succinct SP1 Hypercube(36M gas, 평균 10.3초, 40.9% <10s)보다 현저히 우수한 성능을 보였습니다. 지연이 71% 감소하고 하드웨어 비용이 절반으로 줄어든 조건에서, 전체 성능/비용 효율성이 약 3.4배 향상되었습니다. 이 성과는 이더리움 재단, 비탈릭 부테린 및 저스틴 드레이크의 공개적인 인정을 받았습니다.

5. Brevis 생태계 확장 및 응용 실현

Brevis의 ZK 데이터 협처리기(zkCoprocessor)는 dApp이 효율적으로 수행할 수 없는 복잡한 계산(예: 역사적 행동, 크로스 체인 데이터, 집계 분석)을 처리하고 검증 가능한 제로 지식 증명(ZKP)을 생성합니다. 체인에서는 이 작은 증명만 검증하면 결과를 안전하게 호출할 수 있어 Gas, 지연 및 신뢰 비용을 크게 줄입니다. 전통적인 오라클과 비교할 때, Brevis가 제공하는 것은 단순한 "결과"가 아니라 "결과의 정확성을 보장하는 수학적 보증"입니다. 그 주요 응용 장면은 다음과 같이 분류할 수 있습니다:

• 스마트 DeFi (Intelligent DeFi): 역사적 행동 및 시장 상태를 기반으로 스마트 인센티브 및 차별화된 경험을 실현합니다(PancakeSwap, Uniswap, MetaMask 등);

• RWA 및 스테이블코인 성장 (RWA & Stable Token Growth): ZK 검증을 통해 스테이블코인 및 RWA 수익의 자동화된 분배를 실현합니다(OpenEden, Usual Money, MetaMask USD);

• 프라이버시 탈중앙화 거래 (DEX with Dark Pools): 오프체인 매칭 및 온체인 검증의 프라이버시 거래 모델이 곧 출시됩니다;

• 크로스 체인 상호 운용 (Cross-chain Interoperability): 크로스 체인 재스테이킹 및 Rollup-L1 상호 운용을 지원하여 공유 보안 층을 구축합니다(Kernel, Celer, 0G);

• 공공 블록체인 냉시작 (Blockchain Bootstrap): ZK 인센티브 메커니즘을 통해 새로운 공공 블록체인 생태계의 냉시작 및 성장을 지원합니다(Line, TAC);

• 고성능 공공 블록체인 (100× Faster L1s): 실시간 증명(RTP) 기술을 통해 이더리움 등 공공 블록체인의 성능을 향상시킵니다(Ethereum, BNB Chain);

• 검증 가능한 AI (Verifiable AI): 프라이버시 보호와 검증 가능한 추론을 결합하여 AgentFi 및 데이터 경제에 신뢰할 수 있는 계산 능력을 제공합니다(Kaito, Trusta).

Brevis Explorer의 데이터에 따르면, 2025년 10월 기준으로 Brevis 네트워크는 1억 2500만 개 이상의 ZK 증명을 생성하였으며, 약 9.5만 개의 주소와 9.6만 건의 애플리케이션 요청을 포괄하고 있습니다. 이는 보상 분배, 거래 검증 및 스테이킹 증명 등 다양한 장면에서 널리 서비스되고 있습니다. 생태계 측면에서 플랫폼은 약 2억 2300만 달러의 인센티브를 분배하였으며, 지원하는 TVL은 28억 달러를 초과하고, 관련 거래량은 10억 달러를 넘었습니다.

현재 Brevis의 생태계 사업은 주로 DeFi 인센티브 분배와 유동성 최적화 두 가지 방향에 집중되고 있으며, 계산력의 핵심 소비는 Usual Money, PancakeSwap, Linea Ignition, Incentra 네 가지 프로젝트가 기여하여 총 비율이 85%를 초과합니다. 그중

• Usual Money (46.6M 증명): 대규모 인센티브 분배에서의 장기적인 안정성을 보여줍니다;

• PancakeSwap (20.6M): Brevis의 실시간 요금 및 할인 계산에서의 높은 성능을 나타냅니다;

• Linea Ignition (20.4M): L2 생태계 활동에서의 높은 동시 처리 능력을 검증합니다;

• Incentra (15.2%): Brevis가 SDK 도구에서 표준화된 인센티브 플랫폼으로 발전하고 있음을 나타냅니다.

DeFi 인센티브 분야에서 Brevis는 Incentra 플랫폼을 통해 여러 프로토콜이 투명하고 지속적인 보상 분배를 실현하도록 지원합니다:

• Usual Money의 연간 인센티브 규모는 3억 달러를 초과하여 스테이블코인 사용자 및 LP에게 지속적인 수익을 제공합니다;

• OpenEden과 Bedrock은 CPI 모델을 기반으로 미국 국채 및 재스테이킹 수익 분배를 실현합니다;

• Euler, Aave, BeraBorrow 등 프로토콜은 ZK 검증을 통해 대출 포지션 및 보상 계산을 수행합니다.

유동성 최적화 측면에서 PancakeSwap, QuickSwap, THENA, Beefy 등은 Brevis의 동적 요금 및 ALM 인센티브 플러그인을 사용하여 거래 할인 및 크로스 체인 수익 집계를 실현하고, Jojo Exchange와 Uniswap Foundation은 ZK 검증 메커니즘을 활용하여 더 안전한 거래 인센티브 시스템을 구축합니다.

크로스 체인 및 인프라 층에서 Brevis는 이더리움에서 BNB Chain, Linea, Kernel DAO, TAC 및 0G로 확장하여 다중 체인 생태계에 신뢰할 수 있는 계산 및 크로스 체인 검증 능력을 제공합니다. 동시에 Trusta AI, Kaito AI, MetaMask 등 프로젝트는 ZK 데이터 협처리기를 활용하여 프라이버시 보호형 포인트, 영향력 점수 및 보상 시스템을 구축하여 Web3 데이터의 스마트화를 추진하고 있습니다. 시스템 하부에서는 Brevis가 EigenLayer AVS 네트워크를 통해 재스테이킹 보안을 제공하고, NEBRA 집합 증명(UPA) 기술을 결합하여 여러 ZK 증명을 단일 제출로 압축하여 온체인 검증 비용 및 지연을 크게 줄입니다.

전반적으로 Brevis는 장기 인센티브, 활동 보상, 거래 검증에서 플랫폼 서비스에 이르는 전체 주기 응용 장면을 포괄하고 있습니다. 그 고빈도 검증 작업 및 재사용 가능한 회로 템플릿은 Pico/Prism에 실제 성능 압력 및 최적화 피드백을 제공하여 L1 zkVM 실시간 증명 시스템에 기술 및 응용의 상호 피드백을 형성할 것으로 기대됩니다.

6. 팀 배경 및 프로젝트 자금 조달

Mo Dong｜공동 창립자(Brevis Network)

Dr. Mo Dong은 Brevis Network의 공동 창립자로, 일리노이 대학교 어바나-샴페인(UIUC)에서 컴퓨터 과학 박사 학위를 보유하고 있으며, 그의 연구 결과는 국제 최고의 학술 회의에 발표되었고, 구글 등 기술 회사에 채택되어 수천 번 인용되었습니다. 그는 알고리즘 게임 이론 및 프로토콜 메커니즘 설계 분야의 전문가로, 제로 지식 계산(ZK)과 탈중앙화 인센티브 메커니즘의 결합을 추진하는 데 집중하고 있으며, 신뢰할 수 있는 검증 가능한 컴퓨트 경제(Verifiable Compute Economy)를 구축하기 위해 노력하고 있습니다. IOSG Ventures의 위험 투자 파트너로서 Web3 인프라의 초기 투자에도 오랫동안 관심을 기울여 왔습니다.

Brevis 팀은 UIUC, MIT, UC Berkeley 출신의 암호학 및 컴퓨터 과학 박사들로 구성되어 있으며, 핵심 구성원들은 제로 지식 증명 시스템(ZKP) 및 분산 시스템 분야에서 다년간 연구 경험을 가지고 있으며, 여러 편의 동료 심사를 거친 논문을 발표하였습니다. Brevis는 이더리움 재단(Ethereum Foundation)으로부터 기술적 인정을 받았으며, 그 핵심 모듈은 중요한 온체인 확장성 인프라로 간주되고 있습니다.

Brevis는 2024년 11월 750만 달러의 시드 라운드 자금 조달을 완료하였으며, Polychain Capital과 Binance Labs가 공동으로 주도하였고, IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures 및 Kyber, Babylon, Uniswap, Arbitrum, AltLayer의 전략적 엔젤 투자자들이 참여하였습니다.

7. ZKVM과 ZK Coprocessor 시장 경쟁 분석

현재 이더리움 재단이 지원하는 ETHProofs.org는 L1 zkEVM 실시간 증명(Realtime Proving, RTP) 경로의 핵심 추적 플랫폼이 되어 각 zkVM의 성능, 보안 및 메인넷 적합 진행 상황을 공개적으로 보여주고 있습니다.

종합적으로 볼 때, RTP 트랙의 경쟁은 네 가지 핵심 차원에 집중되고 있습니다:

• 성숙도: SP1의 생산화 배치가 가장 성숙하며; Pico는 성능이 우수하고 메인넷 기준에 근접하고; RISC Zero는 안정적이지만 RTP 데이터는 공개되지 않았습니다.

• 성능: Pico의 증명 크기는 약 990 kB로, SP1(1.48 MB)보다 약 33% 축소되어 비용이 더 낮습니다;

• 보안 및 감사: RISC Zero와 SP1은 모두 독립적인 보안 감사를 통과하였으며; Pico는 감사 절차 중에 있습니다;

• 개발 생태계: 주류 zkVM은 모두 RISC-V 명령어 집합을 사용하며, SP1은 Succinct Rollup SDK를 통해 광범위한 통합 생태계를 형성하고; Pico는 Rust 자동 생성 증명을 지원하며, SDK 완성도가 빠르게 향상되고 있습니다.

최신 데이터에 따르면, 현재 RTP 트랙은 "두 강자 구조"를 형성하고 있습니다:

• 첫 번째 계층인 Brevis Pico(Prism 포함)와 Succinct SP1 Hypercube는 모두 EF가 설정한 P99 ≤ 10s 기준을 목표로 하고 있습니다. 전자는 분산 다수 GPU 아키텍처를 통해 성능 및 비용 돌파를 이루고 있으며; 후자는 단일화된 시스템을 통해 엔지니어링 성숙도와 생태계 안정성을 유지하고 있습니다. Pico는 성능 및 아키텍처 혁신을 대표하고, SP1은 실용화 및 생태계 선도를 대표합니다.

• 두 번째 계층인 RISC Zero, ZisK, ZKM은 생태계 호환성과 경량화 측면에서 지속적으로 탐색하고 있지만, 아직 완전한 RTP 지표(지연, 전력 소비, CAPEX, 보안 비트, 증명 크기, 재현성)를 공개하지 않았습니다. Scroll(Ceno)와 Matter Labs(Airbender)는 Rollup 기술을 L1 검증 계층으로 확장하려고 시도하여 L2 확장에서 L1 검증 가능한 계산으로의 진화 추세를 나타내고 있습니다.

2025년, zkVM 트랙은 RISC-V 통일, 모듈화 진화, 재귀 표준화, 하드웨어 가속 병렬의 기술 구조를 형성하였습니다. zkVM의 범용 검증 가능한 계산 계층(Verifiable Compute Layer)은 세 가지 범주로 나눌 수 있습니다:

• 성능 지향형: Brevis Pico, SP1, Jolt, ZisK는 낮은 지연 및 실시간 증명에 집중하며, 재귀 STARK 및 GPU 가속을 통해 계산 처리량을 향상시킵니다.

• 모듈화 및 확장형: OpenVM, Pico, SP1은 모듈화 가능성을 강조하며, 협처리기 접속을 지원합니다.

• 생태계 및 범용 개발형: RISC Zero, SP1, ZisK는 SDK 및 언어 호환성에 집중하여 보편화를 추진합니다.

zkVM 경쟁 프로젝트 비교(2025년 10월 기준)

현재 zk-Coprocessor 트랙은 Brevis, Axiom, Herodotus, Lagrange를 대표로 하는 구조를 형성하고 있습니다. 이 중 Brevis는 "ZK 데이터 협처리기 + 범용 zkVM" 융합 아키텍처로 선두를 달리고 있으며, 역사적 데이터 읽기, 프로그래머블 계산 및 L1 RTP 능력을 모두 갖추고 있습니다; Axiom은 검증 가능한 쿼리 및 회로 콜백에 집중하고; Herodotus는 역사적 상태 접근에 집중하며; Lagrange는 ZK+Optimistic 혼합 아키텍처로 크로스 체인 계산 성능을 최적화하고 있습니다. 전반적으로 zk-Coprocessor는 "검증 가능한 서비스 층"의 형태로 DeFi, RWA, AI, 신원 등의 응용을 연결하는 신뢰할 수 있는 계산 인터페이스로 자리 잡고 있습니다.

8. 결론: 상업적 논리, 엔지니어링 구현 및 잠재적 위험

상업적 논리: 성능 주도 및 이중 비행륜

Brevis는 "범용 zkVM(Pico/Prism)"과 "데이터 협처리기(zkCoprocessor)"를 통해 다중 체인 신뢰할 수 있는 계산 층을 구축합니다: 전자는 임의의 계산 검증 문제를 해결하고, 후자는 역사적 및 크로스 체인 데이터의 비즈니스 실현을 가능하게 합니다.
그 성장 논리는 "성능---생태계---비용"의 선순환을 형성합니다: Pico Prism의 RTP 성능은 주요 프로토콜 통합을 유도하여 증명 규모의 증가와 단일 비용의 감소를 가져오며, 지속적으로 강화되는 이중 비행륜을 형성합니다. 경쟁 우위는 주로 세 가지에 있습니다:

1. 성능 재현 가능 ------ 이미 이더리움 재단 ETHProofs RTP 시스템에 포함되었습니다;

2. 아키텍처 장벽 ------ 모듈화 설계와 다수 GPU 병렬을 통해 높은 확장성을 실현합니다;

3. 상업적 검증 ------ 이미 인센티브 분배, 동적 요금 및 크로스 체인 검증에서 규모화된 실현을 이루었습니다.

엔지니어링 구현: "중복 실행"에서 "검증으로 실행 대체"로

Brevis는 Pico zkVM과 Prism 병렬 프레임워크를 통해 45M gas 블록에서 평균 6.9초, P99 < 10초(64×5090 GPU, <$130 K CAPEX)의 성능을 달성하여 성능과 비용 모두에서 선두를 유지하고 있습니다. zkCoprocessor 모듈은 역사적 데이터 읽기, 회로 생성 및 회귀 검증을 지원하며, Pure-ZK 및 Hybrid 모드 간에 유연하게 전환할 수 있으며, 전체 성능은 이더리움 RTP 하드 기준에 기본적으로 일치하고 있습니다.

잠재적 위험 및 주의 사항

• 기술 및 규제 장벽: Brevis는 여전히 전력 소비, 보안 비트, 증명 크기 및 신뢰할 수 있는 설정 의존성 등의 하드 지표에 대한 공개 및 제3자 검증을 완료해야 합니다. 긴 꼬리 성능 최적화가 여전히 핵심이며, EIP 조정이 성능 병목을 변경할 수 있습니다.

• 경쟁 및 대체 위험: Succinct(SP1/Hypercube)은 도구 체인 및 생태계 통합에서 여전히 선두를 달리고 있으며, Risc Zero, Axiom, OpenVM, Scroll, zkSync 등 팀의 경쟁력도 무시할 수 없습니다.

• 수익 집중 및 비즈니스 구조: 현재 증명량이 매우 집중되어 있으며(상위 네 개 응용의 비율이 약 80%), 다양한 산업, 다중 체인 및 다수의 사용 사례를 통해 의존도를 줄여야 합니다. GPU 비용이 단위 총 마진에 영향을 미칠 수 있습니다.

종합적으로 볼 때, Brevis는 "성능 재현 가능"과 "비즈니스 실현 가능" 두 측면에서 초기 방어선을 구축하였습니다: Pico/Prism은 L1 RTP 트랙의 1계층에 안정적으로 자리 잡았고, zkCoprocessor는 고빈도 및 재사용 가능한 상업화 장면을 열었습니다. 향후 이더리움 재단 RTP의 모든 하드 지표를 달성하는 것을 단계적 목표로 삼고, 협처리기 제품의 표준화 및 생태계 확장을 지속적으로 강화하며, 동시에 제3자 재현, 보안 감사 및 비용 투명성을 추진하는 것이 좋습니다. 인프라와 SaaS 수익 간의 구조적 균형을 이루어 지속 가능한 상업적 성장 닫힌 루프를 형성해야 합니다.

면책 조항: 본 문서는 작성 과정에서 ChatGPT-5의 AI 도구를 활용하여 완료되었으며, 저자는 정보를 진실하고 정확하게 보장하기 위해 최선을 다했지만, 여전히 누락이 있을 수 있음을 양해 부탁드립니다. 특히 암호 자산 시장은 일반적으로 프로젝트 기본면과 이차 시장 가격 성과 간의 괴리가 존재합니다. 본 문서의 내용은 정보 통합 및 학술/연구 교류를 위한 것이며, 어떠한 투자 조언으로 간주되지 않으며, 어떠한 토큰의 매매 추천으로도 해석되지 않아야 합니다.