원제목: "Brevis 연구 보고서: ZKVM 및 데이터 코프로세서: 무한 신뢰 컴퓨팅 계층"

원저자: 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 개념은 L1 실시간 증명(RTP)으로 확장되어 EVM 명령어 수준에서 검증 가능한 회로를 구축할 것입니다. 이를 통해 영지식 증명이 이더리움 메인넷의 실행 및 검증 프로세스에 직접 통합되어 기본적으로 검증 가능한 실행 메커니즘이 될 것입니다. 이러한 발전은 블록체인의 "확장성"에서 "검증 가능성"으로의 기술적 도약을 반영하며, 신뢰 컴퓨팅의 새로운 시대를 열 것입니다.

I. 이더리움의 zkEVM 확장 경로: L2 롤업에서 L1 실시간 증명으로

이더리움의 zkEVM 확장 경로는 두 단계로 구성됩니다.

· 1단계(2022년~2024년): L2 zkRollup은 유효성 증명이 제출되는 레이어 2로 실행을 이동합니다. 이를 통해 비용이 크게 절감되고 처리량이 향상되지만, 유동성과 상태 단편화가 발생하며 L1은 여전히 N-of-N 재실행의 영향을 받습니다.

· 2단계(2025년~): L1 실시간 증명(RTP)은 재실행을 "전체 네트워크에 걸친 N-of-N 증명 + 경량 검증"으로 대체하여 탈중앙화를 희생하지 않고 처리량을 향상시킵니다. 이는 여전히 진화하고 발전하는 과정입니다. L2 zkRollup 단계: 호환성과 확장성의 균형 2022년, 레이어 2 생태계가 번성하면서 이더리움의 창시자 비탈릭 부테린은 ZK-EVM의 4가지 범주 분류(유형 1~4)를 제안하여 호환성과 성능 간의 구조적 상충 관계를 체계적으로 밝혔습니다. 이 프레임워크는 이후 zkRollup 기술 로드맵에 대한 명확한 좌표를 확립했습니다. · 유형 1: 완전한 동등성: 이더리움 바이트코드와 동일하며 마이그레이션 비용이 가장 낮고 증명 속도가 가장 느립니다. Taiko. · 유형 2: 완전한 호환성: 최소한의 기본 최적화로 최고의 호환성을 제공합니다. Scroll, Linea.

· 유형 2.5 준호환성: 성능을 위해 사소한 변경(가스/사전 컴파일 등)이 필요합니다. Polygon zkEVM, Kakarot.

· 유형 3 부분 호환성: 더 중요한 변경 사항으로, 대부분의 애플리케이션을 실행할 수 있지만 L1 인프라를 완전히 재사용하는 기능은 제한적입니다.zkSync 시대.

· 유형 4 언어 수준: 바이트코드 호환성을 포기하고 고급 언어에서 회로로 직접 컴파일하여 최적의 성능을 제공하지만 생태계 재구성이 필요합니다(대표: Starknet/Cairo).현재의 L2 zkRollup 모델은 성숙해졌습니다. 실행을 레이어 2로 이전하고 레이어 1에서 유효성 증명을 제출함으로써 최소한의 수정만으로 이더리움 생태계와 툴체인을 활용하여 주류 확장 및 수수료 절감 솔루션으로 자리매김했습니다. 이 증명은 L2 블록과 상태 전환을 기반으로 하며, 결제 및 보안은 레이어 1에 고정되어 있습니다. 이 아키텍처는 높은 개발자 호환성을 유지하면서 처리량과 효율성을 크게 향상시키지만, 유동성과 상태 단편화를 야기하며, L1은 여전히 N-of-N 실행 병목 현상으로 제한됩니다. 2025년 7월, 이더리움 재단은 "L1 zkEVM 배포 #1: 실시간 증명"이라는 논문을 발표하여 L1 zkEVM 접근 방식을 공식적으로 제안했습니다. L1 zkEVM은 이더리움을 N-of-N 재실행에서 1-of-N 증명으로 업그레이드하여 빠른 네트워크 전체 검증을 수행합니다. 소수의 증명자가 전체 EVM 상태 전환에 대한 짧은 증명을 생성하는 반면, 모든 검증자는 상수 시간 검증을 수행합니다. 이 솔루션은 탈중앙화를 희생하지 않고 L1 실시간 증명을 구현하여 메인넷의 가스 한도와 처리량을 안전하게 향상하는 동시에 엔트리 레벨 노드 하드웨어 요구 사항을 크게 낮춥니다. 구현 계획은 기존 실행 클라이언트를 zk 클라이언트로 대체하여 처음에는 병렬로 실행하는 것입니다. 성능, 보안 및 인센티브 메커니즘이 성숙되면 프로토콜 수준에서 점차 새로운 표준이 될 것입니다.

