[Angielski długi tweet] Raport badawczy Brevis: Warstwa nieskończenie weryfikowalnych obliczeń dla zkVM i współprocesora danych ZK

Chainfeeds Wprowadzenie:

Brevis, integrując uniwersalny zkVM (Pico/Prism) z koprocesorem danych (zkCoprocessor), zbudował wielołańcuchową warstwę weryfikowalnych obliczeń.

Źródło artykułu:

Jacob Zhao

Poglądy:

Jacob Zhao: „Weryfikowalne obliczenia” (Verifiable Computing) stały się uniwersalnym modelem obliczeniowym dla blockchaina, którego główną ideą jest „obliczenia poza łańcuchem + weryfikacja na łańcuchu”. Ten paradygmat pozwala blockchainowi zachować decentralizację i minimalizację zaufania przy jednoczesnym uzyskaniu niemal nieograniczonej swobody obliczeniowej. Zero-knowledge proof (ZKP) stanowi filar tego systemu, a główne kierunki zastosowań obejmują skalowalność, ochronę prywatności oraz interoperacyjność/spójność danych. Wśród nich skalowalność była pierwszym wdrożonym kierunkiem – poprzez przeniesienie obliczeń poza łańcuch i weryfikację zwięzłych dowodów na łańcuchu, osiągnięto wysoką przepustowość i niskie koszty rozszerzania zaufania. Ewolucję technologii ZK można podsumować następująco: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup po raz pierwszy umożliwił wykonywanie obliczeń poza łańcuchem i weryfikację na łańcuchu, znacznie poprawiając wydajność; zkVM rozszerzył to na uniwersalną warstwę weryfikowalnych obliczeń, wspierając weryfikację międzyłańcuchową, wnioskowanie AI i zadania kryptograficzne; zkCoprocessor zmodularyzował ten model, stając się usługą dowodową plug-and-play dla DeFi, RWA i zarządzania ryzykiem; L1 zkEVM ostatecznie wbudował weryfikację zero-knowledge w warstwę wykonawczą Ethereum, realizując dowodzenie w czasie rzeczywistym (Realtime Proving, RTP). Ta ewolucja oznacza przejście blockchaina od „skalowalności” do „weryfikowalności”, wchodząc w erę obliczeń bez zaufania. Droga Ethereum do zkEVM przebiegała w dwóch etapach: pierwszy etap (2022–2024), L2 Rollup przenosił warstwę wykonawczą, ale wprowadzał fragmentację płynności i stanu; drugi etap (2025–), L1 RTP zastępuje weryfikację N-of-N dowodem 1-of-N, zwiększając przepustowość przy zachowaniu decentralizacji. Poza Ethereum, obliczenia zero-knowledge zmierzają ku szerszemu obszarowi weryfikowalnych obliczeń, z głównymi systemami takimi jak zkVM i zkCoprocessor. zkVM (zero-knowledge virtual machine) to uniwersalny silnik weryfikowalnego wykonania, obsługujący dowolne programy na zestawach instrukcji RISC-V, MIPS lub WASM, których wyniki mogą być weryfikowane na łańcuchu – wykorzystywane do weryfikacji bloków, wnioskowania AI i zadań międzyłańcuchowych. Jego zaletą jest uniwersalność i elastyczność, ale koszt generowania dowodów jest wysoki, a optymalizacja równoległa złożona. Przykładowe projekty to RiscZero, SP1 od SuccinctLabs oraz Pico zkVM od Brevis. Dla porównania, zkCoprocessor przypomina raczej „weryfikowalny moduł dla określonych scenariuszy”, oferując znormalizowane interfejsy obliczeniowe i dowodowe dla DeFi, RWA itp.; aplikacje mogą po prostu wywołać SDK lub API, aby uzyskać wyniki i dowody – integracja jest szybka, koszty niskie, ale uniwersalność ograniczona. Oba rozwiązania dzielą logikę „obliczenia poza łańcuchem + weryfikacja na łańcuchu”: koszt obliczeń na łańcuchu jest znacznie wyższy niż łączny koszt generowania poza łańcuchem i weryfikacji na łańcuchu. Biznesowo, zkVM to model „Proving-as-a-Service”, dostarczający silnik obliczeniowy dla infrastruktury; zkCoprocessor to „Proof-API-as-a-Service”, oferujący aplikacjom strukturę SaaS rozliczaną za zadania. Pierwszy buduje technologiczną fosę, drugi napędza komercjalizację. Razem tworzą dwa bieguny zdecentralizowanej sieci obliczeniowej: zkVM buduje podstawę obliczeniową, zkCoprocessor napędza rozwój ekosystemu. Brevis Network łączy architekturę zkVM i zkCoprocessor, tworząc uniwersalną, wysokowydajną infrastrukturę weryfikowalnych obliczeń, określaną jako „warstwa nieskończonych obliczeń”. Jego Pico zkVM wykorzystuje architekturę modułową, oddzielając uniwersalną warstwę wykonawczą od sprzętowo przyspieszonej warstwy koprocesora, realizując dwuwarstwowy system „General + Specialized”, obsługując różne backendy dowodowe i moduły rekursywnej kompresji; deweloperzy mogą pisać logikę biznesową w Rust, automatycznie generując dowody, co znacznie obniża próg wejścia. Pico Prism dodatkowo przełamuje bariery wydajności klastrów multi-GPU, osiągając średni czas dowodu 6,9 sekundy i 96,8% pokrycia RTP w środowisku 64×RTX5090, oferując stosunek wydajności do kosztu 3,4 razy lepszy niż konkurencja. zk Data Coprocessor od Brevis umożliwia smart kontraktom „pamięć”, pozwalając im uzyskiwać dostęp do danych historycznych i przeprowadzać weryfikację bez zaufania – wykorzystywane do nagród za płynność, tożsamości międzyłańcuchowej i DeFi opartych na danych. Warstwa Incentra umożliwia transparentną dystrybucję na łańcuchu poprzez dowody ZK, obsługując już protokoły takie jak PancakeSwap, Euler, UsualMoney, Linea. Według Brevis Explorer, do października 2025 roku sieć wygenerowała 125 millions dowodów ZK, obsługując ponad 2.8 billions USD TVL i weryfikując wolumen transakcji przekraczający 1 billions USD. Brevis, opierając się na warstwie bezpieczeństwa Ethereum i EigenLayer, rozszerza się na ekosystemy takie jak BNB, Linea, 0G, zapewniając podstawowe wsparcie dla motywacji na łańcuchu, optymalizacji płynności i weryfikacji międzyłańcuchowej, budując sieć weryfikowalnych obliczeń z dwukierunkową pętlą sprzężenia zwrotnego między technologią a aplikacjami. [Oryginał w języku angielskim]