작성자: 0xjacobzhao

"오프체인 연산 + 온체인 검증"이라는 신뢰 컴퓨팅 패러다임은 블록체인 시스템의 보편적인 컴퓨팅 모델이 되었습니다. 이 패러다임은 블록체인 애플리케이션이 탈중앙화와 무신뢰성의 보안을 유지하면서 사실상 무한한 연산 자유를 달성할 수 있도록 합니다. 영지식 증명(ZKP)은 이 패러다임의 핵심 요소이며, 애플리케이션은 주로 확장성, 개인정보 보호, 상호운용성 및 데이터 무결성이라는 세 가지 기본 영역에 중점을 둡니다. 확장성은 ZK 기술의 첫 번째 적용 시나리오였습니다. 거래 실행을 오프체인으로 이동하고 짧은 증명을 통해 결과를 온체인에서 검증함으로써 높은 거래 처리량과 저비용의 신뢰할 수 있는 확장성을 달성합니다.

ZK 신뢰 컴퓨팅의 발전은 L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM으로 요약할 수 있습니다. 초기 L2 zkRollup은 실행을 레이어 2로 이전하고 레이어 1에서 유효성 증명을 제출하여 최소한의 수정으로 높은 처리량과 저비용 확장성을 달성했습니다. 이후 zkVM은 범용 검증 가능 계산 계층으로 확장되어 크로스 체인 검증, AI 추론 및 암호화 계산을 지원합니다(대표 프로젝트: Risc Zero, Succinct, Brevis Pico). zkCoprocessor는 시나리오 기반 검증 모듈로 병렬 개발되어 DeFi, Reliable Web Apps(RWA), 위험 관리 등을 위한 플러그 앤 플레이 계산 및 증명 서비스를 제공합니다(대표 프로젝트: Brevis, Axiom). 2025년에는 zkEVM 개념이 레이어 1 실시간 증명(RTP)으로 확장되어 EVM 명령어 수준에서 검증 가능한 회로를 구축했습니다. 이를 통해 영지식 증명이 이더리움 메인넷 실행 및 검증 프로세스에 직접 통합되어 기본적으로 검증 가능한 실행 메커니즘이 되었습니다. 이러한 맥락은 블록체인이 "확장성"에서 "검증 가능성"으로 기술적 도약을 이루며 신뢰 컴퓨팅의 새로운 단계를 열었음을 보여줍니다.

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

Ethereum의 zkEVM 확장 경로는 두 단계를 거칩니다.

• 1단계(2022~2024): L2 zkRollup은 실행을 2계층으로 옮겨 유효성 증명을 1계층에서 제출합니다. 이를 통해 비용이 크게 절감되고 처리량이 향상되지만, 유동성과 상태 조각화가 도입됩니다. 반면 L1은 여전히 ​​N-of-N 재실행의 영향을 받습니다.
• 2단계(2025년~): L1 실시간 증명(RTP)은 복잡한 실행 방식을 "전체 네트워크에 걸친 단일 증명 + 경량 검증" 방식으로 대체하여 탈중앙화를 희생하지 않고 처리량을 향상시킵니다. 이 기술은 계속해서 발전하고 있습니다.

L2 zkRollup 단계: 호환성과 성능 확장의 균형 맞추기

2022년, 레이어 2 생태계가 번성하면서 이더리움의 창시자 비탈릭 부테린은 ZK-EVM의 네 가지 유형(유형 1~4)을 제안하여 호환성과 성능 간의 구조적 상충 관계를 체계적으로 드러냈습니다. 이 프레임워크는 이후 zkRollup 기술 로드맵에 대한 명확한 좌표를 확립했습니다.

• 유형 1은 완전히 동일합니다. 이더리움 바이트코드와 일치하며, 마이그레이션 비용이 가장 낮고 증명 속도가 가장 느립니다. Taiko.
• Type 2는 완벽하게 호환됩니다. 즉, 기본 최적화가 최소화되어 최고의 호환성을 제공합니다. Scroll, Linea.
• Type 2.5 준호환: 성능 향상을 위한 사소한 변경(가스/사전 컴파일 등). Polygon zkEVM, Kakarot.
• 유형 3 부분적 호환성: 여기에는 더 큰 변경 사항이 포함되고 대부분의 애플리케이션을 실행할 수 있지만 L1 인프라를 완전히 재사용하기 어렵습니다. zkSync 시대.
• 유형 4 언어 수준: 바이트코드 호환성을 포기하고, 고급 언어에서 회로로 직접 컴파일하여 최적의 성능을 제공하지만 생태계 재구성이 필요함(대표: Starknet/Cairo).

