원문 출처: Brevis
Brevis는 오늘 ProverNet 백서를 발표하고, 주류 다중 체인 프로토콜의 프로덕션 환경 테스트에서 도출된 분산형 영지식 증명 생성 시장 아키텍처를 소개했습니다. 이 시스템은 기존 증명 인프라의 근본적인 한계, 즉 서로 다른 하드웨어, 증명 시스템 및 최적화 방법을 필요로 하는 이기종 컴퓨팅 작업을 효과적으로 처리할 수 없다는 문제를 해결합니다.
ProverNet은 증명 생성을 애플리케이션이 특정 요청을 제출하고 전문 증명자가 이러한 요구를 충족하기 위해 입찰하는 양방향 시장으로 간주합니다. 이 시장은 공정한 입찰과 최적의 자원 할당을 보장하면서 여러 증명 유형을 동시에 처리하도록 설계된 진실 온라인 이중 경매 메커니즘을 통해 운영됩니다. ProverNet은 곧 공식 출시될 예정입니다.
ProverNet은 증명 생성을 애플리케이션이 특정 요청을 제출하고 전문 증명자가 이러한 요구 사항을 충족하기 위해 입찰하는 양방향 시장으로 간주합니다.
ProverNet 시장은 정직한 입찰과 최적의 리소스 할당을 보장하면서 동시에 여러 증명 유형을 처리하는 것을 목표로 하는 진실된 온라인 이중 경매 메커니즘을 통해 운영될 것입니다.
ProverNet은 곧 공식 출시될 예정입니다.
Brevis의 현재 인프라는 PancakeSwap, Uniswap, Euler, Linea, MetaMask를 포함한 프로토콜을 포함하여 98,000명의 사용자를 위해 1억 2,400만 개 이상의 증명을 생성하여 2억 2,400만 달러의 신뢰할 수 없는 보상 분배를 촉진했습니다. 이러한 배포는 증명 작업의 다양성과 단일 벤더 아키텍처가 이러한 요구를 효과적으로 충족하는 데 얼마나 어려움을 겪는지를 여실히 보여줍니다.
PancakeSwap의 VIP 요금 할인 시스템은 각 거래 전에 개별 거래자의 적격성을 확인하기 위해 1초 미만의 증명을 생성해야 합니다. Euler의 인센티브 분배는 4시간마다 10만 개의 주소를 처리하며, 지연 시간보다 처리량을 우선시합니다. Linea의 생태계 활동은 61,902개의 주소가 포함된 다중 프로토콜 보상 계산을 위해 1,210만 개의 증명을 생성했습니다.
PancakeSwap의 VIP 요금 할인 시스템은 각 거래 전에 개별 거래자의 적격성을 확인하기 위해 1초 미만의 증명을 생성해야 합니다. Euler의 인센티브 분배는 4시간마다 100,000개의 주소를 처리하며 지연 시간보다 처리량을 우선시합니다.
Linea의 생태계 활동은 61,902개 주소가 관련된 다중 프로토콜 보상 계산을 위해 1,210만 개의 증명을 생성했습니다.
Brevis의 현재 인프라는 PancakeSwap, Uniswap, Euler, Linea 및 MetaMask를 포함한 프로토콜을 포함하여 98,000명의 사용자를 위해 1억 2,400만 개 이상의 증명을 생성하여 2억 2,400만 달러의 신뢰할 수 없는 보상 분배를 촉진했습니다.
Brevis의 현재 인프라는 PancakeSwap, Uniswap, Euler, Linea 및 MetaMask를 포함한 프로토콜을 포함하여 98,000명의 사용자를 위해 1억 2,400만 개 이상의 증명을 생성하여 신뢰할 수 없는 보상 분배를 촉진했습니다.
Brevis의 각 워크로드에는 서로 다른 하드웨어가 필요합니다. 구성, 증명 시스템(SNARK 및 STARK), 성능 특성. Brevis의 CEO이자 공동 창립자인 Michael은 "현재 증명 시스템은 특정 롤업, 단일 가상 머신 또는 동종 작업 유형과 같은 특정 사용 사례에 최적화되어 있습니다. ProverNet은 애플리케이션이 근본적으로 서로 다른 증명 방법을 필요로 한다는 관찰에서 탄생했습니다. 전문 증명자들이 경쟁하는 시장은 모든 사용 사례를 처리하려는 단일 운영자보다 효율적입니다."라고 말했습니다. 시장 아키텍처 및 TODA 메커니즘 ProverNet의 아키텍처는 경매에서 다양한 증명 유형을 서로 다른 상품으로 취급합니다. 애플리케이션은 처리 유형(zkVM 실행, 데이터 증명, 재귀적 집계), 마감일, 최대 비용 및 품질 매개 변수를 포함한 증명 요구 사항을 지정합니다. TODA 메커니즘은 각 라운드에서 최적의 할당을 계산하여 이기종 요청을 적합한 증명 기능과 일치시킵니다.이 메커니즘은 증명 생성 시장의 고유한 과제를 해결합니다. 기존 경매 메커니즘은 동질적인 재화를 가정하는 반면, TODA는 여러 증명 유형을 동시에 처리할 수 있습니다. 복잡한 증명 작업은 하위 작업으로 세분화되어 여러 증명자가 공동으로 실행합니다. 예를 들어, zkVM 증명은 한 증명자에서 블록을 생성하고, 다른 증명자에서 압축하고, 세 번째 증명자에서 집계한 후, 마지막으로 네 번째 전용 시스템에서 최종 검증을 위해 캡슐화하는 과정을 포함할 수 있습니다. TODA는 다음과 같은 여러 경제적 속성을 보장합니다. 진위성(최적의 전략은 정직한 입찰), 예산 균형(수수료가 지불액을 초과), 개별 합리성(어떤 참여자도 수익성이 없는 작업을 수락하지 않음), 점근적 최적성(증명자 공급이 증가함에 따라 할당이 최대 효율에 접근). 이 시장은 경매 조정을 위해 특별히 설계된 전용 롤업 아키텍처인 브레비스 체인(Brevis Chain)에서 운영됩니다. 이 아키텍처는 투명성과 허가 없는 참여를 유지하면서도 레이어 1 또는 레이어 2 네트워크 혼잡으로부터 시장 처리량을 격리합니다. ProverNet을 통해 생성된 증명은 모든 대상 블록체인에서 검증할 수 있습니다. Pico zkVM 및 실시간 증명 ProverNet은 Brevis의 기존 증명 인프라를 기반으로 구축되었으며, 이 인프라는 서로 다른 컴퓨팅 요구 사항을 충족하는 두 가지 상호 보완적인 솔루션으로 구성됩니다. Pico zkVM은 "범용 코어 + 고성능 보조 프로세서" 아키텍처를 채택하여, 하나의 미니멀하고 고효율적인 코어가 전용 암호화 가속기에 연결되어 프로그램이 안정적인 가상 머신을 실행하면서 하드웨어 최적화를 달성할 수 있도록 합니다. Pico Prism은 최근 4,500만 가스 한도로 이더리움 블록에 대해 99.6%의 증명 커버리지를 달성하여 12초 이내에 96.8%의 증명을 완료했으며, 평균 증명 시간은 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/)에 게시되었습니다.
BlockBeats 공식 커뮤니티에 참여하세요:
Telegram 구독 그룹:https://t.me/theblockbeats
Telegram 토론 그룹:https://t.me/BlockBeats_App
Twitter 공식 계정:https://twitter.com/BlockBeatsAsia