· N-of-N 구 패러다임: 모든 검증자는 검증을 위해 전체 트랜잭션 블록을 반복적으로 실행합니다. 이는 안전하지만 처리량이 제한되고 최대 수수료가 높습니다.

· N 중 1번째 새로운 패러다임: 소수의 증명자가 전체 블록을 실행하고 짧은 증명을 생성합니다. 전체 네트워크는 상수 시간 검증만 수행합니다. 검증 비용은 재실행보다 훨씬 낮아 L1 가스 한도를 안전하게 높이고 하드웨어 요구 사항을 줄일 수 있습니다.L1 zkEVM 로드맵은 세 가지 주요 축으로 구성됩니다. 1. 실시간 증명: 12초 슬롯 안에 전체 블록 증명을 완료하고 병렬화 및 하드웨어 가속을 통해 지연 시간을 단축합니다. 2. 클라이언트 및 프로토콜 통합: 증명 검증 인터페이스를 표준화하여 처음에는 선택 사항이었지만 이후 기본으로 설정합니다. 3. 인센티브 및 보안: 검열 저항성과 네트워크 활성도를 향상시키기 위한 증명자 시장 및 수수료 모델을 구축합니다. 이더리움 L1 실시간 증명(RTP)은 zkVM을 사용하여 전체 블록 트랜잭션을 오프체인으로 재실행하고 암호화 증명을 생성합니다. 이를 통해 검증자는 재계산 없이 10초 안에 작은 증명을 검증할 수 있어 "실행 대신 검증"을 달성하고 이더리움의 확장성과 신뢰 없는 검증 효율성을 크게 향상시킵니다. 이더리움 재단의 공식 zkEVM Tracker 페이지에 따르면, 현재 L1 zkEVM 실시간 증명 경로를 작업 중인 주요 팀으로는 SP1 Turbo(Succinct Labs), Pico(Brevis), Risc Zero, ZisK, Airbender(zkSync), OpenVM(Axiom), Jolt(a16z) 등이 있습니다.

II. 이더리움 너머: 범용 zkVM과 zkCoprocessor

