Brevis, 검증 가능한 계산 처리 플랫폼으로, zero-knowledge proofs에 의해 구동되며, 막 Pico라는 모듈식 고성능 가상 머신(zkVM)을 출시했습니다.
피코는 각 요구 사항에 맞춘 전문 워크플로를 생성할 수 있으며, 성능을 최대 32배 향상시키는 고급 온체인 데이터 보조 프로세서를 통합합니다.
아래에서 논의를 심화해 보겠습니다.
Summary
Brevis와 온체인 애플리케이션 환경의 새로운 도전 과제
Brevis는 블록체인 분야에서 Zero-Knowledge Proofs 의 사용을 최적화하기 위해 고급 기술을 개발하는 web3 엔터티입니다.
그의 고급 인프라 덕분에, 암호화 응용 프로그램이 비용이 많이 드는 계산을 오프체인 환경으로 전송할 수 있게 하여, L1의 보안을 유지하면서 확장성을 증가시킵니다.
오늘날까지 여러 DeFi 생태계의 현실(체인과 dApp 모두)은 Kwenta, Usual, PancakeSwap, Frax, Quickswap, Mellow Finance, BeraBorrow 등과 같은 bull 및 bear의 혁신적인 기능을 성공적으로 채택했습니다.
그럼에도 불구하고, Brevis가 새로운 파트너와 관계를 맺으면서 새로운 도전과 맞춤형 워크플로우의 새로운 요구 사항이 나타나는 것을 보았습니다.
우선 점점 더 많은 프로젝트가 성능과 복잡성 측면에서 고유한 우선 순위를 요구하게 되었으며, 비즈니스 논리에서 bull 및 bear와 같은 고도로 맞춤화 가능한 기능을 갖추고 있습니다.
둘째로, 새로운 ZK 기술의 성장과 함께, 모듈형 아키텍처가 없는 시스템이 성능 및 최적화에서 종종 어려움을 겪었다는 것을 알게 되었습니다.
Brevis는 각 애플리케이션의 복잡성에 따라 주변 환경에 유연하게 적응할 수 있는 zkVM 가상 머신이 필요하다는 결론에 도달했습니다. 이는 단일체적이고 경직된 접근 방식을 사용할 필요가 없습니다.
이렇게 해서 Pico가 탄생했으며, 이는 계산 엔진에 대한 진정한 전환점이 되었습니다.
Brevis lancia Pico: 웹3 개발자를 위한 혁신
피코는 모듈식 아키텍처를 가진 zkVM을 나타냅니다, 개발자가 자신의 필요에 맞는 맞춤형 ZK 애플리케이션을 구축할 수 있도록 설계되었습니다.
웹3 애플리케이션 개발자는 마치 레고 블록처럼 Pico 모듈을 조립하여 각 계산 요구 사항에 맞게 구체적으로 조정할 수 있습니다.
보안을 최적화하든, 확장성을 높이든, 증명 생성의 효율성을 높이든, Brevis의 이 프레임워크는 각 요구 사항에 맞는 전문적인 워크플로를 생성할 수 있게 해줍니다.
기술적 관점에서. Pico는 고급 온체인 데이터 프로세서에 기반한 “glue-and-coprocessor” 아키텍처를 제공합니다 이는 성능을 크게 향상시킬 수 있습니다. 또한, RISC-V 표준과 호환되며 Rust 프로그래밍 툴체인을 지원하여 개발자가 사용하는 도구 세트에 쉽게 적응할 수 있습니다.
피코 v1.0 버전을 출시하면서 Brevis는 개발자들이 다음과 같은 프로그램을 테스트할 수 있는 최초의 zkVM을 세상에 소개했습니다:
- 백엔드 시연: STARK su KoalaBear e BabyBear e CircleSTARK su Mersenne 31.
- 워크플로 데모: 보안, 확장성 및 증거 생성을 최적화하여 앱의 특정 요구 사항을 충족합니다.
- 온체인 과거 데이터 접근: 온체인 데이터에 대한 zkCoprocessor와 통합하여 개발자는 최고의 성능과 프로그래머빌리티로 온체인 과거 데이터에 안전하게 접근하고 처리할 수 있는 dApp을 만들 수 있습니다.
글루 및 공동 프로세서 아키텍처의 설계 및 유연성
언급했듯이, Pico는 전문 공동 프로세서의 효율성과 일반 용도 zkVM의 유연성을 결합한 “glue-and-coprocessor” 아키텍처로 구성되어 있습니다.
모르는 사람들을 위해, 공동 프로세서는 복잡한 연산, 예를 들어 산술이나 암호화를 가속화하는 맞춤형 회로입니다. ZkVM 가상 머신은 데이터 증명 및 검증 과정에서 접착제 역할을 하며, 공동 프로세서에 의해 다루어지지 않는 논리가 안전하게 증명되도록 보장합니다.
또한, Pico는 사전 컴파일 (이미 준비된 도구)을 사용하여 해시 검증 또는 서명과 같은 기본 작업을 더 빠르게 수행합니다. 그러나 더 복잡한 응용 프로그램의 경우, 사전 컴파일만으로는 충분하지 않습니다.
이 때문에 Pico는 또 다른 수준을 가지고 있습니다: 응용 프로그램을 위한 공동 프로세서를 통합하여 Uniswap에 사용되는 것과 같은 데이터와 관련된 특정 작업을 처리합니다. 이 공동 프로세서는 데이터 접근 및 검증을 더욱 가속화하여 ZK 증명을 더 빠르게 만들며, 더 복잡한 논리를 처리해야 하는 개발자에게 큰 유연성을 제공합니다.
하이브리드 접근 방식의 장점을 보여주기 위해, Brevis 팀은 온체인 데이터 zkCoprocessor로 강화된 “boosted” Pico VM과 “vanilla” Pico VM의 성능을 비교했습니다.
결과에서 coprocessore consacrato를 장착한 Pico VM이 32배 이상의 우수한 성능을 보였다는 것이 드러났으며, 비용은 원래 Pico의 33%에 불과했다.
비록 새로운 버전이 원본보다 여전히 느리지만, 이 zkVM은 오늘날 시장에서 이용할 수 없는 성능과 프로그래머빌리티의 훌륭한 타협점을 나타냅니다.
강조할 점은 이 일반적인 설계 모델이 온체인 데이터 접근 및 계산 사용 사례에만 적용되는 것이 아니라는 것입니다. 실제로 Pico는 이러한 경우에도 증명 생성을 상당히 가속화하기 위해 앱 수준에서 검증 가능한 AI 추론 및 Reth 코프로세서를 통합하고 있습니다.
Pico의 전례 없는 성능: 다른 zkVM 솔루션과의 비교
다른 zkVM 솔루션과 비교하여, Pico는 CPU에서 증명 작업의 속도 면에서 더 뛰어난 성능을 자랑합니다.
Brevis 팀은 Pico를 최신 RISC0, SP1 및 OpenVM 릴리스와 비교하여 높은 작업 부하를 가진 인프라를 비교했습니다.
테스트는 동일한 CPU 머신에서 수행되었으며, 즉 192개의 CPU 코어와 1.5TB의 RAM을 갖춘 AWS r7a.48xlarge 인스턴스에서 실행되었습니다. 이는 모든 zkVM이 최종 STARK 증명으로 변환되기 전에 증명을 생성할 수 있도록 합니다.
피보나치에서 일반적으로 사용되는 작업 부하와 두 가지 실제 시나리오: Tendermint 및 Reth 블록 #17106222가 모두 평가되었습니다.
결과에 따르면 Pico는 계산 가속화에서 상당한 향상을 보여주며, 두 번째로 좋은 솔루션에 비해 155% 더 나은 성능을 보입니다.
Questi numeri stabiliscono un nuovo benchmark di velocità per il mondo zkVM, aprendo nuove opportunità nel mondo dello sviluppo di applicazioni ad alte esigenze.
이 모든 것에서, Brevis는 곧 Pico의 GPU를 출시하여 고강도 계산 작업을 병렬로 처리할 수 있게 할 것입니다. 따라서 CPU 성능 결과는 GPU 계산으로 이어질 것입니다.
인 Pico를 출시했습니다.){kind=link}