소비자용 하드웨어에서 64개의 GPU가 12초 만에 L1 블록 증명의 99.6%를 완료했습니다. Brevis의 다중 GPU 제로 지식 가상 머신(zkVM)인 Pico Prism은 상당한 성능 혁신을 달성했습니다.
이러한 획기적인 성과는 이더리움 코어 커뮤니티의 큰 관심을 끌었습니다. 이더리움 창립자 비탈릭 부테린은 "Brevis의 Pico Prism이 공식적으로 ZK-EVM 검증 분야에 진출하게 되어 기쁩니다. 이는 ZK-EVM 증명 속도와 다재다능함 측면에서 중요한 진전입니다."라고 말했습니다. Brevis의 공동 창립자이자 CEO인 마이클은 "데이터가 모든 것을 말해줍니다."라고 말했습니다. "소비자용 하드웨어를 사용하여 이더리움의 실시간 블록 생성을 처리할 수 있는 인프라를 구축했습니다. 이러한 성능은 이더리움의 탈중앙화 목표에 완벽하게 부합합니다." 브레비스(Brevis)의 공동 창립자 겸 CEO인 마이클은 UIUC 컴퓨터 과학 박사 학위를 소지하고 분산 시스템 및 고성능 네트워킹 분야 전문가로, 수많은 실리콘 밸리 스타트업에서 성공적으로 투자금을 회수했으며, 그의 연구는 구글을 비롯한 여러 기술 기업에서 채택되었습니다. 2018년에는 셀러 네트워크(Celer Network, 최고 가치 20억 달러 이상)를 설립했습니다. 현재 그는 브레비스 팀을 이끌고 영지식 증명과 검증 가능한 계산을 결합하여 이더리움 생태계의 대규모 컴퓨팅 요구를 진정으로 지원할 수 있는 인프라를 구축하고자 합니다.
브레비스가 이러한 획기적인 성과를 어떻게 달성했는지, 그리고 이더리움 생태계에 어떤 의미를 갖는지 더 잘 이해하기 위해 BlockBeats는 브레비스의 공동 창립자 겸 CEO인 마이클과 심도 있는 대화를 나누었습니다.
우리는 세 가지 핵심 질문에 대해 논의했습니다.
· Brevis의 사명과 포지셔닝
· 검증 가능한 컴퓨팅이 애플리케이션에 어떤 실질적인 가치를 가져올 수 있는가
· Ethereum 생태계와 긴밀히 연계되는 과정에서 Brevis의 다음 단계
이것은 기술에 대한 대화일 뿐만 아니라 컴퓨팅 신뢰의 미래에 대한 미래 지향적인 성찰이기도 합니다.
BlockBeats: 먼저 Brevis가 어떤 종류의 프로젝트인지, 그리고 어떤 문제를 해결하고자 하는지 간단히 설명해 주시겠습니까?
Michael: 저희는 Brevis를 무한 컴퓨팅 계층으로 포지셔닝하여 Web3와 더 광범위한 애플리케이션 시나리오를 모두 지원합니다. 저희의 핵심 목표는 분산화와 보안을 유지하면서 온체인 애플리케이션에 거의 무한한 컴퓨팅 파워를 제공하는 것입니다. 이를 통해 고성능/복잡한 기능과 신뢰 최소화 간의 오랜 구조적 갈등을 해결하는 것입니다. 최근 레이어 2 확장을 통해 처리량이 크게 증가했지만, 대규모 과거 데이터 처리, 크로스체인 집계, 알고리즘/AI 추론과 같은 복잡한 연산은 여전히 제한적이어서 여러 고급 기능 구현에 어려움을 겪고 있습니다. Brevis의 솔루션은 오프체인 연산과 온체인 검증입니다. 복잡한 연산은 오프체인에서 수행되고 영지식 증명(ZK 증명)이 생성됩니다. 온체인 컨트랙트는 최소한의 비용으로 증명의 정확성만 검증하면 되므로 전체 연산을 다시 실행할 필요가 없습니다. 이를 통해 컨트랙트에 암호화된 플러그인을 제공하여 분산화나 보안을 희생하지 않고도 사용 가능한 컴퓨팅 파워와 기능의 경계를 크게 확장할 수 있습니다. 현재 스마트 계약은 그다지 스마트하지 않습니다. Brevis를 사용하면 진정한 지능을 구현할 수 있습니다.BlockBeats: Brevis는 Web3의 무한 컴퓨팅 계층이라고 합니다. 이 개념은 어떻게 탄생했을까요? 온체인 컴퓨팅이나 확장성에 대한 기존의 이해와 근본적으로 어떻게 다릅니까?
Michael: Brevis를 Web3의 무한 컴퓨팅 계층이라고 부르는 이유는 블록체인의 연산 한계를 깨는 것이 목표이기 때문입니다. 기존 확장 솔루션(예: Layer 2 Rollup)은 주로 거래 처리량을 수십 TPS에서 수백 또는 수천 TPS로 증가시키지만, 여전히 한계가 있으며, 임의로 복잡한 계산을 온체인에서 완료할 수 있는지 여부에 대한 문제는 해결하지 못합니다. 온체인은 일반적으로 비교적 간단한 거래와 계약 작업만 처리할 수 있습니다. 연산 복잡성이 증가하면 대규모 데이터 처리, AI 추론 또는 복잡한 알고리즘과 같은 작업을 온체인에서 모델링하고 호스팅하기가 어려워집니다. 브레비스의 출발점은 다릅니다. 단순히 특정 유형의 거래를 더 빠르게 만드는 것이 아니라, 블록체인이 보안과 신뢰성을 유지하면서 모든 계산 결과를 수용하고 전달할 수 있도록 하는 것을 목표로 합니다. 이는 검증 가능한 컴퓨팅의 새로운 패러다임에 부합합니다. 오프체인 계산이 영지식 수학적 증명을 생성할 수 있다면, 그 정확성과 보안성은 매우 낮은 비용으로 온체인에서 검증될 수 있습니다.개발자에게 Brevis는 검증 가능한 계산 클라우드와 같습니다. 클라우드 컴퓨팅과 마찬가지로, 필요에 따라 컴퓨팅 성능을 확장하고, 복잡한 계산을 오프체인으로 수행하며, 온체인 검증을 위한 증명을 제출하는 동시에 기본 온체인 계약과 동일한 보안 및 신뢰 모델을 유지합니다. 따라서 Brevis는 블록체인 자체와 동일한 신뢰 및 보안을 유지하면서 성능과 가용성 측면에서 거의 무제한적인 계산 공간을 제공하는 무한 계산 계층으로 정의됩니다. BlockBeats: 방금 논의한 검증 가능한 계산이라는 개념은 매우 추상적으로 들립니다. Brevis에서 검증 가능한 계산의 역할을 더 직관적으로 설명해 주시겠습니까? Michael: 블록체인의 근본적인 한계는 보안과 신뢰성을 보장하는 동시에 제한된 계산 용량만 확보할 수 있다는 것입니다. 이더리움과 같은 퍼블릭 체인은 합의 시스템으로, 네트워크의 여러 노드가 동일한 트랜잭션이나 계약에 대해 독립적으로 계산을 수행하고 합의에 도달한 후에야 새로운 블록을 생성합니다. 이러한 메커니즘은 안전하지만 비효율적입니다. 마치 전체 클래스가 답을 확인하기 위해 같은 문제를 처음부터 풀어야 하는 상황과 유사합니다. 검증 가능한 계산의 기본 개념은 계산과 검증을 분리하여 중복 작업을 줄이는 것입니다. 닭과 토끼 동거 문제를 예로 들어 보겠습니다. 이 문제를 해결하려면 방정식을 세우고 유도 과정을 거쳐야 하지만, 주어진 답의 정확성을 검증하려면 방정식에 값을 다시 대입하기만 하면 되므로 문제를 해결하는 것보다 훨씬 비용이 적게 듭니다. 컴퓨터 이론에서 계산 자체와 결과 검증은 본질적으로 별개의 문제이며, 후자가 일반적으로 더 가볍습니다. 영지식 증명은 1+1=2와 같은 간단한 계산부터 대규모 모델에 대한 추론까지 모든 계산에 이를 일반화합니다. 계산이 완료되면 간결한 증명을 생성할 수 있으므로 다른 사람들이 계산 세부 정보를 공개하지 않고도 최소한의 비용으로 결과를 빠르고 쉽게 검증할 수 있습니다. Brevis에서는 무거운 계산 작업을 오프체인에서 수행하여 ZK 증명을 생성하는 반면, 증명의 온체인 검증을 통해 전체 계산을 다시 실행할 필요가 없습니다. 이것이 검증 가능한 계산의 핵심 가치입니다. 계산과 검증을 완전히 분리함으로써, 우리는 같은 목표를 수없이 계산하는 데 드는 오버헤드를 크게 줄입니다.
Rhythm BlockBeats: 기술적인 측면에서 Brevis는 두 가지 핵심 모듈, 즉 ZK 데이터 보조 프로세서(이하 zkCoprocessor)와 Pico zkVM으로 구성됩니다. 이 두 모듈은 어떤 관계를 가지고 있으며, 어떤 문제를 해결합니까?Michael:
Brevis는 계층 구조로 이해할 수 있습니다. 기반 Pico zkVM은 임의의 계산을 실행하고 zk 증명을 생성할 수 있는 범용 계산 엔진(가상 머신)입니다. Brevis의 주요 특징은 높은 모듈성으로, 여러 보조 프로세서에 연결할 수 있다는 것입니다. zkCoprocessor는 블록체인 데이터 시나리오를 위한 보조 프로세서로, 플러그인 또는 외부 플러그인이라고 생각할 수 있습니다. 현재 형태의 zkCoprocessor는 zkVM의 메모리 시스템과 유사하며, 스마트 계약이 체인의 과거 이벤트(예: 사용자 거래, 잔액, 위치 등)를 보고 이해할 수 있도록 합니다.더 구체적으로, zkVM은 임의 계산을 검증 가능하게 만드는 일반적인 문제를 해결하는 반면, zkCoprocessor는 블록체인 애플리케이션에 최적화된 애플리케이션 계층 보조 프로세서입니다. 스마트 컨트랙트는 본질적으로 "현재에 존재"하기 때문에 현재 블록의 제한된 맥락에만 접근할 수 있으며 장기적인 과거 또는 크로스체인 상태를 직접 읽거나 계산할 수 없습니다. zkCoprocessor는 영지식 증명을 사용하여 "컨트랙트에 눈을 부여"하고, 오프체인에서 관련 과거 데이터를 검색 및 집계하여 이 데이터가 진위이며 온체인 상태에서 파생되었음을 증명합니다. 이를 통해 컨트랙트는 신뢰도를 최소화하면서 메모리 및 메모리 기반 인텔리전스를 보유할 수 있습니다. BlockBeats: zkCoprocessor는 스마트 컨트랙트가 "과거를 볼 수 있도록" 하는데, 이는 매우 획기적인 것으로 들립니다. 이것이 어떻게 구현되는지 자세히 설명해 주시겠습니까? Michael: PancakeSwap의 과거 거래량 기반 동적 수수료 할인을 예로 들어 보겠습니다. 먼저, zkCoprocessor는 블록체인에서 사용자의 과거 거래 기록을 읽고, 규칙(예: 지난 30일)에 따라 거래량을 집계한 후, 이에 대한 영지식 증명을 생성합니다. 그런 다음, 확인된 기록을 수신한 Pico zkVM은 추가 집계 및 계산(예: 여러 거래 쌍의 거래량을 단일 지표로 통합)을 수행하여 계산 프로세스에 대한 증명을 생성합니다. 마지막으로, 결과와 증명은 체인에 제출됩니다. 컨트랙트는 증명의 두 부분의 정확성을 동시에 검증하여 주소가 VIP 임계값에 도달했는지 확인하고 다음 결제 주기에 수수료 할인을 자동으로 적용합니다. 이 방법을 사용하면 컨트랙트가 체인에서 방대한 양의 과거 데이터를 반복적으로 읽고 계산할 필요가 없으므로, 신뢰성과 비용 관리를 유지하면서 과거를 살펴볼 수 있습니다.
Rhythm BlockBeats: 다른 zkVM 프로젝트의 솔루션을 채택하는 대신 자체적으로 Pico zkVM을 개발했습니다. 이러한 결정을 내리게 된 배경은 무엇이었습니까? Brevis를 다른 zk 프로젝트와 차별화하는 요소는 무엇입니까?
Michael: 중요한 질문입니다. 실제로 이미 시장에 수많은 zkVM 프로젝트가 있는데, Brevis는 왜 자체적으로 Pico zkVM을 처음부터 개발했을까요? 핵심 이유는 간단합니다. 기존 zkVM 대부분은 아직 실험실 단계에 있으며 대규모 실제 애플리케이션용으로 설계되지 않았다고 생각합니다. 전반적인 성능, 비용, 확장성 측면에서 볼 때 아직 상업적으로 실현 가능하기에는 거리가 멉니다.즉, 수천만 건의 호출을 지원할 수 있는 프로덕션급 시스템이라기보다는 개념 증명에 가깝습니다.
Brevis는 처음부터 매우 현실적인 수요 시나리오에 직면했습니다. PancakeSwap, Euler, Linea, Usual과 같은 주요 DeFi 프로토콜은 매일 수백만 개의 zk 증명을 생성합니다. 기반 zkVM 성능이 기대에 미치지 못하면 전체 시스템을 시작할 수 없었습니다. 이러한 상황으로 인해 저희는 프로덕션 환경에 최적화된 zk 컴퓨팅 엔진인 Pico zkVM을 재구축해야 했습니다. Pico는 세 가지 특징을 가지고 있습니다. 첫째는 극한의 성능입니다. Pico는 현재 세계에서 가장 강력한 zkVM입니다. 최신 릴리스인 Pico Prism은 이미 64,5090개의 노드에서 이더리움 메인넷 블록의 99.6%(12초 이내 완료)에 대한 실시간 증명을 완료할 수 있습니다. 블록의 96.8%가 10초 이내에 완료되어 성능이 3~4배 향상되고 하드웨어 비용은 약 50% 절감됩니다. 다시 말해, 이더리움이 지금 Pico에서 실행된다면 전반적인 검증 효율성이 10배나 향상될 수 있으며, 이는 실시간 증명 분야의 진정한 혁신입니다. 둘째, Pico는 고유한 모듈식 아키텍처를 자랑합니다. Pico는 현재 외부 보조 프로세서를 지원하는 유일한 zkVM입니다. 다른 zkVM은 일반적으로 범용 연산에 국한된 폐쇄형 구조인 반면, Pico는 특정 애플리케이션 시나리오에 맞춰 모듈을 로드할 수 있습니다. 예를 들어, 과거 데이터 액세스, 온체인 레코드 교차 검증 또는 복잡한 금융 로직 실행 시 Pico의 보조 프로세서를 플러그인처럼 연결하여 특정 작업을 가속화할 수 있습니다. 이를 통해 Pico는 다재다능함과 특화된 고성능 기능을 모두 제공하여 Web3 DeFi부터 Web2 AI 컴퓨팅까지 광범위한 애플리케이션을 유연하게 처리할 수 있습니다. 마지막으로, Pico는 개발자 친화적입니다. 개발자가 Pico를 사용하기 위해 암호화나 ZK 이론에 능숙할 필요가 없습니다. 개발자는 Rust만 알면 일반 프로그램처럼 ZK 애플리케이션을 작성할 수 있습니다. 이를 통해 진입 장벽이 상당히 낮아지고 ZK의 복잡성이 낮은 수준에서 완전히 감춰집니다. 간단히 말해, 저희는 단순한 실험적인 zkVM이 아니라 실제 환경과 실제 사용 사례를 위해 구축된 ZK 계산 엔진입니다. BlockBeats: 최근 소비자용 하드웨어에서 99.6%의 실시간 증명을 달성하는 Pico Prism을 발표하셨습니다. 이러한 성과의 이면에 있는 기술적 혁신과 zkVM의 성능 한계에 미치는 영향에 대해 설명해 주시겠습니까? Michael: 먼저 이것의 중요성을 명확히 설명하겠습니다. 성능 향상은 단순한 기술적 최적화가 아니라 이더리움 생태계의 미래 확장성과 발전에 매우 중요합니다. 이더리움의 현재 아키텍처는 각 노드가 동일한 계산을 반복적으로 수행해야 하는데, 이는 안전하고 신뢰할 수 있지만 확장성이 한계에 가까워지고 있습니다. 다음 단계는 새로운 패러다임이 필요합니다. 단일 노드가 대부분의 계산을 수행하고 ZK 증명을 생성하고, 다른 노드들은 이를 검증만 하는 것입니다. 단일 지점 계산, 다중 지점 검증 방식을 사용하면 분산화와 보안을 유지하면서도 필요한 분산 노드 규모를 유지하면서 처리량을 10배나 증가시켜 Solana 수준에 도달하거나 초과할 수도 있습니다.올해 7월, 이더리움 재단은 2년 목표를 발표했습니다. 10만 달러 미만의 소비자용 하드웨어를 사용하여 블록의 99%를 실시간으로 증명하는 것입니다. 이 목표가 달성되면 상용 하드웨어의 컴퓨팅 성능을 추가하여 거의 무한한 확장성을 구현할 수 있습니다. 그러나 지금까지는 이론적인 가능성으로 여겨졌습니다. 대부분의 zkVM 솔루션은 커버리지, 비용, 속도 측면에서 이 기준에 크게 미치지 못했고, 많은 솔루션이 실시간 커버리지 90% 달성에도 어려움을 겪었습니다. Pico Prism은 이러한 성능 장벽을 진정으로 뛰어넘은 최초의 시스템입니다. 64개의 5090 GPU(약 12만 달러)만을 사용하여 진행한 테스트에서 이더리움 블록의 99.6%를 12초 이내에 증명했고, 블록의 96.8%는 10초 이내에 완료되었으며, 평균 증명 시간은 단 6.9초에 불과했습니다. 다른 프로토콜과 비교했을 때 Pico는 70%의 성능 향상과 50%의 비용 절감 효과를 제공합니다. 다시 말해, 더 빠를 뿐만 아니라 더 저렴하기까지 합니다. 즉, 이더리움 재단이 설정한 목표에 매우 근접했다는 의미입니다. BlockBeats: 기능과 목표 측면에서 Brevis는 이더리움의 ZK 가속 계층과 더 유사합니까, 아니면 다중 체인 검증 가능 컴퓨팅 클라우드와 더 유사합니까? Michael: 기능과 목표 측면에서 이 두 가지 포지셔닝은 상충되지 않습니다. 단기적으로 Brevis는 이더리움과 레이어 2 ZK 가속 계층과 더 유사합니다. 저희는 영지식 증명을 통해 메인넷 용량을 10배에서 100배까지 확장한다는 이더리움 재단의 방향에 동의합니다. 동시에 실시간 증명 기능은 레이어 2 롤업의 상호 운용성을 크게 향상시켜 크로스 체인 거래를 더 빠르고 효율적이며 저렴하게 만들고 상태와 유동성의 통합을 더욱 강화할 것입니다. 장기적이고 광범위한 관점에서 Brevis의 포지셔닝은 이더리움에만 국한되지 않습니다. 저희 아키텍처는 본질적으로 다중 체인을 지원합니다. 현재 BNB 체인(예: PancakeSwap)과 같은 생태계 파트너들과 협력하고 있으며, 영구 계약과 같은 이더리움 외부 프로젝트에 대한 협업을 추진하고 있습니다. 또한 Arbitrum, Base, Avalanche와 같은 세컨드 레이어/멀티 체인 생태계와도 협력하고 있습니다. 전반적으로, 저희는 Brevis를 모든 블록체인 애플리케이션을 위한 검증 가능한 컴퓨팅 클라우드로 구축하고자 합니다. 저희의 목표는 향후 3~5년 내에 모든 체인에 배포된 스마트 계약이 이 컴퓨팅 서비스에 쉽게 접근할 수 있도록 하는 것입니다. 장기적으로는 대부분의 블록체인 애플리케이션 컴퓨팅이 ZK를 통해 신뢰성이 보장되는 오프체인으로 진행될 것입니다. Brevis는 전체 탈중앙화 시스템의 통합 컴퓨팅 신뢰 계층 역할을 할 것입니다.BlockBeats: PancakeSwap, Euler, Linea와 같은 많은 DeFi 애플리케이션이 이미 Brevis 기술을 사용하고 있습니다. 이러한 시나리오에서 Brevis 기술이 어떻게 작동하는지 구체적인 예를 들어주시겠습니까?
Michael: 네, 현재 애플리케이션 시나리오는 주로 여러 범주로 나뉘는데, 가장 대표적인 것이 DeFi입니다. 방금 언급한 PancakeSwap이 대표적인 예입니다. 저희는 DEX 사용자 경험이 동일한 수준으로 유지되는 것을 원하지 않습니다. 일반 트레이더든 고빈도 트레이더든 인터페이스와 수수료는 정확히 동일합니다. CEX처럼 DEX도 다양한 유형의 사용자에게 점진적으로 차별화된 경험을 제공하기를 바랍니다. 동시에 저희는 더욱 혁신적인 애플리케이션을 모색하고 있습니다. 예를 들어, SocialFi와 같은 프로젝트와 협력하여 사용자가 주요 지갑을 노출하지 않고도 영향력과 실제 보유량을 증명할 수 있도록 하고 있습니다.
또한 거의 완전히 오프체인으로 운영되는 몇 가지 시나리오를 추진하고 있습니다. 예를 들어 Hyperliquid와 같은 무기한 거래 시스템에서는 사용자 포지션, 레버리지 및 기타 정보가 공개되는 경우가 많아 다른 거래자의 공격에 취약합니다. 저희는 ZK 기술을 사용하여 이 시스템을 재구성하여 모든 주문 및 포지션 기록을 암호화하고 숨기면서도 ZK 증명을 사용하여 매칭의 정확성과 시스템 보안을 보장하고자 합니다. 이를 통해 블록체인 수준의 보안 및 개인 정보 보호를 유지하면서 중앙 집중식 거래 플랫폼과 유사한 원활한 경험을 제공할 수 있습니다.
BlockBeats: 제품 측면에서 Incentra는 귀사가 출시한 핵심 애플리케이션이며, 현재 3억 달러 이상의 인센티브 분배를 관리하고 있습니다. 이 시스템은 어떻게 작동합니까?
Michael: Incentra의 출발점은 간단합니다. 인센티브 분배는 모든 생태계 성장의 핵심이지만, 분배 메커니즘은 오랫동안 보안, 규정 준수 및 투명성 문제로 어려움을 겪어 왔습니다.
Incentra의 핵심 메커니즘은 사용자가 실제 온체인 또는 프로토콜 내 행동을 기반으로 ZK 증명을 생성하는 것입니다. 적격성 검증 및 청구는 온체인 계약에서 직접 완료되므로 중앙 집중식 배포가 필요 없습니다. 이 모델은 기존 방식에 비해 세 가지 이점을 제공합니다. 첫째, 보안: 자금은 사전 설정된 규칙에 따라 계약 내에서 결제되므로 중앙 집중식 보관 및 운영 위험이 줄어듭니다. 둘째, 규정 준수 및 감사 가능성: Incentra 규칙 및 적격성 증명은 온체인에서 추적 가능하므로 알려지지 않은 주체에게 자금을 이체하는 규정 준수 부담이 없습니다. 셋째, 공정성 및 투명성: 모든 청구는 실제 기여도 및 계산 경로를 반영하여 외부에서 독립적으로 검증될 수 있으므로 블랙박스 할당이 제거됩니다. 이 시스템은 BNB 체인, 메타마스크, 오픈에덴, 유주얼 등의 프로젝트에서 성장 및 인센티브 시나리오에 이미 구현되었습니다. 스테이블코인 생태계든 온체인 인센티브 시스템이든, 이 솔루션은 안전하고 규정을 준수하며 투명한 인센티브 분배를 보장합니다.BlockBeats: 아직 연구실에 있는 많은 ZK 프로젝트와 비교했을 때, Brevis는 이미 대규모 배포를 달성했습니다. 이렇게 빠르게 달성할 수 있었던 이유는 무엇이라고 생각하십니까? Michael: 핵심적인 이유는 처음부터 저희를 연구에만 집중하는 ZK 연구실이 아니라 실제 애플리케이션에 중점을 둔 인프라 기업으로 여겼기 때문이라고 생각합니다. 저희의 기술적 접근 방식은 엔진을 먼저 구축한 후 애플리케이션을 찾는 것이 아니라, 그 반대로 애플리케이션 요구 사항부터 시작하여 역추적하여 기반 아키텍처를 설계하는 것입니다. 이러한 접근 방식이 Brevis를 근본적으로 차별화합니다. 많은 ZK 프로젝트가 비공개로 완벽해 보이는 zkVM을 개발한 후 잠재적인 애플리케이션을 고려합니다. 반면 저희는 파트너 프로젝트의 실질적인 어려움을 이해하는 것부터 시작합니다. 먼저 파트너의 실질적인 요구 사항을 파악한 후, 모듈식 zkVM 아키텍처를 점진적으로 설계하고 플러그형 zkCoprocessor를 개발합니다. 다시 말해, Brevis의 기술 발전은 갑자기 계획된 것이 아니라 실제 사용자와 파트너에 의해 단계적으로 추진됩니다. 이러한 문제 중심의 R&D 접근 방식은 지속적이고 빠른 반복을 가능하게 하며, 각 개선 사항은 검증 가능한 사용 사례에 직접적으로 초점을 맞춥니다. 또한 단순히 논문용 코드를 작성하는 것이 아니라, 처음부터 프로덕션 수준의 안정성과 확장성을 보장합니다. 더 명확한 이유도 있습니다. 저희 팀은 암호화와 대규모 시스템 엔지니어링 모두에 능숙합니다. 이론적인 도출에 그치지 않고, 성능을 진정으로 다듬고 프로덕션 환경에서 안정성을 검증합니다. 현재까지 Brevis는 메인넷에서 1억 건 이상의 영지식 증명을 생성하고, 약 19만 명의 사용자에게 서비스를 제공했으며, 파트너 프로토콜에 대한 3억 달러 이상의 실제 인센티브를 관리했습니다. 이는 데모나 테스트넷이 아닌 Linea, Euler, Usual, OpenEden과 같은 프로젝트를 포함한 실제 라이브 애플리케이션입니다.
Rhythm BlockBeats: DeFi를 넘어, 오프체인 컴퓨팅과 온체인 검증 모델이 미래에 AI, 데이터 시장, 게임 등 다른 분야에 영향을 미칠 것으로 생각하십니까?
Michael: DeFi를 넘어, 이 모델은 검증 가능한 AI, Web2-Web3 데이터 및 신원 연결, 프라이빗 데이터 시장, 게임 및 소셜 네트워킹에 지속적인 영향을 미칠 것입니다. 첫째, 검증 가능한 AI 분야에서 기존 모델은 대부분 블랙박스입니다. 영지식 증명은 추론 과정에 대한 검증 가능한 수학적 증거를 생성하여 특정 모델이 주어진 입력을 기반으로 해당 출력을 생성했음을 증명하고 모델과 프로세스가 대체되거나 변조되지 않았음을 보장합니다. 둘째, Web2-Web3 브리지 시나리오에서 사용자는 중앙 집중형 플랫폼에서의 자격이나 행동을 증명 형태로 온체인 애플리케이션에 적용할 수 있습니다. 예를 들어, 중앙 집중형 거래소에서의 거래 활동은 신원이나 기본 계좌 정보를 공개하지 않고도 분산형 거래소에서 할인된 수수료로 매핑될 수 있습니다. 마지막으로, 게임 및 소셜 분야에서 사용자는 지갑이나 민감한 개인 정보를 공개하지 않고도 과거 업적, 자산 보유량 또는 주요 행동 완료를 증명하여 접근 권한, 매칭 자격 또는 인센티브를 획득할 수 있습니다.장기적으로 이 시스템은 디지털 세계에서 신뢰의 경계를 재정의할 것입니다. Web3와 영지식 증명을 통해 사회가 신뢰 컴퓨팅을 이해하는 방식을 재정립하고 모든 계산이 검증되고 신뢰할 수 있도록 보장하고자 합니다. Brevis는 이 모든 것의 토대, 즉 새로운 컴퓨팅 신뢰 계층이 되는 것을 목표로 합니다. BlockBeats: Brevis가 10월 13일에 Brevis Proving Grounds 행사를 개최한 것을 보았습니다. 이 행사의 핵심 내용과 사용자가 실제로 참여하고 경험할 수 있는 내용을 공유해 주시겠습니까? Michael: 지난 기간 동안 저희는 애플리케이션 문서 검증 및 승인에 상당한 노력을 기울였습니다. 이미 20개 이상의 파트너와 긴밀한 협력 관계를 구축했습니다. 이러한 각 프로젝트는 실제 사용자가 사용할 수 있는 애플리케이션 시나리오를 보여주며, 뛰어난 성능과 사용자 유지율을 입증했습니다. 하지만 블록체인 세계에서는 많은 요소가 사용자의 인식과 개발에 의해 좌우된다는 것을 알게 되었습니다. 다시 말해, 사용자가 새로운 기술의 가치를 진정으로 이해하면 그들의 피드백과 요구가 개발자의 더 많은 기능 구현으로 이어집니다. 이러한 이유로 저희는 사용자와 진정한 소통을 통해 단순한 구경꾼을 넘어 직접 경험하고 그 이점을 검증할 수 있도록 돕고자 합니다. 이것이 바로 "브레비스 검증장(The Brevis Proving Grounds)" 캠페인의 핵심 목표입니다. 이 캠페인은 크게 두 단계로 나뉩니다. 첫 번째 단계는 사용자 교육으로, 더 많은 사람들이 파트너사의 활동과 영지식 증명(ZK)이 이러한 프로젝트에서 해결할 수 있는 구체적인 문제들을 이해하도록 돕는 것을 목표로 합니다. 이 단계에서는 기술의 근본적인 논리와 중요성에 대한 이해를 높이고 명확하게 이해하는 데 중점을 둡니다. 두 번째 단계는 실제 경험 단계로, 사용자가 기존 애플리케이션을 직접 사용하고 브레비스 통합 후 제품이 가져오는 변화를 실제로 경험하는 단계입니다. 단순히 마우스를 클릭하고 작업을 완료하여 이점을 얻는 캠페인을 진행하는 다른 많은 프로젝트들과는 달리, 이 프로젝트들은 진정한 경험적이고 혁신적이며 저수준의 기능을 제공하지 못하는 경우가 많습니다. 하지만 저희는 다릅니다. 저희의 협업 프로젝트는 실질적이고 가치 있는 애플리케이션입니다. 사용자는 단순한 시뮬레이션을 즐기는 것이 아니라, 브레비스 기술과 긴밀하게 통합된 제품을 실제로 사용하게 됩니다. 이러한 접근 방식을 통해 사용자들이 ZK 기술이 제공하는 원활한 경험과 가치 전환을 경험하고, 이러한 오프체인 컴퓨팅 및 온체인 검증 모델이 애플리케이션의 보안성과 효율성을 어떻게 동시에 제공하는지 이해할 수 있기를 바랍니다. 더 중요한 것은, 더 많은 사용자가 생태계의 주도자가 될 수 있도록 지원하고 싶다는 것입니다. 점점 더 많은 사용자가 자신이 사용하는 제품에 대해 이러한 메커니즘을 이해하고 적극적으로 요구함에 따라, 업계의 혁신 추진력이 다시 활성화될 것입니다.
Rhythm BlockBeats: 이 이벤트 외에도 Brevis는 현재 어떤 계획을 가지고 있습니까? 사용자들이 여전히 참여할 수 있습니까?
Michael: 더욱 개방적인 증명 및 검증 인프라를 구축하기 위해 탈중앙화 증명 노드 네트워크 출시를 홍보하는 것을 포함하여 참여형 생태 계획을 계속 시작할 것입니다. 관련 계획은 커뮤니티와 생태 파트너에게 참여 채널을 개방할 것이며, 구체적인 참여 방식과 일정은 추후 발표될 예정입니다.
Rhythm BlockBeats: 장기적인 관점에서 Brevis가 어떤 인프라가 되기를 바라십니까? 궁극적으로 Web3 세계에서 어떤 역할을 수행하고자 하십니까?
Michael: 저희의 비전은 Brevis를 Web3의 무한 컴퓨팅 계층에 구축하고 글로벌 신뢰 컴퓨팅의 원천이 되는 것입니다. 이더리움이 스마트 계약을 통해 자산 및 금융의 신뢰 로직을 재구성하는 방식과 유사하게, 브레비스는 연산의 신뢰 로직을 재구성하는 것을 목표로 합니다. 더 이상 직접 연산을 수행할지 타인의 결과를 신뢰할지 선택하는 이분법적 선택이 아니라, 중복 없는 검증 가능한 연산을 통해 결과의 보안과 정확성을 보장합니다. 앞으로 온체인 애플리케이션은 단순한 거래 실행 및 자산 이전에서 고급 알고리즘, 데이터 상호작용, 개인화된 경험, 사회적 행동 증명을 포함하는 더욱 지능적이고 복잡한 시스템으로 진화할 것입니다. 대규모 도입을 위해서는 강력한 컴퓨팅 파워와 포괄적인 보안이 모두 필요합니다. 우리는 이러한 유형의 증명 연산을 어디에나 존재하고, 접근 가능하며, 비용 효율적으로 만들어 모든 웹 3.0 애플리케이션이 기존 방식을 재창조하지 않고도 이 기능을 자연스럽게 내장할 수 있도록 하는 것을 목표로 합니다. 구조적으로는 합의, 데이터, 실행 계층 위에 새로운 신뢰 계층인 무한 연산 계층을 추가하는 것을 목표로 합니다. 이는 블록체인 인프라의 네 번째 계층이 되어, 분산된 세계 전체에 통합된 연산 신뢰성 및 검증 기능을 제공할 것입니다. 모든 지능적이고 복잡한 계산, 심지어 크로스체인 계산까지 제로 트러스트(Zero Trust)라는 전제 하에 검증되고 사용될 수 있도록 하는 것입니다. 이것이 바로 우리가 이해하는 무한 컴퓨팅이며, 브레비스(Brevis)의 장기적인 사명이기도 합니다. BlockBeats 공식 커뮤니티에 참여하세요: Telegram 구독 그룹:https://t.me/theblockbeats Telegram 토론 그룹:https://t.me/BlockBeats_App Twitter 공식 계정:https://twitter.com/BlockBeatsAsia