이더리움 생태계를 넘어, 영지식 증명(ZKP) 기술은 범용 검증 가능 컴퓨팅 분야로 확장되어 zkVM과 zkCoprocessor를 중심으로 두 가지 핵심 기술 시스템을 형성했습니다. zkVM: 검증 가능 계산 계층. 이 검증 가능 실행 엔진은 RISC-V, MIPS, WASM을 포함한 일반적인 명령어 집합 아키텍처를 대상으로 임의의 프로그램을 위해 설계되었습니다. 개발자는 비즈니스 로직을 zkVM으로 컴파일할 수 있으며, 이는 증명자에 의해 오프체인으로 실행되어 온체인에서 검증 가능한 영지식 증명(ZKP)을 생성합니다. 이는 이더리움 레이어 1(L1)에서의 블록 검증뿐만 아니라 크로스체인 검증, AI 추론, 암호화 연산 및 복잡한 알고리즘에도 사용될 수 있습니다. zkVM의 장점은 다재다능하고 폭넓은 적응성을 가지고 있다는 점이지만, 복잡한 회로와 높은 증명 비용 때문에 다중 GPU 병렬 처리 및 강력한 엔지니어링 최적화가 필요합니다. 대표적인 프로젝트로는 Risc Zero, Succinct SP1, Brevis Pico/Prism 등이 있습니다.zkCoprocessor: 시나리오별 검증 가능 모듈은 특정 비즈니스 시나리오에 맞춰 플러그 앤 플레이 방식의 연산 및 증명 서비스를 제공합니다. 이 플랫폼은 데이터 액세스 및 회로 로직(예: 온체인 과거 데이터 판독, TVL, 수익 정산, 신원 확인)을 사전 구성합니다. 애플리케이션은 SDK/API 호출을 통해 온체인에서 사용할 연산 결과 및 증명에 액세스할 수 있습니다. 이 모델은 빠른 도입, 뛰어난 성능, 저렴한 비용을 제공하지만, 보편성은 제한적입니다. 대표적인 프로젝트로는 Brevis zkCoprocessor와 Axiom이 있습니다. 전반적으로 zkVM과 zkCoprocessor는 모두 "오프체인 연산 + 온체인 검증"이라는 신뢰 컴퓨팅 패러다임을 따르며, 영지식 증명을 통해 오프체인 결과를 온체인에서 검증합니다. zkCoprocessor의 경제적 논리는 온체인에서 직접 실행하는 비용이 오프체인 증명 생성과 온체인 검증의 총 비용보다 훨씬 높다는 전제에 기반합니다. 다재다능성과 엔지니어링 복잡성 측면에서 두 가지의 주요 차이점은 다음과 같습니다. zkVM은 복잡하고 교차 도메인 또는 AI 시나리오에 적합한 범용 컴퓨팅 인프라로 최대의 유연성을 제공합니다. zkCoprocessor는 모듈식 검증 서비스로, 고빈도 재사용 가능 시나리오(DeFi, RWA, 위험 관리 등)에 저렴하고 직접 호출 가능한 검증 인터페이스를 제공합니다. 상업적 접근 방식 측면에서 zkVM과 zkCoprocessor의 차이점은 다음과 같습니다. zkVM은 주로 L2 Rollup과 같은 인프라 클라이언트를 대상으로 증명당 요금을 청구하는(ZKP) Proving-as-a-Service 모델을 채택합니다. 이 모델의 특징은 대규모 계약 규모, 긴 계약 주기, 안정적인 매출 총이익률입니다. 반면 zkCoprocessor는 주로 API 호출 또는 SDK 통합을 통해 작업당 요금을 청구하는 서비스 증명 API-as-a-Service 모델을 제공합니다. 이 모델은 SaaS 모델에 더 가깝고 DeFi와 같은 애플리케이션 계층 프로토콜을 대상으로 하며 빠른 통합과 강력한 확장성을 제공합니다. 전반적으로 zkVM은 검증 가능한 계산을 위한 기본 엔진이고, zkCoprocessor는 애플리케이션 계층 검증 모듈입니다. 전자는 기술적 기반을 구축하고, 후자는 상용화를 추진하여 함께 보편적인 신뢰 컴퓨팅 네트워크를 형성합니다.

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

이더리움의 L1 실시간 증명(Realtime Proving)을 시작으로, 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이 연구용 프로토타입에서 프로덕션급 인프라로 전환되는 과정을 보여줍니다. 1. 아키텍처 설계: 기존 zkVM(예: SP1 및 R0VM)은 주로 단일 머신 GPU 최적화에 의존합니다. Pico Prism은 다중 서버 및 GPU에 걸쳐 클러스터 수준의 zk 증명을 구현한 최초의 솔루션입니다. 멀티스레딩 및 샤딩을 통해 zk 증명을 분산 컴퓨팅 시스템으로 확장하여 병렬 처리 및 확장성을 크게 향상시킵니다. 2. 엔지니어링 구현: 다단계 비동기 파이프라인(실행/재귀/압축)과 교차 계층 데이터 재사용 메커니즘(증명 청크 캐싱 및 임베딩 재사용)을 구축하고 여러 백엔드 스위칭(KoalaBear, BabyBear, M31)을 지원함으로써 처리량 효율성이 크게 향상됩니다.3. 하드웨어 전략: 64x RTX 5090 GPU(약 128,000달러)에서 Pico Prism은 평균 6.0~6.9초의 증명 시간과 96.8%의 RTP 커버리지를 달성하여 성능/비용 면에서 3.4배 향상되었으며, SP1 Hypercube(160x4090 GPU, 10.3초)를 능가합니다. 4. 시스템 진화: Ethereum Foundation의 RTP 요구 사항(10초 미만 96% 이상, 100,000달러 미만 비용)을 충족하는 최초의 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)을 기반으로 장기 보유 보상을 계산합니다.