L2 zkRollup 모델은 성숙기에 접어들었습니다. 실행을 레이어 2로 이전하고 레이어 1에서 유효성 증명을 제출함으로써 최소한의 수정만으로 이더리움 생태계와 툴체인을 활용하여 확장성 향상 및 수수료 절감을 위한 주류 솔루션으로 자리매김했습니다. 증명은 L2 블록과 상태 전환을 기반으로 하며, 결제 및 보안은 레이어 1에 고정되어 있습니다. 이 아키텍처는 높은 개발자 호환성을 유지하면서 처리량과 효율성을 크게 향상시킵니다. 그러나 유동성과 상태 단편화라는 문제점도 발생하며, L1은 여전히 ​​N-of-N 재실행 병목 현상이라는 제약을 받습니다.

L1 zkEVM: 실시간 증명으로 이더리움의 광 검증 논리를 재구성

2025년 7월, 이더리움 재단은 "L1 zkEVM 출시 #1: 실시간 증명"이라는 논문을 발표하며 L1 zkEVM 접근 방식을 공식적으로 제안했습니다. L1 zkEVM은 이더리움을 N개의 재실행 방식에서 N개의 증명 방식 중 하나로 업그레이드하여 빠른 네트워크 전체 검증을 수행합니다. 소수의 증명자가 전체 EVM 상태 전환에 대한 짧은 증명을 생성하는 반면, 모든 검증자는 상수 시간 검증을 수행합니다. 이 솔루션은 탈중앙화를 희생하지 않고도 L1 수준의 실시간 증명을 달성하고, 메인넷 가스 한도와 처리량을 안전하게 증가시키며, 노드 하드웨어 장벽을 크게 낮춥니다. 구현 계획은 기존 실행 클라이언트를 zk 클라이언트로 대체하여 처음에는 병렬로 실행하는 것입니다. 성능, 보안 및 인센티브 메커니즘이 성숙되면 프로토콜 수준에서 점차 새로운 표준이 될 것입니다.

• N of N이라는 기존 패러다임: 모든 검증자가 전체 거래 블록을 반복적으로 실행하여 검증하는데, 이는 안전하지만 처리량이 제한적이고 최대 수수료가 높습니다.
• N개의 새로운 패러다임 중 1개: 소수의 증명자가 전체 블록을 실행하고 짧은 증명을 생성합니다. 전체 네트워크는 일정한 시간 내에만 검증을 수행합니다. 검증 비용은 재실행보다 훨씬 낮아 L1 가스 한도를 안전하게 증가시키고 하드웨어 요구 사항을 줄일 수 있습니다.

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

• 실시간 증명: 병렬화와 하드웨어 가속을 통해 지연 시간을 압축하여 12초 슬롯 안에 전체 블록 증명을 완료합니다.
• 클라이언트 및 프로토콜 통합: 표준화된 증명 검증 인터페이스, 먼저 선택 사항이며 그다음 기본 사항입니다.
• 인센티브 및 보안: 검열 저항성과 네트워크 활동을 강화하기 위해 검증자 시장과 수수료 모델을 구축합니다.

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

이더리움을 넘어: 범용 zkVM 및 zkCoprocessor

이더리움 생태계 외부에서도 영지식 증명(ZKP) 기술은 일반적으로 검증 가능한 컴퓨팅 분야로 확장되어 zkVM과 zkCoprocessor를 핵심으로 하는 두 가지 기술 시스템을 형성했습니다.

zkVM: 보편적인 검증 가능한 계산 계층

