Wirtualna maszyna Ethereum (ETH) powstała w 2015 r. z myślą o wykonywaniu smart kontraktów – nie o generowaniu dowodów kryptograficznych. Z kolei dowody zerowej wiedzy zaprojektowano po to, by weryfikować obliczenia tanio i prywatnie, bez jakiejkolwiek koncepcji opcode’ów.
Przez lata wyglądało na to, że te dwa światy są ze sobą z gruntu niekompatybilne.
Inżynierowie zdołali je jednak połączyć. Efektem jest jedna z najbardziej wymagających technologicznie infrastruktur w całej branży krypto.
ZkEVM – zero-knowledge Ethereum Virtual Machine – to próba uruchamiania kompatybilnych z Ethereum smart kontraktów i jednoczesnego kryptograficznego dowodzenia, że wykonały się poprawnie, bez zmuszania deweloperów do przepisywania kodu.
W teorii brzmi to prosto. W praktyce oznaczało rozwiązanie problemów, które przez pół dekady blokowały całą branżę.
TL;DR
- ZkEVM wykonuje smart kontrakty zgodne z Ethereum i generuje dowód zerowej wiedzy, że wykonanie było poprawne, co pozwala na szybkie i tanie rozliczenie transakcji na głównej sieci Ethereum.
- Im trudniej zbudować ZkEVM, tym większa jego zgodność z istniejącą infrastrukturą Ethereum – ten kompromis stoi za większością decyzji projektowych w tym obszarze.
- Użytkownicy korzystają z bezpieczeństwa Ethereum bez płacenia mainnetowych stawek gas, a deweloperzy mogą wdrażać istniejące kontrakty w Solidity przy minimalnych zmianach lub bez zmian.
Co właściwie robią dowody zerowej wiedzy
Zanim przejdziemy do EVM, trzeba jasno zdefiniować, czym jest dowód zerowej wiedzy, a czym nie jest. Dowód ZK to metoda kryptograficzna, która pozwala jednej stronie – dowodzącej – przekonać drugą stronę – weryfikującą – że dane twierdzenie jest prawdziwe, nie ujawniając danych, na których to twierdzenie się opiera.
Klasyczny przykład to udowodnienie, że znamy hasło, bez jego ujawniania. W kontekście blockchaina twierdzenie jest niemal zawsze obliczeniowe: „Uruchomiłem ten program na tych danych wejściowych, otrzymałem taki wynik i zrobiłem to poprawnie”.
Weryfikatorem jest w tym przypadku smart kontrakt na Ethereum (warstwa 1), który sprawdza dowód w milisekundy, zamiast ponownie wykonywać wszystkie transakcje.
Dowody zerowej wiedzy pozwalają sieci warstwy 2 zgrupować tysiące transakcji, wygenerować jeden, zwarty dowód ich poprawności i opublikować na Ethereum tylko ten dowód. Radykalnie obniża to koszt jednostkowy dla użytkownika.
Dwa systemy dowodowe dominują dziś w świecie ZkEVM. SNARK-i (Succinct Non-interactive ARguments of Knowledge) tworzą bardzo małe dowody, które szybko się weryfikuje, ale wymagają procedury zaufanego ustawienia parametrów. STARK-i (Scalable Transparent ARguments of Knowledge) nie potrzebują zaufanego setupu i są odporne na komputery kwantowe, ale generują większe dowody. Większość zespołów pracujących nad ZkEVM obecnie stawia na systemy oparte na SNARK-ach, ponieważ koszt weryfikacji na mainnecie Ethereum jest twardym ograniczeniem.
Zobacz też: Trump Media Scraps $6.42B Cronos Treasury Deal With Crypto.com
Dlaczego tak trudno „udowodnić” EVM
Ethereum Virtual Machine to stosowa maszyna wirtualna z ponad 140 opcode’ami, systemem rozliczania gasu, złożonym modelem pamięci i masą przypadków brzegowych, które narosły przez dekadę działania sieci. Każdy opcode – od prostego ADD po kryptograficzne prekompilacje typu ECRECOVER – musi dać się opisać jako ograniczenie arytmetyczne, które system ZK potrafi przetworzyć.
Problem w tym, że systemy dowodów ZK operują w niezwykle wąskim języku matematycznym. „Myślą” w kategoriach ciał skończonych i równań wielomianowych. EVM projektowano bez jakiejkolwiek troski o te realia. Opcode’y takie jak KECCAK256 (funkcja haszująca Ethereum) są niemal maksymalnie „nieprzyjazne” dla obwodów ZK – wykorzystują operacje bitowe, które przekładają się na ogromne, kosztowne zbiory ograniczeń.
To niedopasowanie nazwano „problemem niekompatybilności EVM”. Można było zbudować szybki i tani rollup ZK, ale uruchamiający wyłącznie niestandardowe programy pisane pod ZK‑przyjazne środowisko. Albo próbować obsłużyć pełne EVM, kosztem tak drogiej i wolnej generacji dowodów, że cała idea skalowania traciła sens. Wyzwaniem inżynieryjnym ZkEVM jest zminimalizowanie tego kompromisu.
Wygenerowanie dowodu ZK dla pojedynczego hasha KECCAK256 może wymagać milionów ograniczeń arytmetycznych. Typowy blok Ethereum zawiera tysiące hashy – stąd wczesne implementacje ZkEVM potrzebowały godzin na stworzenie dowodu i do dziś korzystają ze specjalistycznego sprzętu.
Zobacz też: Arthur Hayes Sees Bitcoin Rally If Fed Opens Japan’s $1.373 Trillion Treasury Pool
Cztery typy ZkEVM – co oznaczają w praktyce
Nie wszystkie ZkEVM są takie same. Badacz Ethereum Vitalik Buterin w 2022 r. zaproponował dziś już powszechnie cytowaną klasyfikację, dzielącą implementacje na cztery typy, zależnie od poziomu zgodności z istniejącym stosem Ethereum. Zrozumienie tych typów to najszybsza metoda oceny każdego projektu ZkEVM.
Typ 1 to pełna równoważność z Ethereum. Dowodzimy dokładnej transformacji stanu Ethereum – łącznie ze strukturą bloków, funkcjami haszującymi itd. – bez modyfikacji. Dzięki temu istniejące klienty Ethereum mogą synchronizować się natywnie, a wszystkie narzędzia „działają od strzału”. Cena: generowanie dowodów jest ekstremalnie wolne i drogie. Obecnie żaden produkcyjny ZkEVM nie działa w trybie Typ 1, choć część zespołów do tego dąży.
Typ 2 to równoważność na poziomie EVM. Zmieniane są niektóre wewnętrzne struktury danych – np. zastąpienie KECCAK bardziej ZK‑przyjaznym hashem w drzewie stanu – przy zachowaniu pełnej kompatybilności z bajtkodem EVM. Smart kontrakty zachowują się identycznie, deweloper praktycznie nie widzi różnicy. Generowanie dowodów jest szybsze niż w Typie 1, ale nadal kosztowne. W ten zakres celują m.in. Scroll i wczesne wersje Polygon zkEVM.
Typ 3 wprowadza dodatkowe modyfikacje, które łamią niewielki zestaw rzadkich funkcjonalności, np. niektóre prekompilacje. Zdecydowana większość istniejących kontraktów dalej działa bez zmian. Generowanie dowodów staje się zauważalnie tańsze. Większość komercyjnych ZkEVM uruchamianych w latach 2023–2024 plasowała się między Typem 2 a Typem 3 w pierwszych wersjach.
Typ 4 kompiluje kod źródłowy w Solidity lub Vyper do niestandardowej, ZK‑przyjaznej maszyny wirtualnej zamiast dowodzić bezpośrednio bajtkodu EVM. To najszybsza i najtańsza opcja, ale może generować subtelne różnice w zachowaniu i uniemożliwia część niskopoziomowych trików EVM. zkSync Era stosuje takie podejście, wykorzystując własny kompilator oparty o LLVM.
Ta taksonomia ma znaczenie dla budujących protokoły. Projekt migrujący wielokrotnie audytowany protokół DeFi z mainnetu Ethereum będzie preferował Typ 2 lub Typ 3, by mieć praktyczną gwarancję identycznego zachowania. Nowe projekty, budowane od zera, mogą świadomie wybrać Typ 4, by zyskać niższe koszty dowodzenia i szybszą finalność.
Zobacz też: Anthropic Locks Up 191 Megawatts Of Texas Power From A Bitcoin Miner
Jak ZkEVM przetwarza pojedynczą transakcję
Prześledzenie pojedynczej transakcji od początku do końca pomaga zrozumieć architekturę. Gdy użytkownik wysyła transakcję do sieci ZkEVM, sekwencja wygląda następująco.
Po pierwsze, transakcja trafia do sekwencera – noda odpowiedzialnego za porządkowanie i łączenie transakcji w paczki. Sekwencer wykonuje transakcje, aktualizuje stan warstwy 2 i zapewnia użytkownikowi natychmiastowe „miękkie potwierdzenie”. W tym momencie portfel pokazuje już zmienione saldo, ale transakcja nie jest jeszcze kryptograficznie finalna na Ethereum.
Po drugie, paczka transakcji trafia do provera – wyspecjalizowanego oprogramowania (lub sprzętu), które uruchamia algorytm dowodzenia ZK. Prover pobiera stan sprzed wykonania, wszystkie transakcje i stan po wykonaniu, po czym generuje dowód ważności potwierdzający, że zmiana stanu została policzona prawidłowo. To najbardziej zasobożerny etap – trwa od kilku sekund do kilku minut, zależnie od systemu.
Po trzecie, dowód wraz z niewielką ilością skompresowanych danych o transakcjach trafia do smart kontraktu na Ethereum – tzw. kontraktu weryfikującego.
Kontrakt weryfikuje dowód w pojedynczym wywołaniu on-chain, którego koszt gas jest w przybliżeniu stały, niezależnie od liczby transakcji w paczce. Po pozytywnej weryfikacji root stanu warstwy 2 zostaje sfinalizowany na Ethereum i jest tak samo bezpieczny jak dowolna mainnetowa transakcja.
Zobacz też: XRP ETF Appears In National Bank Of Canada’s $111K Crypto Fund Disclosure
Modularny ZkEVM i interoperacyjność między łańcuchami
Pierwotna wizja ZkEVM zakładała pojedynczą warstwę rozliczeniową: Ethereum. Wszystkie dowody powstawały po to, by osadzać je na mainnecie Ethereum. Nowsza architektura – modularny ZkEVM – rozdziela jednak warstwę wykonania, warstwę dowodzenia i warstwę rozliczeń, tak by można je było swobodnie komponować.
Tu na scenę wchodzą projekty takie jak Prom.
Prom określa się jako modularną warstwę 2 ZkEVM, zapewniającą interoperacyjność zarówno z łańcuchami EVM, jak i nie‑EVM. Zamiast dowodzić wykonania i rozliczać je wyłącznie na Ethereum, przesyła dowody równolegle do wielu łańcuchów, tworząc matematyczny most między ekosystemami, które wcześniej nie miały beztrustowego połączenia.
Modularne podejście jest istotne, bo zdejmuje założenie, że Ethereum to jedyna właściwa warstwa rozliczeń.
Dowód ZkEVM jest ostatecznie „tylko” matematyczną konstrukcją. Jeśli zarówno Łańcuch A, jak i Łańcuch B posiadają kontrakt weryfikujący zdolny do sprawdzenia tego dowodu, pojedynczy proof może sfinalizować przejście stanu na obu łańcuchach jednocześnie. W ten sposób dowody ZK stają się uniwersalnym prymitywem interoperacyjności, a nie wyłącznie narzędziem skalowania.
Modularne architektury ZkEVM rozdzielają wykonanie od rozliczeń. Ten sam dowód ważności może zostać zweryfikowany na Ethereum, na łańcuchu nie‑EVM lub na obu naraz, tworząc wspólne, kryptograficznie spójne „źródło prawdy” dla z natury niekompatybilnych ekosystemów.
Zobacz też: TRON Cleared $2.1 Trillion In USDT, But Its DeFi Pool Shrank 1,9%
ZkEVM kontra optimistic rollups – zestawienie
Porównanie ZkEVM z optimistic rollups wraca jak bumerang – i słusznie. Oba rozwiązania adresują ten sam problem, przyjmując diametralnie różne założenia.
W optimistic rollups transakcje z definicji uznawane są za ważne i weryfikuje się je dopiero wtedy, gdy ktoś zgłosi podejrzenie oszustwa w trakcie okna sporów (zwykle siedem dni). Dzięki temu takie sieci są tańsze w utrzymaniu i prostsze w budowie, ale wypłata środków z powrotem na główny łańcuch Ethereum trwa tydzień, o ile nie skorzysta się z mostu zapewniającego płynność. Arbitrum i Optimism to dziś główni przedstawiciele tego podejścia.
Rollupy ZkEVM nie zakładają nic z góry. Każda „paczka” transakcji jest traktowana jako nieważna, dopóki dowód kryptograficzny nie potwierdzi jej poprawności. To oznacza większy narzut obliczeniowy po stronie generowania dowodów, ale wypłaty na Ethereum finalizują się w godzinach, a nie dniach – i nie ma tu zależności od „uczciwych obserwatorów”, którzy mieliby wyłapywać nadużycia.
Z perspektywy użytkownika praktyczne różnice wyglądają następująco:
- Szybkość wypłat: ZkEVM wygrywa zdecydowanie – finalność oparta na dowodach to godziny, przy siedmiu dniach oczekiwania na natywną wypłatę z optimistic rollups.
- Koszt transakcji: Obecnie optimistic rollups są w wielu przypadkach tańsze, bo generowanie dowodów ZkEVM podnosi koszt. Różnica jednak systematycznie maleje wraz z postępem w sprzęcie i algorytmach dla proverów.
- Model bezpieczeństwa: ZkEVM zapewnia kryptograficzne gwarancje ważności. Optimistic rollups opierają się na ekonomicznych bodźcach i mechanizmie fraud proofs – silnych, ale nie równoważnych matematycznej pewności.
- Zgodność z EVM: Nowoczesne ZkEVM (typ 2/3) niemal zlikwidowały dystans, obsługując praktycznie cały ekosystem narzędzi Ethereum. To niweluje przewagę, którą przez lata miały optimistic rollups.
- Ryzyko „zawieszenia” sieci: System ZkEVM może się zatrzymać, jeśli przestanie działać prover. Optimistic rollups pozostają operacyjne, o ile żyje sekwencer.
Żadne z podejść nie jest „lepsze zawsze i wszędzie”. Aplikacje o bardzo dużym wolumenie, które stawiają na minimalny koszt i są w stanie zaakceptować kilkudniowe okno wypłat, zwykle wybierają optimistic rollups. Projekty wymagające szybkiej finalności, rozliczeń międzyłańcuchowych czy formalnego dowodu poprawności, skłaniają się ku ZkEVM.
Przeczytaj także: Akcje CoreWeave rosną o 11%, bo przychody w II kw. podwajają się dzięki boomowi AI
Kto realnie korzysta na ZkEVM już dziś
ZkEVM to nie jest futurystyczny koncept z laboratoriów. Działa już kilka sieci, z realnie ulokowanym kapitałem i użytkownikami płacącymi opłaty transakcyjne. Warto jednak dobrze zrozumieć, kto na poszczególnych warstwach tego stosu zyskuje najwięcej.
Protokoły DeFi migrujące z głównego łańcucha Ethereum korzystają z niemal identycznej semantyki wykonania (typ 2/3) przy nieporównanie niższych opłatach za gas. Protokół, który na mainnecie wypychał detalicznych użytkowników przez opłaty rzędu 30 USD za swap, na ZkEVM może zejść do ułamka centa – bez przepisywania smart kontraktów od zera.
Mosty i aplikacje międzyłańcuchowe korzystają z modułowej architektury ZkEVM, która pozwala publikować dowody na wielu łańcuchach. Zamiast ufać multisigowi – historycznie najbardziej podatnej na ataki kategorii w świecie krypto – użytkownicy mogą oprzeć się na dowodzie matematycznym weryfikowanym on-chain.
Firmy i instytucje budujące aplikacje permisyjne lub pół-permisyjne otrzymują sprawdzone środowisko wykonawcze z pełną kryptograficzną audytowalnością. Każda zmiana stanu jest formalnie poprawna, co ma bezpośrednie przełożenie na wymogi regulacyjne i sprawozdawczość.
Deweloperzy zaczynający dziś nowe projekty powinni rozumieć kompromis między sieciami typu 4 a typu 2, zanim wybiorą infrastrukturę. Jeśli piszesz nowe kontrakty w Solidity i zależy ci maksymalnie na szybkości generowania dowodów i najniższych opłatach, rozsądny może być wybór sieci typu 4. Jeśli migrujesz istniejący protokół i nie możesz sobie pozwolić na nawet subtelne różnice w zachowaniu, bezpieczniejsza będzie sieć typu 2 lub 3.
Dla przeciętnego użytkownika ZkEVM to po prostu tania, szybka, zgodna z Ethereum sieć, w której działają dotychczasowe portfele, a znane tokeny da się łatwo przenieść mostem. Kryptograficzna „maszyneria” pod spodem pozostaje niewidoczna – dokładnie tak, jak powinna działać dobra infrastruktura.
Przeczytaj także: Monad bije rekord 868 mln USD TVL, ale popyt na MON pozostaje mizerny
Podsumowanie
ZkEVM to jedno z najtrudniejszych zadań w praktycznej kryptografii – przekształcenie wirtualnej maszyny zaprojektowanej bez myślenia o strukturze matematycznej w środowisko, które „mówi językiem” dowodów o zerowej wiedzy.
Zespoły, którym udało się ten problem przełamać, latami zmagały się z niekompatybilnością funkcji haszujących, eksplozją liczby ograniczeń w systemach dowodzenia oraz z koniecznością tworzenia sprzętu dla proverów, który fizycznie nie istniał, gdy powstawały pierwsze prace naukowe.
To wciąż dynamicznie rozwijający się segment. Czas generowania dowodów systematycznie spada. Zdecentralizowane sieci proverów wchodzą do gry. Pełna zgodność typu 1 – idealne odwzorowanie Ethereum – pozostaje celem, do którego kilka zespołów realnie się zbliża.
Dla każdego, kto buduje w ekosystemie Ethereum albo inwestuje w ten sektor, zrozumienie, jak ZkEVM działa w praktyce – poza marketingowymi hasłami – staje się fundamentem wszystkich kolejnych decyzji.
Zobacz również: 500 mld USD na AI od Nvidii stawia tokeny „crypto compute” w centrum uwagi
