Zero-Knowledge Dokazi: Sloj Privatnosti Koji je Ethereumu Preko Potreban

Ethereum je transparentna mašina. Svaka transakcija, svaki poziv ugovora, svaki token transfer — sve je javno vidljivo svakome ko ima pristup internetu. Ova transparentnost je suštinska za poverenje i revizibilnost blockchain sistema. Ali dolazi sa dubokim problemom privatnosti koji je godinama bio otvorena rana decentralizovanih finansija. Zero-knowledge dokazi nude matematičko rešenje koje menja jednačinu, i njihovo usvajanje u 2026. godini dostiglo je tačku preokreta.

Šta Je Zero-Knowledge Dokaz?

Zero-knowledge dokaz je kriptografski protokol koji jednoj strani — dokazivač — omogućava da dokaže drugoj strani — verifikatoru — da zna određenu informaciju, bez otkrivanja same informacije. Klasičan primer je zagonetka skrivenih slika: možete dokazati da znate gde se određeni objekat nalazi na slici a da ne pokažete lokaciju — tako što pokrijete celu sliku osim te jedne tačke.

U kontekstu blockchaina, ovo znači da možete dokazati da imate dovoljno sredstava za plaćanje transakcije bez otkrivanja vašeg ukupnog balansa. Možete dokazati da vaša adresa nije na OFAC sankcijskoj listi bez otkrivanja vašeg identiteta. Možete dokazati da je niz transakcija validan po pravilima protokola bez otkrivanja iznosa ili učesnika. Privatnost i verifikabilnost napokon nisu u suprotnosti.

ZK-SNARKs Nasuprot ZK-STARKs

Dve dominantne konstrukcije zero-knowledge dokaza u upotrebi danas imaju fundamentalno različite kompromise. ZK-SNARKs koriste eliptičke krive i bilinearne parove za generisanje kompaktnih dokaza koji se brzo verifikuju. Nedostatak je što zahtevaju trusted setup ceremoniju tokom inicijalizacije — ako je ceremonija kompromitovana, ceo sistem je ugrožen. Koriste ih Zcash, Groth16 sistemi i rana generacija zkEVM rollup-ova.

ZK-STARKs ne zahtevaju trusted setup i otporni su na kvantno računarstvo, ali generišu veće dokaze što povećava on-chain troškove verifikacije. Starkware ih koristi za StarkNet i StarkEx koji zajedno procesiraju milijarde transakcija. U periodu 2025–2026, dominiraju Plonk varijante — Plonky2, Plonky3, HyperPlonk — koji nude kompromis: bez trusted setup, sa manjim dokazima od STARKs i znatno bržim vremenom generisanja dokaza.

ZK Rollup-ovi: Skalabilnost Kao Primarna Primena

Primarni use case zero-knowledge dokaza danas nije privatnost već skalabilnost. ZK rollup-ovi kao što su zkSync Era, Polygon zkEVM, Scroll i Linea procesiraju hiljade transakcija off-chain, a zatim postavljaju jedan kriptografski dokaz na Ethereum koji dokazuje ispravnost svih tih transakcija odjednom.

Sa više od 14 milijardi dolara TVL-a u ZK rollup ekosistemu u ranom 2026, tehnologija je prešla iz akademske radoznalosti u kritičnu finansijsku infrastrukturu.

Bezbednosne implikacije su značajne u poređenju sa alternativama. Za razliku od optimistic rollup-ova koji se oslanjaju na period izazova i ekonomske podsticaje, ZK rollup-ovi matematički dokazuju svaku tranziciju stanja — nema prozora napada tokom perioda izazova. Povlačenja sa ZK rollup-ova dostupna su za minute, ne za nedelje, eliminišući rizik kapitala zarobljenog u optimistic rollup mostovima. I što je ključno: ZK rollup-ovi nasleđuju bezbednost Ethereum mainnet-a kroz kriptografske dokaze, za razliku od sidechain-ova poput Ronina koji su zahtevali sopstvenu validator bezbednost.

Novi Bezbednosni Rizici: ZK Circuit Greške

Zero-knowledge sistemi uvode jedan sasvim novi vektor napada koji ne postoji u tradicionalnim pametnim ugovorima: greške u ZK kolu. ZK kolo je matematičko predstavljanje programa koje dokazivač koristi za generisanje dokaza. Greška u kolu može dozvoliti da nevalidni dokazi budu prihvaćeni kao valjani — što bi napadaču omogućilo kreiranje lažnih sredstava ili zaobilaženje bezbednosnih provera.

Više od jedanaest ZK circuit ranjivosti dokumentovano je u javnim revizorskim izveštajima tokom 2024–2025, uključujući aritmetičke greške u schnorr potpis verifikaciji i netačne range check-ove koji dozvoljavaju negativne vrednosti. Revizija ZK kola zahteva specijalizovanu ekspertizu iz oblasti kriptografije i teorije formalne verifikacije koja je znatno ređa od Solidity ekspertize — i proporcionalno skuplja. Tržišni deficit ZK revizora jedan je od najakutnijih problema u blockchain bezbednosti u 2026. godini.

Zaključak

Zero-knowledge dokazi transformišu blockchain od transparentnog ledgera u programabilni sistem privatnosti i skalabilnosti. Ali zero-knowledge nije čarobni štapić bezbednosti — ZK kola mogu imati greške, implementacije mogu biti nesavršene i kao svaka nova kriptografska tehnologija, sigurnost dolazi sa dubinskim razumevanjem i rigoroznim revizijama. Ethereum-u je zero-knowledge sloj napokon dostupan u praktičnoj formi. Izazov je koristiti ga ispravno.

Izvor: L2Beat ZK Rollup TVL tracker, Q1 2026. ZKProof Community Security Reports, 2024–2025. Starkware transparency reports.