RISC-V, MIPS, WASM 등 일반적인 명령어 집합 아키텍처를 타겟으로 하는 임의 프로그램을 위한 검증 가능한 실행 엔진입니다. 개발자는 비즈니스 로직을 zkVM으로 컴파일할 수 있으며, zkVM은 증명자에 의해 오프체인에서 실행되어 온체인에서 검증 가능한 영지식 증명(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은 증명 단위(ZKP) 과금 정책을 적용하는 Proving-as-a-Service 모델을 채택합니다. 주로 L2 Rollup과 같은 인프라 고객을 대상으로 하며, 대규모 계약 규모, 긴 주기, 안정적인 매출 총이익률을 특징으로 합니다.
• zkCoprocessor는 주로 Proof API-as-a-Service를 기반으로 하며, API 호출 또는 SDK 통합을 통해 작업 단위로 요금이 청구됩니다. SaaS 모델에 더 가깝고, 빠른 통합과 강력한 확장성을 통해 DeFi와 같은 애플리케이션 계층 프로토콜을 목표로 합니다.

일반적으로 zkVM은 검증 가능한 컴퓨팅을 위한 기본 엔진이고, zkCoprocessor는 애플리케이션 계층 검증 모듈입니다. 전자는 기술적 기반을 구축하고, 후자는 상용화를 추진하여 함께 보편적인 신뢰 컴퓨팅 네트워크를 형성합니다.

3. Brevis의 제품 포트폴리오 및 기술 경로

이더리움의 L1 실시간 증명을 시작으로, ZK 기술은 점차 범용 zkVM과 zkCoprocessor 아키텍처를 중심으로 검증 가능한 컴퓨팅 시대로 나아가고 있습니다. Brevis 네트워크는 zkVM과 zkCoprocessor를 융합하여, 고성능과 프로그래밍 가능성을 결합한 제로 지식 컴퓨팅을 핵심으로 하는 범용 검증 가능한 컴퓨팅 인프라, 즉 모든 것을 위한 무한 컴퓨팅 계층을 구축합니다.

3.1 Pico zkVM: 보편적 검증 가능 계산을 위한 모듈식 지분 증명 아키텍처

2024년, 비탈릭은 "글루 및 코프로세서 아키텍처"에서 "일반 실행 계층 + 코프로세서 가속 계층"(글루 및 코프로세서) 아키텍처를 제안했습니다. 복잡한 계산은 일반 비즈니스 로직과 구조화된 집약적 계산으로 나눌 수 있습니다. 전자는 유연성(예: EVM, Python, RISC-V)을 추구하는 반면, 후자는 효율성(예: GPU, ASIC, 해시 모듈)을 추구합니다. 이 아키텍처는 블록체인, AI, 암호화 컴퓨팅 분야에서 일반적인 추세가 되고 있습니다. EVM은 사전 컴파일을 통해 가속하고, AI는 GPU 병렬화를 활용하며, ZK 증명은 일반 VM과 전용 회로를 결합합니다. 미래의 핵심은 "글루 계층"이 보안과 개발 경험을 최적화하는 반면, "코프로세서 계층"은 효율적인 실행에 집중하여 성능, 보안, 개방성 간의 균형을 이루는 것입니다.

Brevis가 개발한 Pico zkVM은 이 개념을 구현한 대표적인 사례입니다. "범용 zkVM + 코프로세서 가속" 아키텍처를 통해 유연한 프로그래밍 가능성과 전용 회로의 고성능 컴퓨팅을 결합합니다. 모듈식 설계는 여러 증명 백엔드(KoalaBear, BabyBear, Mersenne31)를 지원하며, 실행, 재귀 및 압축 구성 요소를 자유롭게 조합하여 ProverChain을 형성할 수 있습니다.

Pico의 모듈형 아키텍처는 핵심 구성 요소의 자유로운 재구성을 가능하게 할 뿐만 아니라 새로운 증명 백엔드 및 애플리케이션 수준 보조 프로세서(예: 온체인 데이터, zkML, 크로스체인 검증) 도입을 가능하게 하여 지속적인 확장성을 달성합니다. 개발자는 Rust 툴체인을 직접 사용하여 비즈니스 로직을 작성하고 사전 지식 없이도 암호화 증명을 자동으로 생성할 수 있어 개발 장벽을 크게 낮출 수 있습니다.

Succinct SP1의 비교적 일체형 RISC-V zkVM 아키텍처와 RISC Zero R0VM의 일반적인 RISC-V 실행 모델과 비교했을 때, Pico는 모듈식 zkVM + 코프로세서 시스템을 통해 실행, 재귀 및 압축 단계의 분리 및 확장을 달성하고, 다중 백엔드 스위칭 및 코프로세서 통합을 지원하며, 성능과 확장성 측면에서 차별화된 이점을 형성합니다.

3.2 Pico Prism: 다중 GPU 클러스터를 위한 획기적인 성능

Pico Prism은 Brevis의 멀티 서버 GPU 아키텍처에서 중요한 돌파구를 제시하며, 이더리움 재단의 실시간 증명(RTP) 프레임워크 내에서 새로운 기록을 세웠습니다. 64x5090 GPU 클러스터에서 평균 6.9초의 증명 시간과 96.8%의 RTP 커버리지를 달성하여 동급 최고의 성능을 자랑하는 zkVM 중 하나로 자리매김했습니다. 아키텍처, 엔지니어링, 하드웨어 및 시스템 수준에서 최적화된 이 시스템은 zkVM이 연구용 프로토타입에서 프로덕션급 인프라로의 전환을 보여줍니다.

• 아키텍처 설계: 기존 zkVM(SP1 및 R0VM 등)은 주로 단일 머신 GPU 최적화에 의존합니다. Pico Prism은 다중 서버, 다중 GPU 클러스터 레벨 zk 증명을 구현한 최초의 제품입니다. 멀티스레딩 및 샤딩 스케줄링을 통해 zk 증명은 분산 컴퓨팅 시스템으로 확장되어 병렬 처리 및 확장성을 크게 향상시킵니다.
• 엔지니어링 구현: 다단계 비동기 파이프라인(실행/재귀/압축)과 교차 계층 데이터 재사용 메커니즘(증명 청크 캐싱 및 임베딩 재사용)을 구축하고, 다중 백엔드 스위칭(KoalaBear, BabyBear, M31)을 지원하여 처리량 효율성을 크게 개선합니다.
• 하드웨어 전략: 64×RTX 5090 GPU(약 128,000달러) 구성에서 Pico Prism은 평균 6.0~6.9초의 증명 시간과 96.8%의 RTP 적용 범위를 달성했으며, 성능/비용 비율이 약 3.4배 향상되었습니다. 이는 SP1 Hypercube(160×4090 GPU, 10.3초)보다 우수합니다.
• 시스템 진화: Ethereum Foundation의 RTP 지표(10초 미만 96% 이상, 10만 달러 미만 비용)를 충족하는 최초의 zkVM인 Pico Prism은 연구 프로토타입에서 메인넷 수준의 생산 인프라로의 zk 증명 시스템의 전환을 나타내며, Rollup, DeFi, AI 및 크로스체인 검증과 같은 시나리오에 대한 보다 경제적인 제로 지식 컴퓨팅 솔루션을 제공합니다.

3.3 ZK 데이터 보조 프로세서: 블록체인 데이터 지능형 제로 지식 보조 프로세서 계층

스마트 컨트랙트는 본질적으로 메모리가 부족하여 과거 데이터에 접근하거나, 장기적인 행동을 식별하거나, 크로스체인 분석을 수행할 수 없습니다. Brevis의 고성능 제로 지식 보조 프로세서(ZK Coprocessor)는 스마트 컨트랙트에 크로스체인 과거 데이터 접근 및 신뢰할 수 있는 컴퓨팅 기능을 제공합니다. 블록체인 전체의 과거 상태, 거래 및 이벤트를 검증하고 계산하여 데이터 기반 DeFi, 선제적 유동성 관리, 사용자 인센티브 및 크로스체인 신원 검증 애플리케이션을 지원합니다.

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

1. 데이터 접근: 스마트 계약은 API를 통해 신뢰할 수 없이 과거 데이터를 읽을 수 있습니다.
2. 계산 실행: 개발자는 SDK를 사용하여 비즈니스 로직을 정의하고, 이는 Brevis 체인에 의해 계산 및 생성됩니다.
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는 주로 세 가지 유형의 인센티브 모델을 지원합니다.

• 토큰 보유: ERC-20 시간 가중 잔액(TWA)을 기반으로 장기 보유 보상을 계산합니다.
• 집중된 유동성: Gamma 및 Beefy와 같은 ALM 프로토콜과 호환되는 AMM DEX 수수료 비율에 따라 유동성 보상을 분배합니다.
• 대출 및 차용: 잔액과 부채의 평균을 기준으로 대출 보상을 계산합니다.

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

3.5 Brevis 제품 기술 스택 개요

4. Brevis zkVM 기술 지표 및 성과 혁신

이더리움 재단(EF)이 제안한 L1 zkEVM 실시간 증명(RTP) 표준은 zkVM이 이더리움 메인넷 검증 프로세스에 진입하기 위한 업계 합의이자 진입 기준이 되었습니다. 핵심 평가 지표는 다음과 같습니다.

• 지연 요구 사항: P99 ≤ 10초(이더리움의 12초 블록 주기와 일치)
• 하드웨어 제약: CAPEX ≤ $100K, 전력 소비량 ≤ 10kW(가정용 또는 소규모 컴퓨터실에 적합)
• 보안 수준: ≥128비트(전환 기간 동안 ≥100비트)
• 증명 크기: ≤300 KiB;
• 시스템 요구 사항: 신뢰할 수 있는 설정에 의존해서는 안 되며, 핵심 코드는 완전히 오픈 소스여야 합니다.

2025년 10월, Brevis는 "Pico Prism - 소비자 하드웨어에서 4500만 가스 이더리움 블록에 대한 99.6% 실시간 증명" 보고서를 발표하면서, 자사의 Pico Prism이 이더리움 재단(EF) 실시간 블록 증명(RTP) 표준을 완전히 통과한 최초의 zkVM이 되었다고 발표했습니다.

64x RTX 5090 GPU 구성(약 128,000달러)에서 Pico Prism은 45M 가스 블록에서 평균 6.9초의 지연 시간을 달성했으며, 96.8%는 10초 미만, 99.6%는 12초 미만을 기록했습니다. 이 성능은 Succinct SP1 Hypercube(36M 가스, 평균 지연 시간 10.3초, 40.9%는 10초 미만)보다 훨씬 뛰어납니다. 지연 시간이 71% 감소하고 하드웨어 비용이 절반으로 줄면서 전반적인 성능/비용 효율성이 약 3.4배 향상되었습니다. 이러한 성과는 이더리움 재단, 비탈릭 부테린, 그리고 저스틴 드레이크로부터 공개적으로 인정받았습니다.

5. Brevis 생태계 확장 및 애플리케이션 구현

Brevis의 ZK 데이터 보조 프로세서(zkCoprocessor)는 dApp이 효율적으로 완료할 수 없는 복잡한 연산(예: 과거 행동, 크로스체인 데이터, 집계 분석)을 처리하고 검증 가능한 영지식 증명(ZKP)을 생성합니다. 이 작은 증명만 온체인에서 검증하면 결과에 안전하게 접근할 수 있으므로 가스비, 지연 시간, 신뢰 비용이 크게 절감됩니다. 기존 오라클과 달리 Brevis는 "결과"뿐만 아니라 "정확성에 대한 수학적 보장"까지 제공합니다. 주요 적용 시나리오는 다음과 같습니다.

• 지능형 DeFi: 과거 행동과 시장 상황을 기반으로 지능형 인센티브와 차별화된 경험을 제공합니다(PancakeSwap, Uniswap, MetaMask 등).
• RWA 및 스테이블 토큰 성장: ZK 검증을 통한 스테이블 코인 및 RWA 수익의 자동 분배(OpenEden, Usual Money, MetaMask USD)
• 개인 정보 보호 분산 거래소(DEX with Dark Pools): 오프체인 매칭과 온체인 검증을 사용하는 개인 정보 보호 거래 모델이 곧 출시됩니다.
• 크로스체인 상호 운용성: 크로스체인 재스테이킹 및 Rollup-L1 상호 운용성을 지원하여 공유 보안 계층(커널, 셀러, 0G)을 구축합니다.
• 블록체인 부트스트랩: ZK 인센티브를 사용하여 새로운 블록체인 생태계의 부트스트랩 및 성장 지원(Linea, TAC)
• 고성능 퍼블릭 체인(100배 더 빠른 L1): 실시간 증명(RTP) 기술을 통해 Ethereum 및 BNB 체인과 같은 퍼블릭 체인의 성능 향상을 촉진합니다.
• 검증 가능한 AI: AgentFi와 데이터 경제에 신뢰할 수 있는 컴퓨팅 성능을 제공하기 위해 개인정보 보호와 검증 가능한 추론을 결합(Kaito, Trusta)

Brevis Explorer 데이터에 따르면, 2025년 10월 기준 Brevis 네트워크는 1억 2,500만 건 이상의 ZK 증명을 생성했으며, 이는 약 9만 5천 개의 주소와 9만 6천 건의 애플리케이션 요청을 포괄하여 보상 분배, 거래 검증, 지분 증명 등 다양한 시나리오를 지원합니다. 생태계 전체에서 플랫폼은 약 2억 2,300만 달러의 인센티브를 분배하여 28억 달러 이상의 TVL(가상자산 가치)을 지원했으며, 누적 거래량은 10억 달러를 돌파했습니다.

현재 브레비스의 생태 사업은 DeFi 인센티브 분배와 유동성 최적화라는 두 가지 주요 방향에 집중하고 있습니다. 핵심 컴퓨팅 파워 소비는 Usual Money, PancakeSwap, Linea Ignition, Incentra의 네 가지 프로젝트가 담당하며, 총 85% 이상을 차지합니다.

• 일반 화폐(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 체인, Linea, Kernel DAO, TAC, 0G를 포함하여 멀티체인 생태계에 신뢰할 수 있는 컴퓨팅 및 크로스체인 검증 기능을 제공합니다. 한편, Trusta AI, Kaito AI, MetaMask와 같은 프로젝트는 ZK 데이터 코프로세서를 활용하여 개인정보 보호 포인트, 영향력 점수 및 보상 시스템을 구축하고 Web3 데이터의 지능적인 개발을 촉진하고 있습니다. 기반 시스템 수준에서 Brevis는 EigenLayer AVS 네트워크를 활용하여 보안을 재스테이킹하고, NEBRA의 통합 증명(UPA) 기술을 통합하여 여러 ZK 증명을 단일 제출로 압축하여 온체인 검증 비용과 지연 시간을 크게 줄입니다.

전반적으로 Brevis는 장기 인센티브, 이벤트 보상, 거래 검증부터 플랫폼 기반 서비스에 이르기까지 광범위한 적용 시나리오를 포괄합니다. 고빈도 검증 작업과 재사용 가능한 회로 템플릿은 Pico/Prism에 실제 성능 압박 및 최적화 피드백을 제공합니다. 이는 엔지니어링 및 생태계 수준에서 L1 zkVM 실시간 증명 시스템에 피드백되어 기술과 적용의 양방향 플라이휠을 형성할 것으로 예상됩니다.

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

모 동 | 브레비스 네트워크 공동 창립자

브레비스 네트워크(Brevis Network)의 공동 창립자인 모 동(Mo Dong) 박사는 일리노이 대학교 어바나-샴페인(UIUC)에서 컴퓨터공학 박사 학위를 취득했습니다. 그의 연구는 주요 국제 학술 대회에 발표되었고, 구글과 같은 기술 기업들에 의해 채택되었으며, 수천 건의 인용을 기록했습니다. 그는 알고리즘 게임 이론 및 프로토콜 메커니즘 설계 분야의 전문가로서, 신뢰할 수 있고 검증 가능한 컴퓨팅 경제를 구축하기 위해 영지식 컴퓨팅(ZK)과 탈중앙화 인센티브 메커니즘의 통합을 촉진하는 데 주력하고 있습니다. IOSG 벤처스의 벤처 파트너로서 그는 또한 오랫동안 웹 3.0 인프라의 초기 단계 투자에 집중해 왔습니다.

브레비스 팀은 일리노이대학교(UIUC), MIT, UC 버클리 출신의 암호학 및 컴퓨터 과학 박사 학위 소지자들이 설립했습니다. 핵심 멤버들은 영지식 증명(ZKP) 및 분산 시스템 분야에서 수년간의 연구 경험을 보유하고 있으며, 다수의 동료 심사 논문을 발표했습니다. 브레비스는 이더리움 재단으로부터 기술적 인정을 받았으며, 핵심 모듈은 중요한 온체인 확장성 인프라로 평가받고 있습니다.

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

VII. ZKVM 및 ZK 코프로세서 시장 경쟁 분석

현재 Ethereum Foundation의 지원을 받는 ETHProofs.org는 L1 zkEVM 실시간 증명(RTP) 경로를 위한 핵심 추적 플랫폼이 되었으며, 다양한 zkVM의 성능, 보안 및 메인넷 적응 진행 상황을 공개적으로 표시하는 데 사용됩니다.

전반적으로 RTP 트랙의 경쟁은 4가지 핵심 차원에 초점을 맞추고 있습니다.

• 성숙도: SP1은 프로덕션 배포에 가장 성숙도가 높습니다. Pico는 성능이 뛰어나고 메인넷 표준에 가깝습니다. RISC Zero는 안정적이지만 RTP 데이터는 공개되지 않습니다.
• 성능: Pico 증명 크기는 약 990kB로 SP1(1.48MB)보다 약 33% 작고 비용도 낮습니다.
• 보안 및 감사: RISC Zero와 SP1은 독립적인 보안 감사를 통과했으며, Pico는 현재 감사를 받고 있습니다.
• 개발 생태계: 주류 zkVM은 모두 RISC-V 명령어 집합을 사용합니다. SP1은 Succinct Rollup SDK를 활용하여 광범위한 통합 생태계를 구축합니다. Pico는 Rust를 사용하여 자동으로 증명을 생성하며, SDK의 완성도는 빠르게 향상되고 있습니다.

최신 데이터를 판단해보면 현재 RTP 트랙은 '2강 패턴'을 형성하고 있습니다.

• 1세대 Brevis Pico(Prism 포함)와 Succinct SP1 Hypercube는 모두 EF가 정한 P99 ≤ 10초 기준을 목표로 합니다. 전자는 분산형 멀티 GPU 아키텍처를 통해 성능과 비용 측면에서 획기적인 발전을 이루었으며, 후자는 단일 시스템을 통해 엔지니어링 성숙도와 견고한 생태계를 유지합니다. Pico는 성능과 아키텍처 혁신을, SP1은 실용성과 생태계 리더십을 상징합니다.
• 2단계 팀인 RISC Zero, ZisK, ZKM은 생태계 호환성과 경량 설계를 지속적으로 연구하고 있지만, 지연 시간, 전력 소비, CAPEX, 보안 비트, 증명 크기, 재현성 등 RTP 지표를 완전히 공개하지는 않았습니다. Scroll(Ceno)과 Matter Labs(Airbender)는 Rollup 기술을 L1 검증 계층으로 확장하여 L2 용량 확장에서 L1 검증 가능 컴퓨팅으로의 진화를 보여주고자 노력하고 있습니다.

2025년까지 zkVM 시장은 RISC-V 통합, 모듈형 진화, 재귀적 표준화, 그리고 하드웨어 가속 병렬 처리를 특징으로 하는 기술 환경을 구축할 것입니다. zkVM의 범용 검증 가능 컴퓨팅 계층은 세 가지 범주로 나눌 수 있습니다.

• 성능 지향적: Brevis Pico, SP1, Jolt, Zisk는 낮은 지연 시간과 실시간 증명에 중점을 두고 재귀적 STARK와 GPU 가속을 통해 컴퓨팅 처리량을 향상시킵니다.
• 모듈성과 확장성: OpenVM, Pico, SP1은 모듈성과 플러그 가능성을 강조하고 보조 프로세서 액세스를 지원합니다.
• 생태계 및 일반 개발: RISC Zero, SP1, ZiSK는 보편화를 촉진하기 위해 SDK 및 언어 호환성에 중점을 둡니다.

현재 zk 코프로세서 시장은 Brevis, Axiom, Herodotus, Lagrange가 주도하고 있습니다. Brevis는 과거 데이터 접근, 프로그래밍 가능한 계산, L1 RTP 기능을 결합한 "ZK 데이터 코프로세서 + 범용 zkVM" 아키텍처로 시장을 선도하고 있습니다. Axiom은 검증 가능한 쿼리와 회로 콜백에 중점을 두고, Herodotus는 과거 상태 접근에 특화되어 있으며, Lagrange는 ZK+Optimistic 하이브리드 아키텍처를 통해 크로스체인 컴퓨팅 성능을 최적화합니다. 전반적으로 zk 코프로세서는 DeFi, Reliable Web Apps(RWA), AI, 신원 확인 및 기타 애플리케이션을 "검증 가능한 서비스 계층"으로 연결하는 신뢰할 수 있는 컴퓨팅 인터페이스로 자리 잡고 있습니다.

8. 요약: 비즈니스 로직, 엔지니어링 구현 및 잠재적 위험

비즈니스 로직: 성능 중심 및 이중 플라이휠

Brevis는 "범용 zkVM(Pico/Prism)"과 "데이터 보조 프로세서(zkCoprocessor)"를 사용하여 다중 체인 신뢰 컴퓨팅 계층을 구축합니다. 전자는 임의 계산의 검증 가능성 문제를 해결하고, 후자는 과거 및 크로스 체인 데이터의 비즈니스 구현을 실현합니다.

성장 논리는 "성능-생태계-비용"의 선순환 구조를 형성합니다. Pico Prism의 RTP 성능은 주요 프로토콜과의 통합을 유도하여 규모 확장과 단위 비용 절감으로 이어지고, 지속적으로 강화되는 이중 플라이휠을 형성합니다. Pico Prism의 경쟁 우위는 주로 세 가지 측면에서 비롯됩니다.

1. 재현 가능한 성능 - Ethereum Foundation의 ETHProofs RTP 시스템에 통합됨
2. 아키텍처 장벽 - 모듈형 설계와 다중 GPU 병렬화를 통해 높은 확장성을 달성합니다.
3. 상업적 검증 - 인센티브 분배, 동적 요율 및 크로스체인 검증에서 대규모로 구현되었습니다.

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

Brevis는 Pico zkVM과 Prism 병렬 프레임워크를 활용하여 45M 가스 블록(64x5090 GPU, CAPEX 13만 달러 미만)에서 평균 6.9초의 실행 시간과 10초 미만의 P99를 달성하여 최고의 성능과 비용을 달성합니다. zkCoprocessor 모듈은 과거 데이터 읽기, 회로 생성 및 백링크 검증을 지원하며 Pure-ZK 모드와 하이브리드 모드 사이를 유연하게 전환할 수 있습니다. 전반적인 성능은 이더리움의 강화된 RTP 표준과 거의 일치합니다.

잠재적 위험 및 주요 우려 사항

• 기술 및 규정 준수 기준: Brevis는 전력 소비량, 보안 비트, 증명 크기, 신뢰할 수 있는 설정 종속성과 같은 하드 메트릭에 대한 공개 및 제3자 검증을 완료해야 합니다. 롱테일 성능 최적화는 여전히 중요하며, EIP 조정을 통해 성능 병목 현상을 해결할 수 있습니다.
• 경쟁 및 대체 위험: Succinct(SP1/Hypercube)는 여전히 툴 체인과 생태계 통합 분야에서 선두를 달리고 있으며, Risc Zero, Axiom, OpenVM, Scroll, zkSync와 같은 팀의 경쟁력도 무시할 수 없습니다.
• 매출 집중도 및 사업 구조: 현재 증명 볼륨은 매우 집중되어 있으며(상위 4개 애플리케이션이 약 80% 차지), 의존도를 낮추기 위해 여러 산업, 퍼블릭 체인 및 사용 사례에 걸친 확장이 필요합니다. GPU 비용이 단위 매출 총이익에 영향을 미칠 수 있습니다.

전반적으로 Brevis는 재현 가능한 성능과 실행 가능한 비즈니스 애플리케이션 모두에서 예비적인 경쟁 우위를 확보했습니다. Pico/Prism은 L1 RTP 시장의 선두 주자로 확고히 자리매김했으며, zkCoprocessor는 고주파수 재사용 가능한 상업적 시나리오를 열어가고 있습니다. 앞으로 이더리움 재단의 RTP 목표 달성을 단계적으로 추진하고, 코프로세서 제품 표준화 및 생태계 확장을 지속적으로 강화하는 동시에 제3자 재현성, 보안 감사 및 비용 투명성을 증진할 것을 권장합니다. 인프라와 SaaS 수익 간의 구조적 균형을 달성함으로써 지속 가능한 폐쇄 루프 비즈니스 성장 주기를 구축할 수 있습니다.