Brevis, 최초의 탈중앙화 제로지식 증명 생성 시장에 대해 상세히 설명하는 ProverNet 백서 발표
据悉，Brevis 今日发布了 ProverNet 백서를 발표하여 주류 멀티체인 프로토콜의 실제 운영 환경에서 검증된 분산형 제로지식 증명 생성 시장 아키텍처를 소개했다. 이 시스템은 기존 증명 인프라가 갖는 근본적 한계 — 즉 서로 다른 하드웨어, 증명 시스템 및 최적화 방법이 필요한 이기종 컴퓨팅 작업을 효과적으로 처리할 수 없는 문제 — 를 해결한다.
ProverNet은 증명 생성을 양방향 시장으로 간주하며, 애플리케이션이 특정 요청을 제출하면 전문 증명자들이 입찰을 통해 이러한 요구를 충족시킨다. 이 시장은 TODA(Truthful Online Double Auction, 성실한 온라인 양방향 경매) 메커니즘을 통해 운영되며, 다양한 유형의 증명을 동시에 처리하면서 정직한 입찰과 최적의 자원 배분을 보장하도록 설계되었다.
운영 규모가 드러낸 인프라의 한계
Brevis의 현재 인프라는 PancakeSwap, Uniswap, Euler, Linea, MetaMask 등 다양한 프로토콜에 걸쳐 98,000명의 사용자를 대상으로 1억2400만 개 이상의 증명을 생성했으며, 이를 통해 2억2400만 달러의 신뢰 없이 분배 가능한 보상을 가능하게 했다. 이러한 실사용 사례들은 증명 작업의 다양성을 명확히 드러냈으며, 단일 공급자 구조로는 이를 효과적으로 지원하기 어렵다는 점을 보여준다.
PancakeSwap의 VIP 요금 할인 시스템은 각 거래 전에 개별 거래자의 자격 여부를 확인하기 위해 초당 수준 이하의 증명을 생성해야 한다. Euler의 인센티브 분배는 매 4시간마다 10만 개의 주소를 처리하며 지연 시간보다 처리량을 우선시한다. Linea의 생태계 활동은 61,902개의 주소에 걸쳐 1,210만 개의 증명을 생성하여 다중 프로토콜 보상 계산을 수행한다. 각각의 워크로드는 서로 다른 하드웨어 구성, 증명 시스템(SNARK와 STARK), 그리고 성능 특성을 필요로 한다.
Brevis의 CEO이자 공동 창립자인 Michael은 말했다.
기존의 증명 시스템은 특정 롤업, 단일 가상 머신 또는 동질적인 작업 유형과 같은 특정 용도에 맞게 최적화되어 왔다. ProverNet은 애플리케이션이 근본적으로 서로 다른 증명 방식을 필요로 한다는 관찰에서 비롯된 것이다. 전문 증명자들이 경쟁하는 시장은 어떤 단일 사업자가 모든 사용 사례를 처리하려는 것보다 훨씬 더 효율적이다.
시장 아키텍처와 TODA 메커니즘
ProverNet의 아키텍처는 서로 다른 증명 유형을 경매에서 서로 다른 상품으로 간주한다. 애플리케이션은 처리 유형(zkVM 실행, 데이터 증명, 재귀 집계), 마감 기한, 최대 수수료, 품질 파라미터 등 증명 요구사항을 명시한다. TODA 메커니즘은 매 라운드마다 최적의 할당을 계산하여 이기종 요청을 적합한 증명 능력과 매칭시킨다.
이 메커니즘은 증명 생성 시장이 직면하는 고유한 도전 과제를 해결한다. 전통적인 경매 메커니즘은 상품의 동질성을 전제로 하지만, TODA는 여러 유형의 증명을 동시에 처리할 수 있다. 복잡한 증명 작업은 하위 작업으로 분해되어 서로 다른 증명자들이 협력하여 수행한다.
예를 들어, 하나의 zkVM 증명은 첫 번째 증명자에서 블록을 생성하고, 두 번째 증명자에서 압축하며, 세 번째 증명자에서 집계한 후, 마지막으로 네 번째 전용 시스템에서 최종 검증 패키지를 생성하는 방식으로 이루어질 수 있다.
TODA는 다음과 같은 경제적 속성을 보장한다.
- 성실성(최선의 전략은 정직하게 입찰하는 것)
- 예산 균형(수집된 수수료가 지급된 수수료를 초과)
- 개별 합리성(참여자가 수익을 내지 못하는 작업을 수락하지 않음)
- 점근적 최적성(증명자 공급이 증가함에 따라 할당이 최대 효율에 수렴).
이 시장은 경매 조정을 위해 특별히 설계된 전용 롤업 아키텍처인 Brevis 체인에서 운영된다. 이 아키텍처는 시장 처리량을 레이어 1 또는 레이어 2 네트워크의 혼잡과 격리시키면서도 투명성과 무허가 참여를 유지한다. ProverNet을 통해 생성된 증명은 임의의 대상 블록체인에서 검증될 수 있다.
기술 기반: Pico zkVM과 실시간 증명
ProverNet은 다양한 컴퓨팅 요구를 처리하기 위한 두 가지 상호 보완적인 제품으로 구성된 Brevis의 기존 증명 인프라 위에 구축되었다.
Pico zkVM은 "범용 코어 + 고성능 코프로세서" 아키텍처를 채택하여, 최소화되고 효율적인 코어가 전용 암호화 가속기와 연결됨으로써, 안정적인 가상 머신을 실행하면서도 특정 목적의 하드웨어 최적화를 얻을 수 있도록 한다.
Pico Prism은 최근 4500만 gas 제한의 이더리움 블록에 대해 99.6%의 증명 커버리지를 달성했으며, 그 중 96.8%를 12초 이내에 완료했고, 평균 증명 시간은 6.9초였다. 이 시스템은 64×RTX 5090 GPU 클러스터를 사용하여 기존 최고 성능의 zkVM보다 하드웨어 비용을 50% 낮춘 상태에서도 실시간 증명을 실현했다.
ZK 데이터 코프로세서는 스마트 계약이 과거 블록체인 데이터에 접근하고 암호학적으로 검증 가능한 오프체인 계산을 수행할 수 있게 해준다.
이 시스템이 지원하는 사례에는 PancakeSwap의 VIP 요금(거래 전 30일간 거래량 확인), Euler의 신뢰 없는 보상 분배(수천 개 주소의 시간 가중 잔액 처리), Uniswap v4의 라우팅 리베이트(중앙화된 장부 없이도 거래 자격 검증) 등이 포함된다.
이러한 통합 사례들은 범용 컴퓨팅 검증과 구별되는 데이터 집약적 증명 수요를 보여준다.
이들 시스템은 기본 계층 규모에서 실시간 암호학적 검증을 경제적으로 실현 가능하게 하며, 동시에 ProverNet 시장 아키텍처의 필요성을 만든 이기종 워크로드 유형들을 지원한다.
ZK 생태계에 미치는 영향
ProverNet은 단일 증명 공급자 중심의 인프라에서 시장 수요 기반의 자원 배분으로의 전환을 의미한다. 기존의 증명자 네트워크는 특정 롤업 증명, 특정 가상 머신 또는 동질적 작업 유형과 같은 좁은 용도에 최적화되어 있어, 다양한 수요를 효율적으로 처리하는 능력을 제한받아 왔다.
시장 경매 모델을 통해 증명 팀은 범용 인프라를 구축하지 않고도 특정 최적화 목표(STARK 기반 배치 처리, 저지연 SNARK 증명, 특정 암호 연산 등)에 집중할 수 있으며, 애플리케이션은 경쟁력 있는 가격과 서비스 이용 보장을 얻으면서도 공급업체 종속의 위험을 피할 수 있다.
개발자 입장에서는 고비용이고 시간 소모적인 맞춤형 증명 인프라 구축과 중앙화된 서비스 의존(신뢰 가정 발생) 사이에서 선택해야 하는 딜레마가 해소된다. 암호학적 검증이 계산의 정확성을 보장하고, 시장 경쟁이 가격 효율성과 용량 가용성을 보장하기 때문이다.
이용 가능성 및 추가 정보
ProverNet 백서 전체는 다음 링크에서 확인할 수 있다:http://www.brevis.network/whitepaper/provernet.pdf
간결한 기술 개요는 Brevis 블로그에 게시되었다:https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
ProverNet은 곧 정식 출시될 예정이며, 추가적인 구현 세부 사항과 일정은 추후 별도로 발표될 예정이다.
Brevis 소개
Brevis는 기존의 스마트 계약 블록체인에 무한한 컴퓨팅 능력을 제공하는 스마트 검증 가능 컴퓨팅 플랫폼이다. 제로지식 증명을 통해 Brevis는 데이터 집약적이며 비용이 높은 계산을 체인에서 오프체인 엔진으로 이전함으로써, Web3 애플리케이션이 L1의 보안 신뢰 전제를 유지한 채 원활하게 확장할 수 있도록 한다.
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
@brevis_zk
