2.88억 증명 실현: Brevis가 '검증 가능한 컴퓨팅'을 폭발 직전으로 밀어붙이다
작성: TechFlow
비탈릭의 위치에 서면, 일거수일투족이 모두 주목의 대상이 된다.
그가 소셜 미디어에서 어떤 프로젝트를 언급하면, 사람들은 그 배후 동기를 추측하지만, 만약 그가 어떤 프로젝트를 여러 번 리트윗하거나 댓글을 달고, 심지어 '흥분된다'고 표현한다면, 그건 더 이상 추측할 필요 없이 장기적인 관심과 높은 인정을 의미한다.
아마 여러분은 이미 이 프로젝트를 알고 있을 것이다: ZK 스마트 검증 가능 컴퓨팅 플랫폼 Brevis.
2025년 10월, Brevis는 소비자용 하드웨어에서 이더리움 실시간 증명을 구현한 zkVM Pico Prism을 출시한다고 발표했고, 비탈릭 부테린, 이더리움 공식 트위터, 이더리움 OG 연구원 등 이더리움 핵심 서클의 리트윗과 지지를 받으며, 공식적으로 미래 이더리움 확장의 핵심 무대에 올랐다.
이더리움 생태계가 Brevis의 일련의 기술적 이정표 덕분에 2026년 100배 확장을 실현할 수 있을 것이라 기뻐하는 동안, Brevis는 Usual, PancakeSwap, Aster, Euler, Linea, Uniswap 등 일련의 중요한 생태계 협력을 통해 강력하게 다음과 같은 메시지를 전달했다:
만물의 무한 컴퓨팅 레이어로서, Brevis는 단지 이더리움만을 위해 구축된 것이 아니라, 멀티체인 생태계의 다양한 프로덕션급 애플리케이션 시나리오에서 강력한 실현 능력을 가지고 있다.
10월 공개 인터뷰에서, Brevis 공동 창립자 겸 CEO 마이클은 다음과 같이 말했다:
우리는 10년 후 EVM과 관련된 계산의 99%가 오프체인에서 발생하고 Brevis를 통해 검증 가능한 계산이 이루어지길 바란다.
이더리움 확장의 미래부터 프로덕션급 시나리오에서 이미 탄생한 2억 8800만 개의 증명까지, Brevis가 일으킨 파도는 이더리움의 미래를 몇 년이나 앞당길 것인가? 또 프로덕션급 시나리오에서 ZK 검증 가능 컴퓨팅의 경계를 얼마나 멀리 밀어낼 것인가?
시장은 침체됐지만, Brevis는 절대적으로 뜨겁다
이는 어떤 각도에서 보나 빛나는 스타의 후광을 가진 프로젝트다.
2023년, ZK 내러티브가 냉각기에 접어들었을 때, UIUC, MIT, Berkeley, Princeton 등 명문대를 졸업하고 '대규모 계산을 검증 가능하게 만들겠다'는 비전을 품은 컴퓨터 박사, 크립토 OG들이 팀을 이루어 이 분야에 진입했고, Brevis가 탄생했다.
핵심 멤버들의 깊은 학문적 배경은 Brevis가 기술 구현 측면에서 엄격한 스타일을 갖추게 했고, Brevis가 기술적 중대한 돌파구로 인해 자주 출세하게 만들었다. 방금 언급한 소비자용 하드웨어에서 이더리움 실시간 증명을 구현해 비탈릭 부테린, 이더리움 공식 트위터, 이더리움 OG 연구원 저스틴 드레이크 등 핵심 멤버들이 총출동한 진형은 아직도 커뮤니티에서 회자되고 있다.
비탈릭 부테린은 리트윗하며 이렇게 말했다: 이는 ZK-EVM 검증 속도와 다양성 측면에서 중요한 한 걸음이다.
이더리움 공식 트위터는 리트윗하며 이렇게 썼다: 이는 이더리움 미래를 향한 큰 걸음이다.
이더리움 OG 연구원 저스틴 드레이크는 zkVM Pico Prism을 소개하는 장문의 글을 작성하며 말했다: 이더리움의 미래는 밝다.
'학문'은 한때 ZK의 가장 두드러진 라벨 중 하나였고, ZK가 오랫동안 개념 단계에 머물며 제대로 실현되지 못한다는 의혹 속에서, '학문'은 ZK에게 어떤 때는 일종의 암묵적인 비판이 되기도 했다.
실용적인 학문파로서, Brevis 핵심 팀 멤버들도 물론 이 점을 주목했고, 기술적 엄격함을 추구하면서도 항상 수요가 제품을 이끌도록 고집했다. ZK는 목적이 아니라 수단이다.
이런 이념은 Brevis가 일찍이 실험실에서 실제 애플리케이션으로 나아가게 했다:
공식 웹사이트 생태계 페이지에 따르면, Brevis는 이미 수십 개의 프로젝트와 협력 관계를 구축했고, DeFi, 인프라, 스테이블코인 등 트랙을 아우르며, 그중에서 우리는 PancakeSwap, Metamask, Linea, Uniswap, Aster 등 유명 프로젝트들의 모습을 쉽게 발견할 수 있다. 현재, Brevis는 2억 8800만 개 이상의 ZK 증명을 생성했고, 사용자는 20만 명을 넘어섰으며, 2억 3000만 달러의 검증 가능한 보상 계산을 분배했고, Brevis가 구동하는 TVL은 254억 달러를 초과한다.
자본 시장도 일찍이 Brevis에 신뢰의 한 표를 던졌다:
2024년 9월, Brevis는 750만 달러의 자금 조달을 완료했고, Polychain Capital과 Yzi Labs가 공동 주도 투자에 참여했으며, IOSG Ventures, Nomad Capital, Bankless Ventures, Hashkey 및 몇 명의 미공개 엔젤 투자자들이 공동 투자에 참여했다.
그러므로, Brevis가 뜨겁다고 말하는 것은 사실 과장이 섞이지 않았다.
하지만 한 프로젝트의 진정한 무게는 단지 얼마나 많은 인정을 받았는지에 있지 않고, 근본적으로 어떻게 현실 세계에 진정한 변화를 가져오는지에 있다. Brevis가 스타 프로젝트가 된 것은 그 솔루션의 기술적 실현 가능성과 대규모 실현 능력과 떼려야 뗄 수 없다.
'만물 무한 컴퓨팅 레이어' 내러티브 뒤로 들어가기: Brevis는 어떻게 실현하는가?
Brevis의 핵심을 한 문장으로 요약하면: 오프체인 계산, 온체인 검증.
제로지식(ZK) 검증 가능 컴퓨팅에 초점을 맞춘 인프라 플랫폼으로서, Brevis는 비싸고 제한된 온체인 계산을 효율적인 오프체인 환경으로 옮겨 실행하고, ZK 증명을 통해 결과를 안전하게 온체인으로 가져온다. 가스 비용 급등을 걱정할 필요 없고, 동시에 보안 및 신뢰 문제도 걱정할 필요 없다.
'만물 무한 컴퓨팅 레이어' 비전을 중심으로, Brevis 생태계는 세 가지 주요 제품 구성 요소를 가지고 있다: Pico zkVM, ZK Data Coprocessor, ProverNet.
Pico zkVM은 Brevis의 '무한 컴퓨팅 레이어' 비전의 엔진으로 볼 수 있다. 이는 안전하고 확장 가능하며 고성능의 탈중앙화 애플리케이션 구축을 위해 설계되었고, 다른 zkVM에 비해 일련의 핵심 장점을 가지고 있다:
첫째, Pico zkVM은 유연하고 진입 장벽이 낮다. 모듈화 설계는 개발자가 블록 쌓기처럼 기능을 커스터마이징할 수 있게 하며, 개발자가 Rust로 임의의 프로그램을 작성할 수 있도록 지원하면서 RISC-V와 호환된다. 복잡한 회로 언어를 배울 필요도 없고, 수동으로 재귀를 최적화할 필요도 없다. 개발자는 몇 줄의 설정만 변경하면 자신의 애플리케이션에 맞게 성능, 비용, 보안성을 최적화할 수 있다.
더 중요한 것은, Pico zkVM이 더 빠르고, 어떤 계산도 증명할 수 있다는 점이다. 이는 근본적으로 ZK 대규모 실현의 난제를 해결했다: 2025년 출시된 Pico Prism 멀티 GPU 버전은 소비자용 하드웨어에서 99.6%의 이더리움 메인넷 블록 실시간 증명 커버리지를 실현했고, 이로써 Brevis는 세계에서 가장 빠른 zkVM이 되었다. 2위 SP1 Hypercube 솔루션에 비해 Pico Prism은 32배 빠르고, 동시에 GPU 하드웨어 비용을 50% 낮췄으며, 더 낮은 비용과 더 높은 효율로 증명 생성을 지원한다.
또한, 다른 핵심 기능인 ZK Data Coprocessor와의 협업을 통해, Pico zkVM은 과거 체인 상 데이터 처리 측면에서 성능이 폭발적으로 증가할 것이고, 이는 Pico zkVM을 더 실용적이고 프로덕션 환경에서 대규모 채용을 실현할 수 있게 만든다.
ZK Data Coprocessor(ZK 데이터 코프로세서)는 Brevis의 가장 성숙하고 실현이 가장 광범위한 제품이라 할 수 있다. 그 핵심 역할은: 스마트 계약이 신뢰 없이, 저비용으로 임의의 과거 체인 상 데이터에 접근하고 계산할 수 있게 하는 것이다. 마치 계약에 '무한 과거 데이터베이스'를 장착한 것과 같다.
이전에는, 계약이 과거 데이터를 읽고 싶으면 일반적으로 두 가지 선택지가 있었다: 하나는 스스로 천천히 조회하는 것이지만, 가스 비용이 말도 안 되게 비쌌다; 다른 하나는 중앙화된 오라클을 통하는 것이지만, 신뢰와 보안 위험이 존재했다.
그러나 ZK Data Coprocessor는 세 번째 선택지를 제시했다: 거의 모든 과거 체인 상 정보에 접근할 수 있을 뿐만 아니라, 사용 장벽이 매우 낮아, 개발자는 ZK 회로를 알 필요 없이 데이터를 호출할 수 있고, Brevis 백엔드가 자동으로 체인 상에서 실제 과거 데이터를 가져와 효율적으로 ZK 증명을 생성하고 검증한다. 전체 과정의 가스 비용은 극히 낮고, 완전히 신뢰가 필요 없다.
마지막 핵심 제품 모듈은 ProverNet이다: 이는 탈중앙화된 ZK 증명 생성 시장으로, 어떤 애플리케이션이든 증명 수요를 제출할 수 있고, 어떤 전문 증명자든 입찰하여 작업을 완료할 수 있다.
우리는 알고 있다, 다른 프로젝트, 다른 시나리오에서 증명에 대한 수요도 천차만별이다. 만약 각 애플리케이션이 스스로 증명 인프라를 구축한다면, 비용이 높을 뿐만 아니라 효율도 낮다.
ProverNet은 증명 생성이라는 일을 공개 시장에 넣는 데 주력한다: 애플리케이션이 수요를 제시하고, 전문 증명자가 가격을 제시하고 수요에 응답하며, 복잡한 작업은 하위 작업으로 분해되어 다른 증명자들이 협력하여 완료한다. 증명이 생성된 후, 어떤 대상 체인으로든 검증될 수 있다.
작업은 Brevis의 Truthful Online Double Auction(TODA, 진실 온라인 이중 경매)을 통해 매칭되고 중개되며, 동시에 ProverNet은 Brevis가 출시한 전용 롤업 Brevis Chain 위에서 운영되어 효율성을 더욱 보장한다. 현재, ProverNet은 Mainnet Beta 버전이 출시되었다.
이 세 가지 주요 제품 구성 요소는 층층이 중첩된다: ZK Data Coprocessor는 '데이터 가져오기'를 담당하고, Pico zkVM은 '증명의 안전하고 효율적인 생성' 문제를 해결하며, ProverNet은 시장을 통해 누가 증명할지 그리고 어떻게 증명하는 것이 최적인지 결정함으로써, 완전한 '무한 검증 가능 컴퓨팅' 폐쇄 루프를 형성한다.
이렇게 기술만 이야기하면, 많은 초보자들에게는 여전히 약간 추상적일 수 있다.
다행히 Brevis는 매우 풍부한 애플리케이션 시나리오를 가지고 있어, 사용자가 생생하고 구체적인 사례에서 빠르게 Brevis의 핵심 장점과 '만물 무한 컴퓨팅 레이어' 실현의 핵심 가치를 이해할 수 있도록 도와준다.
이더리움 확장부터 2억 8800만 개의 증명까지: 진정한 규모화된 실현
Brevis 사용 시나리오에 대한 논의 중 가장 많은 것은 아마도 이더리움 확장일 것이다.
2025년 7월, 이더리움 재단은 《Shipping an L1 zkEVM #1: Realtime Proving》一文을 발표하며, 공식적으로 L1 zkEVM 확장 로드맵을 확인했다: 한 노드가 하나의 블록에 대한 ZK 증명을 생성하고, 이 증명은 전체 네트워크의 수백만 노드에 의해 검증될 수 있으며, 검증에 필요한 계산 능력은 블록 계산 자체의 만 분의 일, 심지어 그 이하이다.
이는 Brevis의 기술 방향과 높은 부합을 보이며, Brevis zkVM Pico Prism의 출시로 인해 완전히 불붙었다.
2025년 10월 15일, Brevis는 출시한 zkVM Pico Prism이 소비자용 하드웨어에서 이더리움 실시간 증명을 실현했다고 발표했다: 64개의 RTX 5090 그래픽 카드를 사용하여, 12초 내에 99.6%의 이더리움 L1 블록 증명을 완료했고, 그중 96.8%의 블록 증명 시간은 이더리움 재단이 설정한 10초 내 기준보다 낮았다. 2025년 9월 1일 테스트에서, 이더리움 현재 45M의 가스 제한 상황에서, Pico Prism 평균 증명 시간은 단 6.9초였다.
이는 이론적으로, zkVM Pico Prism을 통해 이더리움은 즉시 10배乃至 100배 확장을 실현할 수 있음을 의미하며, 또한 Pico zkVM이 멀티 GPU 병렬 계산을 지원하기 때문에, Brevis는 심지어 대량의 추가 계산 자원을 증가시키지 않고도 진정한 의미의 무한 확장을 실현할 수 있다.
2025년 11월 ETH Devconnect 컨퍼런스에서, 이더리움 OG 연구원 저스틴 드레이크는 현장 데모를 통해 Brevis의 Pico ZKVM이 새로운 합의 알고리즘을 완성하는 것을 시연했고, 얼마 지나지 않아 비탈릭도 이 방향을 중심으로 이더리움 미래가 추진할 수 있는 개선 사항에 대해 트윗을 공유했다. Brevis Pico ZKVM의 돌파적 진전은 이더리움 L1 zkEVM 확장 로드맵을 계획에서 진정으로 실현 가능한 미래로 만들었다.
Brevis가 이더리움 실시간 증명을 실현한 것이 화면을 도배하며 뜨거운 논의를 불러일으켰지만, Brevis의 가치는 단지 이더리움에만 있는 것이 아니다.
이론적으로, Brevis의 '오프체인 계산, 온체인 검증' 이 논리는 어떤 시나리오에도 적용 가능하며, Brevis의 기술 스택은 멀티체인을 지원하고, '만물 무한 컴퓨팅' 실현을 추구한다. 이는 또한 Brevis 기술 외의 또 다른 핵심 장점이다: 실제 시나리오에서의 대규모 실현.
만약 여러분이 암호화폐 세계의 활발한 참여자라면, 여러분은 이미 무의식 중에 Brevis 서비스를 경험했을 가능성이 크다.
지난 한 해 동안, Brevis는 수십 개의 주요 프로토콜과 깊은 협력 관계를 구축했고, 협력 파트너는 거의 DeFi, 스테이블코인, DEX, L2 생태계 주요 프로젝트를 아우르며, 업계의 Brevis에 대한 인정을 더욱 드러냈다. 그리고 각 협력은 표면적인 '개념적 통합'이 아니라 진정으로 프로덕션 환경에서 대규모로 응용되어, 검증 가능한 컴퓨팅의 다중 시나리오에서의 거대한 가치를 보여주었다.
Brevis와 PancakeSwap의 협력은 가장 전형적인 사례 중 하나다: 전통적인 DEX는 저비용으로 과거 데이터에 접근할 수 없어, 개인화된 경험 구현이 어려웠다. 그러나 Brevis와의 협력을 통해, 복잡한 논리가 오프체인에서 실행되고 온체인에서 검증된 후, 사용자에게 거래량 증명을 생성하고, 스마트 계약이 증명에 따라 다른 수수료율을 실행하여, 더 정교한 사용자 경험 관리를 가져와 PancakeSwap이 통일 수수료 DEX에서 사용자 행동에 지능적으로 반응하는 플랫폼으로 진화하게 했다.
또한, Brevis와 Usual의 협력으로 공동 창시한 CPI 지속 프로토콜 인센티브 모델은 많은 사람들에게 전통적인 에어드랍과 스냅샷 인센티브를 대체하는 새로운 패러다임으로 간주된다: Brevis ZK Coprocessor는 사용자의 Usual 생태계 내 실제 행동을 지속적으로 추적함으로써 진정으로 기여한 참여자를 식별한다. 같은 일이 Euler과 Linea 등 생태계에서도 벌어지고 있으며, ZK 증명을 통해 복잡한 인센티브 분배 모델을 구축함으로써 인센티브 분배의 공정성, 합리성, 안전성 및 투명성을 보장한다.
또한, 2025년 10월 24일, Uniswap 재단은 공식적으로 Brevis에 최고 900만 달러의 보조금을 수여한다고 발표했고, 이는 Hooks Routing Rebate Program의 개발과 운영에 사용되며, 이 프로그램은 Brevis ZK 증명의 고효율, 저비용, 신뢰 불필요 등의 장점을 활용하여 DEX 애그리게이터 제품이 v4 hooked pools를 더 빠르게 통합하도록 장려하고, 궁극적으로 유동성, 슬리피지, 거래 수수료 등 측면에서 사용자에게 혜택을 주는 것을 목표로 한다.
최근, Brevis는 또한 멀티체인 DEX Aster와 협력을 체결했다고 발표했고, 이는 검증 가능한 컴퓨팅 기술을 통해 퍼페추얼 DEX의 속도, 안전성 및 프라이버시를 최적화하는 것을 목표로 한다. Brevis는 체인 상 복잡 계산을 체인 하로 이전하고 제로지식 증명을 생성하여 체인 상 검증 비용을 낮출 수 있으며, 양측은 시장 투명도를 보장하면서 사용자 포지션 프라이버시를 보호하는 가능한 방안을 탐색할 것이다.
이전에 '너무 비싸고, 너무 느려서' 할 수 없었던 이러한 기능들이, 이제 Brevis를 통해 하나씩 실현되어 더 높은 거래 효율, 더 공정한 가치 분배 및 더 우수한 사용자 경험을 가져오고 있다.
미래에, 더 많은 생태계 협력의 전개와 ProverNet 시장 메커니즘의 성숙에 따라, Brevis의 검증 가능한 컴퓨팅 가치는 더 광범위하고 풍부한 시나리오에서 더 깊이 침투할 것이다.
검증 가능한 컴퓨팅이 진정으로 차세대 체인 상 애플리케이션의 기본 구성이 되도록
암호화폐 시장이 현재 다소 지루한 주기 속에서, 주의력은 더 정직해졌다: 지속적으로 실현되지 않는 것은 반복적으로 언급되기 어렵다.
Brevis의 '뜨거움'은 단지 명문대 출신 이력, 자금 조달 명단 또는 V 신의 리트윗 트윗에서만 오는 것이 아니라, 그것이 더 단단한 합의를 밟았기 때문이다: 검증 가능한 컴퓨팅이 진정으로 차세대 체인 상 애플리케이션의 기본 구성이 되도록 하고, 풍부한 실현 시나리오를 통해 검증 가능한 컴퓨팅 미래의 도래를 가속화하는 것.
그리고 바로 Brevis가 실제 시나리오 실현에서 창조한 2억 8800만 개의 증명이 있기에, 우리는 더욱 선명하게 감지할 수 있다: 여러 해의 모색을 거쳐, ZK 검증 가능한 컴퓨팅은 진정으로 전면 폭발의 전야에 있다.
물론, 진정으로 폭발로 나아가기 전에, Brevis의 미래는 여전히 많은 불확실한 요소에 직면해 있다. 예를 들어, 현재의 Pico Prism은 여전히 최적화의 여지가 있고, Brevis는 다음 단계로 증명 비용 절감에 집중할 계획이며, 앞으로 몇 달 안에 16개 미만의 RTX 5090 GPU를 사용하여 99%의 실시간 증명을 실현할 계획이다. 또한 Brevis 생태계의 경제적 순환은 아직 진정으로 시작되지 않았다.
미래에, 기술적 돌파, 경제 모듈 보완 및 일련의 이정표 달성에 따라, Brevis는 시험을 하나씩 증명 가치의 기회로 전환할 수 있을까? 더 광범위한 멀티체인 시나리오에서 지속적으로 '검증 가능한 결과'를 출력할 수 있을까?
검증 가능한 컴퓨팅 미래의 흐름 속에 서서, 우리는 기대를 품는다.
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
深潮TechFlow
