Wirtualna maszyna Ethereuma (ETH), zaprojektowana w 2015 r., powstała z myślą o uruchamianiu inteligentnych kontraktów – nie o generowaniu dowodów kryptograficznych. Z kolei dowody zero‑knowledge powstały po to, by tanio i prywatnie weryfikować obliczenia, bez jakiejkolwiek świadomości, czym jest opcode.
Przez lata oba światy wydawały się ze sobą zasadniczo niekompatybilne.
Potem inżynierowie znaleźli sposób, by je połączyć. Efektem jest jedna z najbardziej wymagających technicznie infrastruktur w całym ekosystemie krypto.
ZkEVM – skrót od zero‑knowledge Ethereum Virtual Machine – to próba uruchamiania kontraktów zgodnych z Ethereum, a następnie kryptograficznego udowodnienia, że zostały wykonane poprawnie, z użyciem dowodów ZK, bez zmuszania deweloperów do przepisywania choćby jednej linijki kodu.
Na pierwszy rzut oka brzmi to prosto. W praktyce oznaczało rozwiązanie problemów, z którymi cała branża zmagała się przez pół dekady.
TL;DR
- ZkEVM wykonuje kontrakty zgodne z Ethereum i generuje dowód zero‑knowledge, że wykonanie było poprawne, co pozwala na szybkie i tanie rozliczanie transakcji na głównej sieci Ethereum.
- Im trudniej zbudować ZkEVM, tym jest on bardziej kompatybilny z istniejącymi narzędziami Ethereuma – ten kompromis stoi w centrum wszystkich decyzji projektowych.
- Użytkownicy korzystają z bezpieczeństwa Ethereuma bez płacenia mainnetowych stawek za gas, a deweloperzy mogą wdrażać istniejące kontrakty w Solidity przy minimalnych lub zerowych zmianach.
Co tak naprawdę robią dowody zero‑knowledge
Zanim przejdziemy do EVM, trzeba jasno zrozumieć, czym jest dowód zero‑knowledge, a czym nie jest. Dowód ZK to metoda kryptograficzna, która pozwala jednej stronie – dowodzącemu – przekonać drugą stronę – weryfikatora – że dane twierdzenie jest prawdziwe, nie ujawniając przy tym danych, na których to twierdzenie się opiera.
Klasyczny przykład to udowodnienie, że zna się hasło, bez jego ujawniania. W blockchainach twierdzenie ma prawie zawsze charakter obliczeniowy: „Uruchomiłem ten program na tych danych wejściowych, otrzymałem taki wynik i zrobiłem to poprawnie”.
Weryfikatorem jest tu zwykle inteligentny kontrakt na warstwie 1 Ethereuma, który może zweryfikować dowód w milisekundy zamiast ponownie wykonywać każdą transakcję.
Dowody zero‑knowledge pozwalają sieciom warstwy 2 zgrupować tysiące transakcji, wygenerować jeden zwięzły dowód ich poprawności i opublikować tylko ten dowód na Ethereum, radykalnie obniżając koszt jednostkowy na użytkownika.
Dwa systemy dowodowe dominują dziś w krajobrazie ZkEVM. SNARK‑i (Succinct Non‑interactive ARguments of Knowledge) generują bardzo małe dowody, które szybko się weryfikuje, ale wymagają zaufanej fazy początkowej (trusted setup). STARK‑i (Scalable Transparent ARguments of Knowledge) nie potrzebują trusted setup i są odporne na ataki kwantowe, ale tworzą większe dowody. Większość zespołów ZkEVM postawiła na razie na SNARK‑i, bo koszt weryfikacji na głównej sieci Ethereum jest twardym ograniczeniem.
Zobacz też: Trump Media rezygnuje z wartego 6,42 mld dol. skarbca Cronos od Crypto.com
Dlaczego tak trudno jest „udowodnić” EVM
Ethereum Virtual Machine to środowisko stosowe z ponad 140 opcodami, systemem rozliczania gasu, złożonym modelem pamięci oraz dziesiątkami wyjątków, które narosły przez dekadę działania w realnych warunkach. Każdy opcode – od prostego ADD po kryptograficzne prekompilaty typu ECRECOVER – musi zostać opisany w postaci ograniczeń arytmetycznych, którymi potrafi operować system dowodów ZK.
Problem w tym, że systemy dowodów ZK „mówią” bardzo wąskim językiem matematycznym: działają natywnie nad ciałami skończonymi i wielomianami. EVM projektowano kompletnie bez tego założenia. Opcode’y takie jak KECCAK256 (funkcja haszująca Ethereuma) są niemal maksymalnie nieprzyjazne dla obwodów ZK, bo opierają się na operacjach bitowych, które przekładają się na ogromne, kosztowne zbiory ograniczeń.
Ta niezgodność stworzyła to, co badacze nazwali „problemem niekompatybilności EVM”. Można było zbudować szybki i tani ZK‑rollup, ale obsługiwałby wyłącznie specjalne programy pisane pod środowisko przyjazne ZK. Albo można było spróbować wesprzeć pełne EVM – tyle że generowanie dowodów stałoby się tak drogie i wolne, że mijałoby się z celem. Wyzwaniem inżynieryjnym ZkEVM jest zredukowanie tego kompromisu.
Wygenerowanie dowodu ZK dla pojedynczego hasha KECCAK256 może wymagać milionów ograniczeń arytmetycznych. Typowy blok Ethereuma zawiera tysiące hashy – stąd wczesne implementacje ZkEVM potrzebowały godzin na generowanie dowodów i do dziś wymagają wyspecjalizowanego sprzętu.
Zobacz też: Arthur Hayes spodziewa się rajdu Bitcoina, jeśli Fed uruchomi 1,373 bln dol. puli japońskich Treasuries
Cztery typy ZkEVM i co oznaczają
Nie wszystkie ZkEVM są sobie równe. Badacz Ethereuma Vitalik Buterin w 2022 r. zaproponował dziś powszechnie cytowaną taksonomię, która dzieli implementacje na cztery typy w zależności od poziomu kompatybilności z istniejącym stosem Ethereuma. Zrozumienie tych typów to najszybszy sposób na ocenę dowolnego projektu ZkEVM.
Typ 1 jest w pełni równoważny Ethereum. Dowodzi dokładnie tego samego przejścia stanu, struktury bloku, funkcji haszujących – wszystkiego – bez modyfikacji. Dzięki temu istniejące klienty Ethereuma mogą się z nim synchronizować natywnie, a wszystkie narzędzia działają od razu. Ceną jest ekstremalnie wolne i drogie generowanie dowodów. Obecnie żaden produkcyjny ZkEVM nie działa w trybie Typu 1, choć kilka zespołów w tym kierunku zmierza.
Typ 2 jest równoważny EVM. Zmienia część wewnętrznych struktur danych – na przykład zastępuje KECCAK bardziej przyjazną ZK funkcją haszującą w drzewie stanu – ale zachowuje pełną kompatybilność z bajtkodem EVM. Kontrakty zachowują się identycznie. Deweloperzy nie widzą różnicy. Generowanie dowodów jest szybsze niż w Typie 1, lecz wciąż kosztowne. Scroll i wczesne wersje Polygon zkEVM celowały właśnie w ten zakres.
Typ 3 wprowadza dodatkowe zmiany, które psują niewielką liczbę funkcji brzegowych, np. niektóre prekompilaty. Zdecydowana większość istniejących kontraktów nadal działa. Koszt dowodów jest jednak istotnie niższy. Większość komercyjnie wdrożonych ZkEVM‑ów, które weszły na rynek w latach 2023–2024, plasowała się początkowo między Typem 2 a Typem 3.
Typ 4 nie dowodzi bezpośrednio bajtkodu EVM, tylko kompiluje kod źródłowy w Solidity lub Vyper do własnej, przyjaznej ZK maszyny wirtualnej. To najszybsza i najtańsza opcja, ale może generować subtelne różnice w zachowaniu i uniemożliwia pewne niskopoziomowe sztuczki znane z EVM. zkSync Era stosuje takie podejście, korzystając z własnego kompilatora opartego na LLVM.
Ta taksonomia ma duże znaczenie dla budujących projekty. Migracja battle‑tested protokołu DeFi z mainnetu Ethereuma będzie wymagała Typu 2 lub 3, by zachować pełną zgodność zachowania. Zespół startujący od zera może świadomie zaakceptować Typ 4 w zamian za niższe koszty dowodów i szybszą finalność.
Zobacz też: Anthropic rezerwuje 191 MW mocy w Teksasie od kopalni Bitcoina
Jak ZkEVM przetwarza pojedynczą transakcję
Przejście krok po kroku przez jedną transakcję dobrze pokazuje architekturę. Gdy użytkownik wysyła transakcję do sieci ZkEVM, sekwencja wygląda następująco.
Po pierwsze, transakcja trafia do sequencera – węzła odpowiedzialnego za porządkowanie i zbieranie transakcji w paczki. Sequencer wykonuje transakcje, aktualizuje stan warstwy 2 i zapewnia użytkownikowi natychmiastowe „miękkie potwierdzenie”. W tym momencie portfel użytkownika pokazuje nowy balans, ale transakcja nie jest jeszcze kryptograficznie sfinalizowana 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, a następnie generuje dowód ważności, że przejście stanu zostało obliczone poprawnie. Ten etap jest bardzo zasobożerny i może trwać od kilku sekund do kilku minut, zależnie od systemu.
Po trzecie, dowód oraz niewielka ilość skompresowanych danych o transakcjach są wysyłane do inteligentnego kontraktu na Ethereum, zwanego verifier contract.
Kontrakt ten sprawdza dowód w pojedynczym wywołaniu on‑chain, co kosztuje stałą ilość gasu, niezależnie od liczby transakcji w paczce. Po pozytywnej weryfikacji korzeń stanu warstwy 2 zostaje sfinalizowany na Ethereum i jest tak samo bezpieczny, jak każda inna transakcja na mainnecie.
Zobacz też: ETF na XRP pojawia się w ujawnieniu kryptofunduszu na 111 tys. dol. Banku Narodowego Kanady
Modularny ZkEVM i interoperacyjność międzyłańcuchowa
Pierwsze projekty ZkEVM zakładały jeden poziom rozliczeń: Ethereum. Wszystko było dowodzone i finalizowane na głównej sieci. Nowsza architektura – modularny ZkEVM – rozdziela warstwę wykonania, warstwę dowodzenia i warstwę rozliczeń, tak aby można je było dowolnie komponować.
W tym miejscu na scenę wchodzą projekty takie jak Prom.
Prom określa się jako modularna warstwa 2 typu ZkEVM, umożliwiająca interoperacyjność zarówno z łańcuchami EVM, jak i nie‑EVM. Zamiast dowodzić wykonania i rozliczać je wyłącznie na Ethereum, wysyła dowody jednocześnie do wielu łańcuchów, tworząc matematyczny most między ekosystemami, które dotąd nie miały bezpiecznego, bezpośredniego połączenia.
Modularne podejście jest istotne, bo zdejmuje założenie, że Ethereum musi być jedyną „prawomocną” warstwą rozliczeń.
Dowód ZkEVM jest ostatecznie tylko konstrukcją matematyczną. Jeśli łańcuch A i łańcuch B mają kontrakty‑weryfikatory zdolne sprawdzić ten sam dowód, 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 techniką skalowania.
Modularne architektury ZkEVM rozdzielają wykonanie od rozliczeń, dzięki czemu 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, kryptograficzne źródło prawdy dla inaczej niekompatybilnych ekosystemów.
Zobacz też: TRON przetworzył 2,1 bln dol. w USDT, ale jego pula DeFi się skurczyła 1,9%](https://yellow.com/news/tron-cleared-2-1-trillion-usdt)
ZkEVM kontra optimistic rollups – bezpośrednie porównanie
Zestawienie ZkEVM z optimistic rollups wraca jak bumerang – i słusznie, bo oba podejścia rozwiązują ten sam problem, wychodząc z zupełnie odmiennych założeń.
Optimistic rollups z góry przyjmują, że transakcje są ważne, a weryfikują je dopiero wtedy, gdy ktoś zgłosi „fraud proof” w określonym oknie sporów (zazwyczaj siedem dni). Dzięki temu są tańsze w utrzymaniu i prostsze we wdrożeniu, ale wypłata środków na główny łańcuch Ethereum trwa tydzień, o ile nie skorzysta się z mostu zapewniającego płynność. Arbitrum i Optimism to dziś dominujące sieci w tej kategorii.
Rollupy ZkEVM nie zakładają niczego z góry. Każda paczka transakcji jest traktowana jako nieważna, dopóki dowód kryptograficzny nie wykaże czegoś przeciwnego. Oznacza to większe zużycie mocy obliczeniowej po stronie generowania dowodów, ale za to wypłaty na Ethereum mogą finalizować się w godzinach, a nie w dniach – bez uzależnienia od „uczciwych obserwatorów”, którzy mają wyłapywać oszustwa.
Z perspektywy użytkownika praktyczne różnice wyglądają następująco:
- Szybkość wypłat: ZkEVM wygrywa zdecydowanie – finalność oparta na dowodach zajmuje godziny, podczas gdy natywne wypłaty z optimistic rollups trwają około siedmiu dni.
- Koszt transakcji: Obecnie optimistic rollups są w wielu przypadkach tańsze, bo generowanie dowodów w ZkEVM dokłada koszt. Ta różnica jednak szybko się zmniejsza wraz z postępem sprzętu i algorytmów do proofów.
- Model bezpieczeństwa: ZkEVM zapewnia kryptograficzne gwarancje ważności. Optimistic rollups opierają się na zabezpieczeniu ekonomicznym przez fraud proofs – mocnym, ale nie równoważnym matematycznej pewności.
- Zgodność z EVM: Nowoczesne ZkEVM (Type 2/3) praktycznie domknęły lukę i obsługują niemal cały ekosystem narzędzi Ethereum, likwidując przewagę, którą wcześniej miały optimistic rollups.
- Ryzyko „zamrożenia” sieci: Systemy ZkEVM mogą się zatrzymać, jeśli po stronie proverów wystąpi awaria. Optimistic rollups działają dalej, dopóki aktywny jest sequencer.
Żadne z podejść nie jest „z definicji lepsze”. Aplikacje o bardzo dużych wolumenach, które priorytetyzują koszty i godzą się na tygodniowe okno wypłat, częściej wybierają optimistic rollups. Projekty wymagające szybkiej finalności, rozliczeń międzyłańcuchowych albo twardego, matematycznego dowodu poprawności skłaniają się ku ZkEVM.
Przeczytaj też: Akcje CoreWeave rosną o 11%, przychody w II kw. podwajają się dzięki boomowi na AI
Kto realnie zyskuje na ZkEVM już dziś
ZkEVM nie jest koncepcją „na kiedyś”. Działa już wiele sieci z realnie zablokowanym kapitałem i użytkownikami płacącymi opłaty transakcyjne. Warto jednak rozumieć, kto na poszczególnych elementach stosu korzysta najbardziej.
Protokoły DeFi migrujące z mainnetu Ethereum zyskują niemal identyczną semantykę wykonania (Type 2/3) i radykalnie niższe koszty gazu. Protokół, w którym detaliczni użytkownicy byli wypychani z rynku przez opłaty rzędu 30 USD za pojedynczy swap na mainnecie, może w ZkEVM oferować transakcje za ułamek centa – bez przepisywania smart kontraktów.
Mosty i aplikacje międzyłańcuchowe korzystają z modułowych architektur ZkEVM, które publikują dowody na wielu łańcuchach. Zamiast ufać multisigowemu mostowi – historycznie najbardziej podatnej na ataki kategorii w krypto – użytkownicy opierają się na matematycznym dowodzie weryfikowanym w łańcuchu.
Przedsiębiorstwa i instytucje budujące aplikacje w modelu permissioned lub semi-permissioned otrzymują sprawdzone środowisko wykonawcze z kryptograficzną audytowalnością. Każda zmiana stanu jest dowodliwie poprawna, co ma znaczenie dla zgodności regulacyjnej i rozliczeń.
Deweloperzy rozpoczynający dziś nowy projekt powinni dobrze rozumieć kompromis między Type 4 a Type 2 zanim wybiorą sieć. Jeśli piszesz świeży kod w Solidity i zależy ci maksymalnie na szybkości generowania dowodów i najniższych opłatach, lepiej może pasować sieć Type 4. Jeśli migrujesz istniejący protokół i nie możesz ryzykować subtelnych różnic w zachowaniu, bezpieczniejszym wyborem będzie Type 2 lub Type 3.
Z punktu widzenia zwykłego użytkownika ZkEVM jawi się po prostu jako tani, szybki, kompatybilny z Ethereum łańcuch, na którym działają te same portfele, a tokeny można łatwo przenieść mostem. Kryptograficzna „maszyneria” pod spodem pozostaje niewidoczna – i dokładnie tak powinna wyglądać dobra infrastruktura.
Przeczytaj też: Monad bije rekord 868 mln USD TVL, ale popyt na MON pozostaje słaby
Podsumowanie
ZkEVM to dziś jedno z najtrudniejszych zadań w zastosowanej kryptografii – próba zmuszenia wirtualnej maszyny, projektowanej pierwotnie bez matematycznej struktury, by operowała w języku dowodów o zerowej wiedzy.
Zespoły, którym się to udało, spędziły lata, zmagając się z niezgodnością funkcji skrótu, eksplozją liczby ograniczeń i koniecznością budowy sprzętu do proverów, który w momencie pisania prac naukowych jeszcze nie istniał.
Sektor nadal rozwija się błyskawicznie. Czas generowania dowodów stale się skraca. Zdecentralizowane sieci proverów wchodzą do gry. Pełna równoważność z Ethereum w modelu Type 1 pozostaje celem, do którego kilka zespołów realnie się zbliża.
Dla każdego, kto buduje na Ethereum lub inwestuje w jego ekosystem, zrozumienie, jak ZkEVM działa w praktyce – a nie tylko znajomość marketingowych haseł – staje się fundamentem wszystkich kolejnych decyzji.
Czytaj dalej: Nvidia z planem pozyskania 500 mld USD na AI stawia tokeny „crypto compute” w stan gotowości