· 집중된 유동성: AMM DEX는 거래 수수료의 일정 비율을 기반으로 유동성 보상을 분배하며, Gamma 및 Beefy와 같은 ALM 프로토콜과 호환됩니다. 대출 및 차용: 잔액과 부채의 평균을 기반으로 대출 보상을 계산합니다. 이 시스템은 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만 가스 Ethereum 블록에 대한 99.6% 실시간 증명" 보고서를 발표하면서, Pico Prism이 Ethereum Foundation(EF) 실시간 블록 증명(RTP) 표준을 완전히 통과한 최초의 zkVM이 되었다고 발표했습니다. 64배속 RTX 5090 GPU(약 12만 8천 달러)에서 Pico Prism은 45M 가스 블록에서 평균 6.9초의 지연 시간, 96.8% 지연 시간 <10초, 99.6% 지연 시간 <12초를 달성하여 Succinct SP1 Hypercube(36M 가스, 평균 지연 시간 10.3초, 40.9% 지연 시간 <10초)를 크게 앞지르는 성과를 보였습니다. 지연 시간을 71% 줄이고 하드웨어 비용을 절반으로 줄임으로써 전반적인 성능/비용 효율성이 약 3.4배 향상되었습니다. 이러한 성과는 이더리움 재단, 비탈릭 부테린, 그리고 저스틴 드레이크가 공개적으로 인정했습니다.

V. 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 상호 운용성을 지원하여 공유 보안 계층(Kernel, Celer, 0G)을 구축합니다.

· 블록체인 부트스트랩: ZK 인센티브 메커니즘을 사용하여 새로운 퍼블릭 체인 생태계의 콜드 스타트 및 성장 지원(Linea, TAC)

· 고성능 퍼블릭 체인(100배 더 빠른 L1): 실시간 증명(RTP) 기술을 통해 Ethereum과 같은 퍼블릭 체인의 성능 촉진(Ethereum, BNB Chain)

· 검증 가능한 AI: 개인 정보 보호 및 검증 가능한 추론을 통합하여 AgentFi 및 데이터 경제에 신뢰할 수 있는 컴퓨팅 파워 제공(Kaito, Trusta)

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

현재 Brevis의 생태 사업은 주로 DeFi 인센티브 분배와 유동성 최적화라는 두 가지 주요 방향에 집중하고 있습니다. 핵심 컴퓨팅 파워 소비는 Usual Money, PancakeSwap, Linea Ignition, Incentra의 네 가지 프로젝트에서 발생하며, 총 85% 이상을 차지합니다. 그중에는 다음이 있습니다. · Usual Money(4,660만 개의 증명): 대규모 인센티브 분배에서 장기적인 안정성을 입증합니다. · PancakeSwap(2,060만 개의 증명): Brevis의 실시간 환율 및 할인율 계산에서 높은 성능을 보여줍니다. · Linea Ignition(2,040만 개의 증명): L2 생태 활동에서 높은 동시 처리 능력을 검증합니다. · Incentra(15.2%): Brevis가 SDK 도구에서 표준화된 인센티브 플랫폼으로 진화했음을 보여줍니다.

DeFi 인센티브 분야에서 Brevis는 투명하고 지속적인 보상 분배를 달성하기 위해 여러 프로토콜을 지원하는 Incentra 플랫폼을 사용합니다.

