“链下计算 + 链上验证”的可信计算（Verifiable Computing）范式，已成为区块链系统的通用计算模型。它让区块链应用在保持去中心化与信任最小化（trustlessness）安全性的前提下，获得几乎无限的计算自由度（computational freedom）。零知识证明（ZKP）是该范式的核心支柱，其应用主要集中在扩容（Scalability）、隐私（Privacy）以及互操作与数据完整性（Interoperability & Data Integrity）三大基础方向。其中，扩容是 ZK 技术最早落地的场景，通过将交易执行移至链下、以简短证明在链上验证结果，实现高 TPS 与低成本的可信扩容。
Ewolucja zaufanego obliczania ZK może być podsumowana jako L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Wczesne L2 zkRollup przeniosły wykonanie na drugą warstwę i przesyłały dowody ważności (Validity Proof) na pierwszej warstwie, osiągając wysoką wydajność i niskie koszty przy minimalnych zmianach. Następnie zkVM rozwinęło się w uniwersalną warstwę zweryfikowanych obliczeń, wspierając weryfikację międzyłańcuchową, rozumowanie AI i obliczenia kryptograficzne (projekty reprezentacyjne: Risc Zero, Succinct, Brevis Pico). Jednocześnie zkCoprocessor rozwijał się równolegle jako moduł weryfikacji, oferujący natychmiastowe usługi obliczeń i dowodów dla DeFi, RWA, zarządzania ryzykiem (projekty reprezentacyjne: Brevis, Axiom). W 2025 roku koncepcja zkEVM została rozszerzona na real-time proving L1 (Realtime Proving, RTP), tworząc zweryfikowane obwody na poziomie instrukcji EVM, wprowadzając dowody zerowej wiedzy bezpośrednio do procesów wykonawczych i weryfikacyjnych głównego łańcucha Ethereum, stając się natywnym mechanizmem wykonawczym. Ta linia pokazuje technologiczną ewolucję blockchaina od "skalowalności" do "zweryfikowalności", otwierając nowy etap zaufanego obliczania.
Jedno, droga rozszerzenia zkEVM Ethereum: od L2 Rollup do L1 real-time proving.
Ścieżka rozszerzenia zkEVM Ethereum przeszła przez dwa etapy:
Etap pierwszy (2022–2024): L2 zkRollup przenosi wykonanie na drugą warstwę, przesyłając dowody ważności na pierwszej; znacznie obniża koszty i zwiększa przepustowość, ale przynosi fragmentację płynności i stanu, a L1 wciąż jest ograniczone przez N-of-N ponowne wykonanie.
Etap drugi (2025–): real-time proving L1 (Realtime Proving, RTP) zastępuje „1-of-N dowód + lekką weryfikację w całej sieci”, zwiększając przepustowość bez poświęcania decentralizacji, wciąż w procesie ewolucji.
Faza L2 zkRollup: równowaga między kompatybilnością a wydajnością skalowania
W 2022 roku, w etapie rozkwitu ekosystemu Layer2, współzałożyciel Ethereum Vitalik Buterin zaproponował cztery klasyfikacje ZK-EVM (Typ 1–4), systematycznie ujawniając strukturalne kompromisy między kompatybilnością (compatibility) a wydajnością (performance). Ta struktura ustanowiła jasne współrzędne dla kolejnej trasy technologii zkRollup:
Typ 1 całkowicie równoważny: zgodny z kodem bajtowym Ethereum, najniższe koszty migracji, najwolniejsze dowody. Taiko.
Typ 2 całkowicie kompatybilny: minimalna optymalizacja podstawowa, najsilniejsza kompatybilność. Scroll, Linea.
Typ 2.5 półkompatybilny: drobne zmiany (gaz/prekompilacje itp.) w zamian za wydajność. Polygon zkEVM, Kakarot.
Typ 3 częściowo kompatybilny: większe zmiany, może uruchomić większość aplikacji, ale trudności z całkowitym ponownym wykorzystaniem infrastruktury L1. zkSync Era.
Typ 4 na poziomie języka: rezygnacja z kompatybilności kodu bajtowego, bezpośrednie kompilowanie z języka wysokiego na obwód, optymalna wydajność, ale wymaga odbudowy ekosystemu (przykład: Starknet / Cairo).
Aktualny model L2 zkRollup osiągnął dojrzałość: poprzez przeniesienie wykonania do drugiej warstwy i przesyłanie dowodów ważności (Validity Proof) na pierwszej warstwie, z minimalnymi zmianami, przyjmuje ekosystem i narzędzia Ethereum, staje się głównym rozwiązaniem w zakresie skalowania i obniżania kosztów. Jego dowodem są bloki L2 oraz przejścia stanu, podczas gdy rozliczenia i bezpieczeństwo nadal są uzależnione od L1. Ta struktura znacznie zwiększa przepustowość i wydajność, a jednocześnie utrzymuje wysoką kompatybilność dla deweloperów, ale również powoduje fragmentację płynności i stanu, a L1 nadal jest ograniczone przez wąskie gardło N-of-N ponownego wykonania.
L1 zkEVM: real-time proving przekształca logikę lekkiej weryfikacji Ethereum
W lipcu 2025 roku Fundacja Ethereum opublikowała artykuł (Shipping an L1 zkEVM #1: Realtime Proving), oficjalnie przedstawiając trasę L1 zkEVM. L1 zkEVM przekształca Ethereum z N-of-N ponownego wykonania w 1-of-N dowód + szybka weryfikacja w całej sieci: niewielka liczba proverów generuje krótki dowód dla całego stanu przejścia EVM, a wszyscy weryfikatorzy wykonują tylko weryfikację w stałym czasie. To rozwiązanie osiąga L1 real-time proving (Realtime Proving) bez poświęcania decentralizacji, zwiększając górny limit gazu w głównym łańcuchu oraz przepustowość, a także znacznie obniżając próg sprzętowy dla węzłów. Plan wdrożenia polega na zastąpieniu tradycyjnego klienta wykonawczego klientem zk, który będzie działał równolegle, a po osiągnięciu dojrzałości wydajności, bezpieczeństwa i mechanizmu zachęt, stopniowo stanie się nową normą w warstwie protokołu.
Stary paradygmat N of N: wszyscy weryfikatorzy wielokrotnie wykonują całą transakcję, aby ją zweryfikować, co jest bezpieczne, ale ogranicza przepustowość i powoduje wysokie opłaty szczytowe.
Nowy paradygmat 1 of N: niewielka liczba proverów wykonuje całą transakcję i generuje krótki dowód; cała sieć przeprowadza tylko weryfikację w stałym czasie. Koszt weryfikacji jest znacznie niższy niż ponowne wykonanie, co pozwala na bezpieczne podniesienie limitu gazu L1 i zmniejszenie wymagań sprzętowych.
Trzy główne linie roadmapy L1 zkEVM
Real-time proving (Realtime Proving): zakończenie całego dowodu w czasie 12 sekund, poprzez równoległe przetwarzanie i przyspieszenie sprzętowe kompresji opóźnień;
Integracja klienta i protokołu: standardowy interfejs weryfikacji dowodów, najpierw opcjonalny, potem domyślny;
Zachęty i bezpieczeństwo: budowanie rynku proverów i modelu kosztów, wzmacnianie odporności na cenzurę i aktywność sieci.
Real-time proving L1 Ethereum (RTP) wykorzystuje zkVM do ponownego wykonania całej transakcji na niższej warstwie i generowania kryptograficznych dowodów, umożliwiając weryfikatorom weryfikację małego dowodu w ciągu 10 sekund bez ponownego obliczania, co prowadzi do "weryfikacji zamiast wykonania", znacznie zwiększając zdolność skalowalności Ethereum oraz wydajność weryfikacji zaufania. Zgodnie z oficjalną stroną śledzenia zkEVM fundacji Ethereum, główne zespoły biorące udział w trasie real-time proving L1 zkEVM obejmują SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM (Axiom) i Jolt (a16z).
Dwa, przekraczając Ethereum: uniwersalne zkVM i zkCoprocessor
Ponadto poza ekosystemem Ethereum, technologia zerowej wiedzy (ZKP) rozciągnęła się na szersze pole uniwersalnych zweryfikowanych obliczeń (Verifiable Computing), tworząc dwa główne systemy technologiczne oparte na zkVM i zkCoprocessor.
zkVM: uniwersalna warstwa zweryfikowanych obliczeń
Zaprojektowane do zweryfikowanego wykonania dla dowolnych programów, typowe architektury zestawów instrukcji obejmują RISC-V, MIPS i WASM. Deweloperzy mogą kompilować logikę biznesową do zkVM, a prover wykonuje ją w łańcuchu, generując dowody zerowej wiedzy (ZKP), które można wykorzystać zarówno do dowodów bloków L1 Ethereum, jak i do weryfikacji międzyłańcuchowej, rozumowania AI, obliczeń kryptograficznych i złożonych algorytmów. Jego zaletą jest szeroka uniwersalność i zakres dostosowania, ale złożoność obwodu i wysokie koszty dowodów wymagają wsparcia wielu GPU i silnej optymalizacji inżynieryjnej. Przykładowe projekty to Risc Zero, Succinct SP1, Brevis Pico / Prism.
zkCoprocessor: moduły weryfikacji w określonych scenariuszach
Dostarczanie "plug-and-play" obliczeń i usług dowodowych w konkretnych scenariuszach biznesowych. Platforma wstępnie ustawia dostęp do danych i logikę obwodu (np. odczyt danych historycznych z łańcucha, TVL, rozliczenia zysków, weryfikacja tożsamości itp.), a strona aplikacyjna może uzyskać wyniki obliczeń i dowody przez API / SDK.
Ogólnie rzecz biorąc, zarówno zkVM, jak i zkCoprocessor przestrzegają wzorca zaufanego obliczenia "obliczenia poza łańcuchem + weryfikacja w łańcuchu", weryfikując wyniki obliczeń poza łańcuchem za pomocą dowodów zerowej wiedzy. Ich logika ekonomiczna opiera się na założeniu, że koszty bezpośredniego wykonania w łańcuchu są znacznie wyższe niż całkowity koszt generowania dowodów poza łańcuchem i weryfikacji w łańcuchu.
Kluczowa różnica między nimi w zakresie użyteczności i złożoności inżynieryjnej polega na:
zkVM to uniwersalna infrastruktura obliczeniowa, odpowiednia do złożonych, międzydziedzinowych lub AI, z najwyższą elastycznością;
zkCoprocessor to moduł weryfikacji, który zapewnia niskokosztowe, bezpośrednio wywoływalne interfejsy w scenariuszach wysokiej częstotliwości.
Na ścieżkach biznesowych różnice między zkVM a zkCoprocessor polegają na:
zkVM przyjmuje model Proving-as-a-Service, naliczając opłaty za każde dowód (ZKP), głównie skierowany do klientów infrastruktury, takich jak L2 Rollup, charakteryzujący się dużą skalą umów, długim czasem trwania i stabilną marżą brutto;
zkCoprocessor koncentruje się na Proof API-as-a-Service, naliczając opłaty za zadania za pomocą wywołań API lub integracji SDK, bliżej modelu SaaS, skierowanego do aplikacji DeFi i innych protokołów warstwy aplikacji, z szybką integracją i silną skalowalnością.
Ogólnie rzecz biorąc, zkVM jest podstawowym silnikiem zweryfikowanych obliczeń, a zkCoprocessor to moduł weryfikacji na poziomie aplikacji: pierwszy buduje technologiczną zaporę, podczas gdy drugi napędza komercjalizację, tworząc wspólną sieć zaufanych obliczeń.
Trzy, mapa produktów i ścieżka technologiczna Brevis.
Rozpoczynając od L1 real-time proving (Realtime Proving) Ethereum, technologia ZK stopniowo wkracza w erę zweryfikowanych obliczeń, koncentrując się na architekturze uniwersalnego zkVM i zkCoprocessora. Brevis Network jest połączeniem zkVM i zkCoprocessora, tworząc infrastrukturę zweryfikowanych obliczeń z zerową wiedzą, łączącą wysoką wydajność i programowalność — bezgraniczną warstwę obliczeń dla wszystkiego (The Infinite Compute Layer for Everything).
3.1 Pico zkVM: modułowa architektura dowodów zweryfikowanych obliczeń
W 2024 roku Vitalik w (Glue and Coprocessor Architectures) zaproponował architekturę „warstwa wykonawcza + warstwa przyspieszająca współprocesor” (glue & coprocessor). Złożone obliczenia mogą być podzielone na ogólną logikę biznesową i zorganizowane obliczenia intensywne — pierwsza dąży do elastyczności (np. EVM, Python, RISC-V), druga do wydajności (np. GPU, ASIC, moduły haszujące). Ta architektura staje się wspólnym trendem w blockchainie, AI i obliczeniach kryptograficznych: EVM przyspiesza dzięki precompile, AI korzysta z równoległości GPU, a dowody ZK łączą ogólny VM z dedykowanymi obwodami. Kluczowe w przyszłości jest to, aby "warstwa kleju" zoptymalizowała bezpieczeństwo i doświadczenia deweloperów, podczas gdy "warstwa współprocesora" koncentrowała się na wydajnym wykonaniu, osiągając równowagę między wydajnością, bezpieczeństwem a otwartością.
Pico zkVM, opracowany przez Brevis, jest reprezentatywną realizacją tej idei. Dzięki architekturze "uniwersalnego zkVM + przyspieszania współprocesora" łączy elastyczną programowalność z wysokowydajnymi obliczeniami dedykowanych obwodów. Jego modułowy projekt wspiera wiele backendów dowodów (KoalaBear, BabyBear, Mersenne31) i może swobodnie łączyć komponenty realizujące wykonanie, rekurencję, kompresję w ProverChain.
Modułowa struktura Pico pozwala nie tylko na swobodne przekształcanie kluczowych komponentów, ale także na wprowadzenie nowych backendów dowodów i aplikacyjnych współprocesorów (np. dane w łańcuchu, zkML, weryfikacja międzyłańcuchowa), realizując ciągłą ewolucję w zakresie skalowalności. Deweloperzy mogą bezpośrednio korzystać z narzędzi Rust do pisania logiki biznesowej, nie wymagając doświadczenia w zerowej wiedzy, co znacznie obniża próg wejścia dla programistów.
W porównaniu do stosunkowo monolitycznej architektury RISC-V zkVM Succinct SP1 oraz ogólnego modelu wykonawczego RISC Zero R0VM, Pico osiąga odłączenie i rozszerzenie faz wykonania, rekurencji i kompresji dzięki Modular zkVM + Coprocessor System, wspierając przełączanie wielu backendów oraz integrację współprocesorów, tworząc różnicującą przewagę w zakresie wydajności i skalowalności.
3.2 Pico Prism: przełom wydajnościowy w klastrze GPU
Pico Prism to ważny przełom Brevis w architekturze GPU z wieloma serwerami, ustanawiający nowe rekordy w ramach "real-time proving (RTP)" Fundacji Ethereum. Na klastrze 64×5090 GPU osiąga średni czas dowodu 6.9 sekundy i 96.8% pokrycie RTP, osiągając najwyższą wydajność wśród podobnych zkVM. System ten został zoptymalizowany na poziomie architektury, inżynierii, sprzętu i systemu, co oznacza, że zkVM przechodzi od prototypu badawczego do produkcyjnej infrastruktury.
Projekt architektoniczny: tradycyjny zkVM (np. SP1, R0VM) w dużej mierze polega na optymalizacji jednego GPU. Pico Prism po raz pierwszy realizuje równoległe dowody w klastrze z wieloma serwerami i GPU (Cluster-Level zkProving), rozszerzając dowody zk na rozproszony system obliczeniowy, znacznie zwiększając równoległość i skalowalność.
Realizacja inżynierska: budowanie wieloetapowej asynchronicznej rury (Execution / Recursion / Compression) oraz mechanizmu ponownego wykorzystania danych między warstwami (bufor proof chunk i ponowne wykorzystanie embedding), a także wsparcie dla przełączania wielu backendów (KoalaBear, BabyBear, M31), znacznie zwiększając wydajność przepustowości.
Strategia sprzętowa: przy konfiguracji 64×RTX 5090 GPU (około $128K), Pico Prism osiąga średni czas dowodu od 6.0 do 6.9 sekundy, z 96.8% pokryciem RTP, współczynnik wydajności/koszt wzrasta o około 3.4 razy w porównaniu do SP1 Hypercube (160×4090 GPU, 10.3 sekundy).
Ewoluowanie systemu: jako pierwsza zkVM spełniająca wskaźnik RTP Fundacji Ethereum (>96% sub-10s, <$100K koszt), Pico Prism oznacza przejście systemu dowodów zk od prototypu badawczego do produkcyjnej infrastruktury na poziomie mainnet, oferując bardziej ekonomiczne rozwiązania obliczeń zerowej wiedzy dla scenariuszy takich jak Rollup, DeFi, AI i walidacja międzyłańcuchowa.
3.3 ZK Data Coprocessor: zerowa wiedza warstwa obliczeń danych blockchain
W pierwotnym projektowaniu inteligentnych kontraktów występuje "brak pamięci" — niemożność dostępu do danych historycznych, rozpoznawania długoterminowych zachowań lub analizy międzyłańcuchowej. Wysokowydajny współprocesor zerowej wiedzy (ZK Coprocessor) oferowany przez Brevis dostarcza inteligentnym kontraktom dostęp do historycznych danych międzyłańcuchowych oraz możliwość zaufanych obliczeń, weryfikując i obliczając całkowity historyczny stan blockchain, transakcje i zdarzenia, zastosowane w scenariuszach opartych na danych, zarządzaniu płynnością, zachętach użytkowników i identyfikacji międzyłańcuchowej.
Proces pracy Brevis obejmuje trzy kroki:
Dostęp do danych: inteligentne kontrakty mogą bezpiecznie odczytywać historyczne dane przez API;
Wykonanie obliczeń: deweloperzy korzystają z SDK do definiowania logiki biznesowej, a Brevis oblicza i generuje dowody ZK;
Weryfikacja wyników: wyniki dowodów są przesyłane na łańcuch, gdzie są weryfikowane przez umowy i wywołują dalszą logikę.
Brevis obsługuje zarówno model Pure-ZK, jak i CoChain (OP): pierwszy zapewnia pełne minimalizowanie zaufania, ale wiąże się z wyższymi kosztami; drugi pozwala na zweryfikowane obliczenia przy niższych kosztach dzięki mechanizmowi potwierdzania PoS i wyzwaniom ZK. Weryfikatorzy stawiają na Ethereum, a jeśli wynik zostanie skutecznie zakwestionowany przez dowód ZK, zostaną ukarani, co pozwala na równowagę między bezpieczeństwem a wydajnością. Dzięki integracji architektury ZK + PoS + SDK, Brevis osiąga równowagę między bezpieczeństwem a wydajnością, budując skalowalną, zaufaną warstwę obliczeń danych. Obecnie Brevis obsługuje protokoły takie jak PancakeSwap, Euler, Usual, Linea, a wszystkie współprace z zkCoprocessor opierają się na modelu Pure-ZK, oferując zaufane wsparcie dla DeFi, dystrybucji nagród i systemów tożsamości w łańcuchu, dzięki czemu inteligentne kontrakty zyskują rzeczywistą "pamięć i inteligencję".
3.4 Incentra: zweryfikowana warstwa dystrybucji zachęt oparta na ZK
Incentra jest zaufaną platformą dystrybucji zachęt napędzaną przez Brevis zkCoprocessor, zapewniającą bezpieczne, przejrzyste i zweryfikowane obliczenia i wypłaty nagród dla protokołów DeFi. Bezpośrednio weryfikuje wyniki zachęt na łańcuchu dzięki dowodom zerowej wiedzy, realizując zaufane, niskokosztowe i międzyłańcuchowe wykonania zachęt. System realizuje obliczenia i weryfikację nagród w obwodach ZK, zapewniając, że każdy użytkownik może niezależnie weryfikować wyniki; jednocześnie wspiera operacje międzyłańcuchowe i kontrolę dostępu, zapewniając zgodność i bezpieczeństwo automatycznej dystrybucji zachęt.
Incentra głównie wspiera trzy rodzaje modeli zachęt:
Token Holding: obliczanie nagród za długoterminowe trzymanie na podstawie ważonego czasu salda (TWA) ERC-20;
Skoncentrowana płynność: przydział nagród za płynność zgodnie z proporcjami opłat AMM DEX, kompatybilny z protokołami ALM, takimi jak Gamma i Beefy;
Lend & Borrow: obliczanie nagród za pożyczki na podstawie średnich sald i zadłużenia.
System ten został zastosowany w projektach takich jak PancakeSwap, Euler, Usual, Linea, osiągając pełny cykl zaufanych obliczeń od obliczeń zachęt do ich dystrybucji, dostarczając infrastrukturę zachęt na poziomie ZK dla protokołów DeFi.
3.5 Przegląd technologii produktu Brevis.
Cztery, wskaźniki technologiczne Brevis zkVM i przełomy wydajnościowe
Standardy L1 zkEVM w zakresie real-time proving (Realtime Proving, RTP), zaproponowane przez Fundację Ethereum (EF), stały się branżowym konsensusem i progiem wejścia dla możliwości zkVM na głównym łańcuchu Ethereum, a ich kluczowe wskaźniki oceny obejmują:
Wymagania dotyczące opóźnienia: P99 ≤ 10 sekund (dopasowane do 12-sekundowego cyklu blokowego Ethereum);
Ograniczenia sprzętowe: CAPEX ≤ $100K, zużycie energii ≤ 10kW (dopasowane do gospodarstw domowych / małych serwerowni);
Poziom bezpieczeństwa: ≥128-bit (okres przejściowy ≥100-bit);
Rozmiar dowodu: ≤300 KiB;
Wymagania systemowe: nie może polegać na zaufanym ustawieniu, kod źródłowy musi być całkowicie otwarty.
W październiku 2025 roku Brevis opublikował raport (Pico Prism — 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware), ogłaszając, że jego Pico Prism stał się pierwszym zkVM, który w pełni przeszedł standardy real-time block proving (RTP) Fundacji Ethereum (EF).
Przy konfiguracji 64×RTX 5090 GPU (około $128K), Pico Prism osiąga średnie opóźnienie 6.9 sekundy, 96.8% <10s, 99.6% <12s w blokach 45M gazu, znacznie przewyższając Succinct SP1 Hypercube (36M gazu, średnio 10.3s, 40.9% <10s). Przy redukcji opóźnienia o 71% i obniżeniu kosztów sprzętu o połowę, całkowita efektywność wydajności/koszt wzrasta o około 3.4×. Ten wynik został publicznie uznany przez Fundację Ethereum, Vitalika Buterina i Justina Drake'a.
Pięć, ekspansja ekosystemu Brevis i wdrożenie aplikacji
Współprocesor danych ZK Brevis (zkCoprocessor) obsługuje złożone obliczenia, których dApp nie może wydajnie zrealizować (np. zachowania historyczne, dane międzyłańcuchowe, analizy agregacyjne), generując zweryfikowane dowody zerowej wiedzy (ZKP). Na łańcuchu wystarczy zweryfikować ten mały dowód, aby bezpiecznie wywołać wynik, znacznie obniżając koszty gazu, opóźnienia i zaufania. W porównaniu do tradycyjnych oracle, Brevis dostarcza nie tylko "wyniki", ale także "matematyczne gwarancje poprawności wyników", a jego główne scenariusze zastosowania można podzielić na następujące kategorie
Inteligentne DeFi (Intelligent DeFi): na podstawie historycznych zachowań i stanu rynku, realizuje inteligentne zachęty i zróżnicowane doświadczenia (PancakeSwap, Uniswap, MetaMask itp.)
Wzrost RWA i stablecoinów (RWA & Stable Token Growth): automatyczny podział zysków między stablecoiny a RWA za pomocą weryfikacji ZK (OpenEden, Usual Money, MetaMask USD)
Prywatne zdecentralizowane transakcje (DEX with Dark Pools): przy użyciu modelu prywatnych transakcji z off-chain matchmaking i on-chain verification, wkrótce uruchomione
Międzyłańcuchowa interoperacyjność (Cross-chain Interoperability): wsparcie dla międzyłańcuchowego ponownego stakowania i interoperacyjności Rollup–L1, budowa dzielonej warstwy bezpieczeństwa (Kernel, Celer, 0G)
Zimny start publicznego łańcucha (Blockchain Bootstrap): wsparcie nowego ekosystemu publicznego łańcucha w zimnym starcie i wzroście dzięki mechanizmowi zachęt ZK (Linea, TAC)
Wysokowydajny łańcuch publiczny (100× Faster L1s): poprawa wydajności publicznych łańcuchów, takich jak Ethereum i BNB Chain, dzięki technologii real-time proving (RTP)
Weryfikowalna AI (Verifiable AI): łączenie ochrony prywatności z weryfikowalnym rozumowaniem, aby zapewnić zaufaną moc obliczeniową dla AgentFi i gospodarki danych (Kaito, Trusta)
Zgodnie z danymi Brevis Explorer, do października 2025 roku, sieć Brevis wygenerowała ponad 125 milionów ZK dowodów, obejmując prawie 95 tysięcy adresów i 96 tysięcy żądań aplikacji, szeroko służąc w scenariuszach dystrybucji nagród, weryfikacji transakcji i dowodach stakowania. Na poziomie ekosystemu platforma rozdzieliła nagrody w wysokości około 223 milionów dolarów, wspierając TVL przekraczający 2.8 miliarda dolarów, a związane z nimi wolumeny transakcji przekroczyły 1 miliard dolarów.
Aktualnie ekosystem Brevis koncentruje się na dwóch głównych kierunkach: dystrybucji zachęt w DeFi oraz optymalizacji płynności, a główne zużycie mocy obliczeniowej pochodzi z czterech projektów: Usual Money, PancakeSwap, Linea Ignition, Incentra, które łącznie stanowią ponad 85%. W tym
Usual Money (46.6M proofs): ukazuje swoją długoterminową stabilność w dużych dystrybucjach zachęt;
PancakeSwap (20.6M): odzwierciedla wysoką wydajność Brevis w obliczeniach stawek i rabatów w czasie rzeczywistym;
Linea Ignition (20.4M): weryfikuje wysoką wydajność przetwarzania współbieżności w ekologicznych działaniach L2;
Incentra (15.2%): oznacza ewolucję Brevis od narzędzi SDK do standaryzowanej platformy zachęt.
W dziedzinie zachęt DeFi, Brevis polega na platformie Incentra, wspierając różne protokoły w realizacji przejrzystego i ciągłego przydziału nagród:
Usual Money roczna skala zachęt przekracza $300M, dostarczając ciągłe zyski dla użytkowników stablecoinów i LP;
OpenEden i Bedrock realizują rozdział dochodów z amerykańskich obligacji oraz ponownego stakowania na podstawie modelu CPI;
Protokóły takie jak Euler, Aave, BeraBorrow weryfikują pozycje pożyczkowe i obliczają nagrody za pomocą ZK.
W obszarze optymalizacji płynności, PancakeSwap, QuickSwap, THENA, Beefy i inne wykorzystują dynamiczne stawki i wtyczki ALM Brevis, aby zrealizować rabaty transakcyjne i agregację zysków międzyłańcuchowych; Jojo Exchange i Uniswap Foundation wykorzystują mechanizm weryfikacji ZK do budowy bezpieczniejszego systemu zachęt transakcyjnych.
W obszarze międzyłańcuchowym i infrastrukturalnym Brevis rozszerzył się z Ethereum na BNB Chain, Linea, Kernel DAO, TAC i 0G, zapewniając wielołańcuchowym ekosystemom zaufane możliwości obliczeń i weryfikacji międzyłańcuchowej. Równocześnie projekty takie jak Trusta AI, Kaito AI, MetaMask wykorzystują ZK Data Coprocessor do budowy systemów ochrony prywatności, oceny wpływu i systemów nagród, przyspieszając rozwój inteligencji danych Web3. Na poziomie systemowym Brevis opiera się na sieci EigenLayer AVS, aby zapewnić bezpieczeństwo ponownego stakowania i łączy technologię agregacji dowodów NEBRA (UPA), kompresując wiele dowodów ZK w jeden wniosek, znacznie obniżając koszty i opóźnienia związane z weryfikacją w łańcuchu.
Ogólnie rzecz biorąc, Brevis pokrył wszystkie okresy zastosowań, od długoterminowych zachęt, przez nagrody za aktywność, po weryfikację transakcji i usługi platformowe. Jego zadania związane z weryfikacją o wysokiej częstotliwości i szablony obwodów do ponownego użycia dostarczają Pico/Prism rzeczywistych wyzwań wydajnościowych i informacji zwrotnych w zakresie optymalizacji, co może wspierać L1 zkVM real-time proving na poziomie inżynieryjnym i ekosystemowym, tworząc dwukierunkowe koło zamachowe technologii i zastosowań.
Sześć, tło zespołu i finansowanie projektu
Mo Dong｜Współzałożyciel (Co-founder, Brevis Network)
Dr Mo Dong jest współzałożycielem Brevis Network, posiada doktorat z informatyki z Uniwersytetu Illinois w Urbana-Champaign (UIUC), a jego badania były publikowane na międzynarodowych konferencjach naukowych najwyższej rangi, przyjęte przez firmy technologiczne, takie jak Google, i zyskały tysiące cytatów akademickich. Jego specjalizacja to teoria gier algorytmicznych i projektowanie mechanizmów protokołów, koncentrując się na łączeniu zerowej wiedzy (ZK) i zdecentralizowanych mechanizmów zachęt, dążąc do zbudowania zaufanej gospodarki zweryfikowanych obliczeń. Jako partner ryzykowny w IOSG Ventures, od lat bacznie obserwuje wczesne inwestycje w infrastrukturę Web3.
Zespół Brevis został założony przez doktorów z kryptografii i informatyki z UIUC, MIT, UC Berkeley, a jego kluczowi członkowie mają wieloletnie doświadczenie w badaniach nad systemami dowodów zerowej wiedzy (ZKP) oraz systemami rozproszonymi, publikując wiele recenzowanych artykułów. Brevis uzyskał uznanie techniczne od Fundacji Ethereum (Ethereum Foundation), a jego kluczowe moduły uważane są za kluczowe elementy infrastruktury skalowalności w łańcuchu.
Brevis zakończył rundę seed o wartości 7.5 miliona dolarów w listopadzie 2024 roku, prowadzone przez Polychain Capital i Binance Labs, z udziałem IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures oraz strategicznych aniołów inwestycyjnych z Kyber, Babylon, Uniswap, Arbitrum, AltLayer.
Siedem, analiza konkurencji rynku ZKVM i ZK Coprocessor
Obecnie ETHProofs.org wspierane przez Fundację Ethereum stało się kluczową platformą śledzącą standardy L1 zkEVM real-time proving (Realtime Proving, RTP), służącą do publicznego prezentowania wydajności, bezpieczeństwa i postępu w adaptacji głównych łańcuchów przez różne zkVM.
Podsumowując, konkurencja w zakresie RTP koncentruje się na czterech kluczowych wymiarach:
Doświadczenie: SP1 jest najdojrzalszym wdrożeniem produkcyjnym; Pico ma przewagę wydajności i zbliża się do standardów mainnet; RISC Zero jest stabilny, ale dane RTP nie są publiczne.
Wydajność: rozmiar dowodu Pico wynosi około 990 kB, co oznacza około 33% redukcję w porównaniu do SP1 (1.48 MB), a koszty są niższe;
Bezpieczeństwo i audyt: zarówno RISC Zero, jak i SP1 przeszły niezależne audyty bezpieczeństwa; Pico jest w trakcie procesu audytowego;
Ekosystem deweloperski: główne zkVM korzystają z zestawu instrukcji RISC-V, SP1 opiera się na SDK Succinct Rollup, tworząc szeroką ekosystem integracyjną; Pico wspiera automatyczne generowanie dowodów w Rust, a jakość SDK szybko rośnie.
Z najnowszych danych wynika, że obecnie rynek RTP ukształtował się w "dwie silne struktury".
Pierwsza linia Brevis Pico (w tym Prism) oraz Succinct SP1 Hypercube dążą do spełnienia standardu P99 ≤ 10s ustalonego przez EF. Pierwszy osiąga przełom w wydajności i kosztach dzięki rozproszonemu architekturze GPU, podczas gdy drugi utrzymuje dojrzałość inżynieryjną i stabilność ekosystemu. Pico reprezentuje innowacje w wydajności i architekturze, SP1 reprezentuje praktyczność i przewagę ekosystemową.
Druga linia RISC Zero, ZisK, ZKM wciąż eksplorują w zakresie kompatybilności ekosystemu i lekkości, ale nie opublikowały jeszcze pełnych wskaźników RTP (opóźnienie, zużycie energii, CAPEX, poziom bezpieczeństwa, rozmiar dowodów, reprodukowalność). Scroll (Ceno) i Matter Labs (Airbender) próbują rozszerzyć technologię Rollup na warstwę weryfikacyjną L1, co odzwierciedla ewolucyjny trend w kierunku zweryfikowanych obliczeń L1.
W 2025 roku rynek zkVM ukształtował się w kierunku zunifikowanej technologii RISC-V, modułowej ewolucji, standaryzacji rekurencji i równoległych przyspieszeń sprzętowych. Uniwersalna warstwa zweryfikowanych obliczeń zkVM (Verifiable Compute Layer) można podzielić na trzy kategorie:
Typ wydajnościowy: Brevis Pico, SP1, Jolt, ZisK koncentrują się na niskim opóźnieniu i real-time proving, zwiększając przepustowość obliczeń dzięki rekurencyjnym STARK i przyspieszeniu GPU.
Modularny i skalowalny: OpenVM, Pico, SP1 podkreślają modułową wymienność, wspierając dostępność współprocesorów.
Ekosystem i uniwersalny rozwój: RISC Zero, SP1, ZisK koncentrują się na zgodności SDK i języka, promując uniwersalność.
Aktualnie rynek zk-Coprocessor ukształtował się wokół Brevis, Axiom, Herodotus i Lagrange. Brevis prowadzi dzięki architekturze „ZK Data Coprocessor + uniwersalne zkVM”, łączącym odczyt danych historycznych, programowalne obliczenia i możliwości L1 RTP; Axiom koncentruje się na zweryfikowanych zapytaniach i wywołaniach obwodów; Herodotus specjalizuje się w dostępie do historycznych stanów; Lagrange optymalizuje wydajność obliczeń międzyłańcuchowych dzięki architekturze ZK+Optimistic. Ogólnie rzecz biorąc, zk-Coprocessor staje się zaufanym interfejsem obliczeniowym łączącym DeFi, RWA, AI i tożsamość.
Osiem, podsumowanie: logika biznesowa, realizacja inżynieryjna i potencjalne ryzyko.
Logika biznesowa: napędzana wydajnością i podwójnym kołem zamachowym
Brevis buduje wielołańcuchową warstwę zaufanych obliczeń z "uniwersalnym zkVM (Pico/Prism)" oraz "współprocesorem danych (zkCoprocessor)": pierwszy rozwiązuje problemy związane z dowodzeniem dowolnych obliczeń, a drugi realizuje wdrożenie biznesowe historycznych i międzyłańcuchowych danych.
Logika wzrostu tworzy pozytywną pętlę "wydajność — ekosystem — koszt": wydajność RTP Pico Prism przyciąga integrację głównych protokołów, co prowadzi do wzrostu skali dowodów i spadku kosztów jednostkowych, tworząc ciągłe wzmocnienie podwójnego koła zamachowego. Główne przewagi konkurencyjne obejmują trzy punkty:
Wydajność reprodukowalna — włączona do systemu RTP Fundacji Ethereum ETHProofs;
Bariery architektoniczne — modułowy design i równoległość wielu GPU zapewniają wysoką skalowalność;
Weryfikacja komercyjna — już zrealizowane na dużą skalę w dystrybucji zachęt, dynamicznych stawkach i weryfikacji międzyłańcuchowej.
Realizacja inżynieryjna: od "ponownego wykonania" do "weryfikacji zamiast wykonania"
Brevis realizuje równoległy framework z Pico zkVM i Prism, osiągając średni czas 6.9 sekundy, P99 < 10 sekund (64×5090 GPU, <$130 K CAPEX) w 45M gas blokach, przewyższając zarówno wydajnością, jak i kosztami. Moduł zkCoprocessor wspiera odczyt danych historycznych, generowanie obwodów i weryfikację blockchaina, a także umożliwia elastyczne przełączanie między trybem Pure-ZK a Hybrid, a ogólna wydajność dostosowuje się do twardych standardów RTP Ethereum.
Potencjalne ryzyko i punkty do rozważenia
Wymogi techniczne i regulacyjne: Brevis musi jeszcze opublikować i zweryfikować przez strony trzecie twarde wskaźniki dotyczące zużycia energii, bezpieczeństwa, rozmiaru dowodów i zależności od zaufanych ustawień. Kluczowe nadal pozostają optymalizacje wydajności długiego ogona, zmiany EIP mogą wpłynąć na wąskie gardła wydajności.
Ryzyko konkurencji i substytucji: Succinct (SP1/Hypercube) nadal prowadzi w integracji narzędzi i ekosystemu, zespoły Risc Zero, Axiom, OpenVM, Scroll, zkSync pozostają konkurencyjne.
Koncentracja przychodów i struktura biznesowa: obecnie ilość dowodów jest wysoce skoncentrowana (cztery największe aplikacje stanowią około 80%), potrzebna jest ekspansja przez różne branże, wiele publicznych łańcuchów i przypadków użycia, aby zmniejszyć zależność. Koszty GPU mogą wpływać na jednostkowy zysk brutto.
Podsumowując, Brevis zbudował wstępną zaporę na dwóch końcach: "wydajność reprodukowalna" i "biznes możliwy do wdrożenia": Pico/Prism utrzymuje się na pierwszej linii wyścigu L1 RTP, a zkCoprocessor otwiera wysoką częstotliwość i ponowne wykorzystanie w scenariuszach komercyjnych. W przyszłości sugeruje się osiągnięcie pełnych twardych wskaźników RTP Fundacji Ethereum jako cel etapowy, ciągłe wzmacnianie standaryzacji produktów współprocesorów i ekspansję ekosystemu, jednocześnie promując replikację przez strony trzecie, audyty bezpieczeństwa i przejrzystość kosztów. Poprzez osiągnięcie równowagi strukturalnej między infrastrukturą a przychodami SaaS, tworzy się zrównoważony krąg wzrostu biznesowego.
Zastrzeżenie: W trakcie tworzenia tego dokumentu skorzystano z narzędzia AI ChatGPT-5, autorzy dołożyli wszelkich starań, aby sprawdzić i zapewnić prawdziwość i dokładność informacji, jednak mogą wystąpić pewne niedopatrzenia, za co przepraszamy. Należy szczególnie podkreślić, że na rynku aktywów kryptograficznych powszechne są rozbieżności między podstawami projektów a cenami na rynku wtórnym. Treść niniejszego dokumentu ma na celu jedynie integrację informacji i wymianę akademicką/badawczą, nie stanowi żadnej porady inwestycyjnej, ani nie powinna być traktowana jako rekomendacja zakupu lub sprzedaży jakiegokolwiek tokena.
#ZK #brevis #zkEVM #ZKVM #ZKCoprocessor