· Usual Money의 연간 인센티브 규모는 $300M을 초과하여 스테이블코인 사용자와 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 실시간 증명 시스템으로 피드백되어 기술과 응용 프로그램의 양방향 플라이휠을 형성할 것으로 예상됩니다.VI. 팀 배경 및 프로젝트 자금 지원 Mo Dong |Brevis Network 공동 창립자 Mo Dong 박사는 Brevis Network의 공동 창립자이며 일리노이 대학교 어바나-샴페인(UIUC)에서 컴퓨터 과학 박사 학위를 취득했습니다.그의 연구는 최고의 국제 학술 대회에 발표되었고 Google과 같은 기술 회사에서 채택되었으며 수천 건의 인용을 얻었습니다.알고리즘 게임 이론 및 프로토콜 메커니즘 설계 전문가인 그는 제로 지식 컴퓨팅(ZK)과 분산형 인센티브 메커니즘의 통합을 촉진하는 데 중점을 두고 있으며 신뢰할 수 있고 검증 가능한 컴퓨팅 경제를 구축하는 데 전념하고 있습니다.IOSG Ventures의 벤처 파트너로서 그는 오랫동안 Web3 인프라의 초기 단계 투자에 집중해 왔습니다.브레비스 팀은 일리노이대학교(UIUC), MIT, UC 버클리 출신의 암호학 및 컴퓨터 과학 박사 학위 소지자들이 설립했습니다. 핵심 멤버들은 영지식 증명(ZKP) 및 분산 시스템 분야에서 수년간의 연구 경험을 보유하고 있으며, 다수의 동료 심사 논문을 발표했습니다. 브레비스는 이더리움 재단으로부터 기술적 인정을 받았으며, 핵심 모듈은 중요한 온체인 확장성 인프라로 평가받고 있습니다.

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

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 시장에서 양방향 지배력을 보여줍니다. 업계를 선도하는 Brevis Pico(Prism 포함)와 Succinct SP1 Hypercube는 EF P99 ≤ 10초 표준을 목표로 합니다. 전자는 분산형 멀티 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-코프로세서 시장은 Brevis, Axiom, Herodotus, Lagrange가 주도하고 있습니다. Brevis는 과거 데이터 접근, 프로그래밍 가능 계산, L1 RTP 기능을 결합한 "ZK 데이터 코프로세서 + 범용 zkVM" 아키텍처로 시장을 선도하고 있습니다. Axiom은 검증 가능한 쿼리와 회로 콜백에 중점을 두고, Herodotus는 과거 상태 접근에 특화되어 있으며, Lagrange는 ZK+Optimistic 하이브리드 아키텍처를 통해 크로스체인 컴퓨팅 성능을 최적화합니다. 전반적으로 zk-코프로세서는 DeFi, Reliable Web Apps(RWA), AI, 신원 확인 등의 애플리케이션을 연결하는 신뢰할 수 있는 컴퓨팅 인터페이스로 자리 잡고 있으며, "검증 가능한 서비스 계층" 역할을 수행하고 있습니다. VIII. 요약: 비즈니스 로직, 엔지니어링 구현 및 잠재적 위험 비즈니스 로직: 성능 중심 및 2계층 플라이휠 Brevis는 범용 zkVM(Pico/Prism)과 데이터 코프로세서(zkCoprocessor)를 사용하여 다중 체인 신뢰 컴퓨팅 계층을 구축합니다. 전자는 임의의 계산 검증 문제를 해결하고, 후자는 과거 및 크로스체인 데이터의 상용화를 지원합니다. 이 성장 로직은 "성능-생태계-비용"의 선순환 구조를 형성합니다. Pico Prism의 RTP 성능은 주요 프로토콜과의 통합을 유도하여 증명 규모의 성장을 촉진하고 단위 비용을 절감하며, 지속적으로 강화되는 2계층 플라이휠을 형성합니다. Brevis의 경쟁 우위는 세 가지 핵심 영역에 있습니다. 1. 재현 가능한 성능 - 이더리움 재단의 ETHProofs RTP 시스템에 이미 통합되어 있음. 2. 아키텍처 장벽 - 모듈식 설계 및 다중 GPU 병렬 처리를 통해 높은 확장성을 제공함. 3. 상업적 검증 - 인센티브 분배, 동적 수수료율 및 크로스체인 검증을 통해 이미 대규모로 구현됨.엔지니어링 구현: "실행 강화"에서 "실행을 검증으로 대체"까지 Brevis는 Pico zkVM 및 Prism 병렬 프레임워크를 활용하여 4,500만 가스 블록에서 평균 6.9초의 실행 시간과 10초 미만의 P99(64x5090 GPU, 13만 달러 미만의 CAPEX)를 달성하여 최고의 성능과 비용을 달성합니다. 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 수익 간의 구조적 균형을 달성함으로써 지속 가능한 폐쇄 루프 비즈니스 성장 주기가 형성될 것입니다.

면책 조항: 본 기사는 AI 도구 ChatGPT-5의 도움을 받아 작성되었습니다. 저자는 정보의 진위성과 정확성을 보장하기 위해 최선을 다했지만, 누락이 불가피하며 부정확한 정보가 있는 경우 사과드립니다. 암호화폐 시장에서는 프로젝트 기본 원칙과 2차 시장 가격 성과 간의 괴리가 흔히 발생한다는 점에 유의해야 합니다. 본 기사는 정보 수집 및 학술/연구 교류 목적으로만 작성되었으며, 투자 조언이나 토큰 매수/매도 권유를 구성하지 않습니다.

이 기사는 기고문이며 반드시 BlockBeats의 견해를 반영하는 것은 아닙니다.

BlockBeats 공식 커뮤니티에 참여하세요:

Telegram 구독 그룹：https://t.me/theblockbeats

Telegram 토론 그룹：https://t.me/BlockBeats_App

Twitter 공식 계정：https://twitter.com/BlockBeatsAsia