Dokazi bez znanja za privatnost u dVPN mrežama | Web3

Problem poverenja kod tradicionalnih VPN servisa

Da li ste se ikada zapitali zašto čitav svoj digitalni život poveravamo jednom VPN provajderu i jednostavno se nadamo da neće „viriti“ u naše podatke? Iskreno, prilično je neverovatno da je u 2025. godini naša najbolja odbrana privatnosti i dalje samo „časna reč“ jedne centralizovane kompanije.

Većina tradicionalnih servisa na sva zvona reklamira politiku „bez logova“ (no-logs policy), ali kao neko ko se bavi mrežama, vidim realnost na nivou paketa. Čak i ako ne čuvaju vašu istoriju pretrage, oni i dalje vide vašu pravu IP adresu i podatke o vremenu povezivanja u trenutku kada pristupate mreži.

• Centralizovane tačke otkazivanja: Tradicionalni provajderi rade na klasterima koje sami kontrolišu. Ako država izda sudski nalog ili haker dobije administratorski (root) pristup, vaši podaci su im nadohvat ruke direktno u RAM memoriji.
• Jaz u poverenju: Morate im verovati na reč. Studija koju je sproveo ExpressVPN 2024. godine ističe da se korisnici suštinski oslanjaju isključivo na poštenje provajdera, jer ne postoji tehnički način da se proveri šta se zapravo dešava u njihovom pozadinskom sistemu (backend).
• Zakoni o zadržavanju podataka: U mnogim jurisdikcijama, internet provajderi (ISP) i VPN kompanije su zakonski primorani da čuvaju određene metapodatke, što politiku „bez logova“ u tim regionima čini pravno nemogućom.

Godinama sam proučavao nadzor koji sprovode internet provajderi i problem je uvek u posredniku. Ako server mora da zna vaš identitet da bi vas autentifikovao, ta informacija automatski postaje bezbednosni rizik.

Prema podacima sa Vikipedije, dokazi nultog znanja (Zero-Knowledge Proofs – ZKP) su zapravo osmišljeni još 1985. godine upravo da bi rešili ovaj problem – kako dokazati identitet bez otkrivanja tajni. Konačno prisustvujemo prelasku ove tehnologije iz matematičkih radova u stvarne programske kodove.

U svakom slučaju, pravi problem nisu samo zlonamerni akteri, već sama arhitektura mreže. Potreban nam je sistem u kojem mreža može da potvrdi da ste platili uslugu ili da imate pravo pristupa, a da pritom zapravo ne zna ko ste „vi“.

U nastavku ćemo pogledati kako ZKP tehnologija potpuno menja pravila igre i rešava ovaj problem poverenja.

Šta su zapravo dokazi sa nultim znanjem (ZKP)?

Ako ste ikada pokušali da objasnite kriptografiju nekome ko nije stručnjak za mrežne tehnologije, znate koliko je to težak zadatak. Međutim, dokazi sa nultim znanjem (zero-knowledge proofs – ZKP) su zapravo prilično intuitivni ako na trenutak zaboravite na proste brojeve i zamislite magičnu pećinu.

Klasičan način na koji ovo objašnjavamo je priča o Ali Babinoj pećini. Zamislite kružnu pećinu sa dva puta, A i B, koji se spajaju kod magičnih vrata u pozadini. Milica zna tajnu reč za otvaranje tih vrata; Viktor želi dokaz da ona ne laže, ali Milica ne želi da mu otkrije samu lozinku.

Da bi to dokazala, Milica ulazi u pećinu dok Viktor čeka napolju. Viktor zatim uzvikne: „Izađi na put A!“ Ako je Milica kod vrata, ona ih otvori i pojavi se na traženom putu. Ako ovo ponove 20 puta i ona nijednom ne pogreši, matematika kaže da ona gotovo sigurno zna reč. Ovo funkcioniše jer svaka uspešna runda prepolovljuje šansu da je ona samo imala sreće; nakon 20 rundi, verovatnoća da je ona prevarant je praktično jedan prema milion. To je ono što u svetu matematike zovemo „ispravnost“ (soundness).

Kao što ističe Concordium, ovo predstavlja ključni prelaz sa „deljenja podataka“ na „deljenje dokaza“. Da bi se protokol zaista smatrao ZKP-om, mora da ispuni tri tehnička kriterijuma:

• Potpunost (Completeness): Ako je tvrdnja istinita, pošteni dokazivač će uvek ubediti verifikatora. U logici sistema nisu dozvoljeni „lažni negativni“ rezultati.
• Ispravnost (Soundness): Ako Milica laže, ne bi smela da prevari Viktora, osim u slučaju neke zanemarljive, astronomske slučajnosti. Prema standardima NIST-a, ovo se često naziva „ZKP znanja“, gde dokazujete da posedujete „svedoka“ (witness), odnosno tajnu.
• Nulto znanje (Zero-knowledge): Ovo je najvažnija stavka. Viktor ne saznaje apsolutno ništa o samoj lozinki, već samo potvrdu da je Milica poseduje.

U mom poslu, na identitet obično gledamo kao na potencijalni rizik. Ako čvor u decentralizovanoj VPN mreži (dVPN) zna vaš javni ključ, to je trag na nivou paketa podataka koji se može pratiti. ZKP to potpuno menja.

Članak iz 2024. godine kompanije Concordium navodi da za preduzeća privatnost postaje „osnovni zahtev“, a ne samo dodatna opcija. Bilo da dokazujete da ste stariji od 18 godina na nekom sajtu ili verifikujete zdravstveni karton, ZKP nam omogućava da obradimo logiku bez izlaganja samih podataka.

U nastavku ćemo se pozabaviti time kako ova tehnologija zapravo skriva vašu IP adresu u decentralizovanoj mreži.

Primena dokaza sa nultim znanjem (ZKP) u dVPN ekosistemu

Dakle, kako zapravo uzeti tu matematiku „magične pećine“ i implementirati je u dVPN? Jedna je stvar pričati o tome u teoriji, ali kada posmatrate sirove pakete podataka koji pristižu na čvor (node), stvari brzo postaju komplikovane. U standardnoj mreži, server obično proverava vaš identitet putem baze podataka — što je ogroman bezbednosni rizik za privatnost.

Cilj je postizanje anonimne autentifikacije. Želimo da čvor zna da imate pravo na korišćenje protoka, a da pritom ne sazna ko ste niti kakva vam je istorija plaćanja.

Većina savremenih dVPN projekata fokusira se na zk-SNARK protokole (jezgroviti neinteraktivni argumenti znanja). Kao što smo ranije videli, oni su idealni jer ne zahtevaju stalnu komunikaciju između strana.

• Dokazi o pretplati: Možete dokazati da ste platili mesečni plan na blokčejnu. Čvor verifikuje „dokaz“ da se vaš novčanik nalazi u grupi onih koji su izvršili uplatu, a da pritom nikada ne vidi adresu vašeg novčanika.
• Kontrola pristupa: Umesto korisničkog imena i lozinke koje bi internet provajder (ISP) mogao da presretne ili čvor da zabeleži, vi šaljete kriptografski dokaz. To je kao da pokazujete značku „verifikovan korisnik“ bez pokazivanja lične karte.
• Reputacija čvorova: Operateri čvorova takođe mogu koristiti ZKP da dokažu da nisu zlonamerni — na primer, dokazujući da nisu manipulisali paketima podataka — a da pritom ne otkrivaju internu arhitekturu svog servera.

U P2P mreži, vaša IP adresa je praktično vaša kućna adresa. Ako je operater čvora nepouzdan, mogao bi da beleži svaku IP adresu koja se poveže. Korišćenjem ZKP-a za inicijalno povezivanje (handshake), mi razdvajamo „identitet“ od „konekcije“.

Prema podacima kompanije Cloudflare, oni su još 2021. godine počeli da koriste dokaze „jedan od mnogih“ (one-out-of-many proofs) za privatnu veb atestaciju. Ovo u suštini omogućava korisniku da dokaže da pripada grupi ovlašćenih korisnika (poput „plaćenih pretplatnika“) bez otkrivanja o kom se konkretnom korisniku radi. Ako tehnološki gigant to koristi za verifikaciju hardvera bez curenja podataka, budite sigurni da dVPN mreže rade isto to za korisničke sesije.

Projekti kao što je SquirrelVPN implementiraju ove zk-SNARK protokole za povezivanje kako bi osigurali da čak ni čvor na koji se povezujete nema apsolutno nikakvu predstavu o tome ko ste vi zapravo.

U nastavku ćemo istražiti kako ovi dokazi omogućavaju da ekonomska strana deljenja protoka funkcioniše u praksi, a da pritom niko ne bude kompromitovan.

Rudarenje protoka i tokenizovane nagrade

Zamislite „rudarenje protoka“ (bandwidth mining) kao „Airbnb za internet“. Vi praktično dozvoljavate strancima da prođu kroz digitalni hodnik vaše kućne mreže, a zauzvrat dobijate isplatu u tokenima. Međutim, bez primene protokola nultog saznanja (ZKP), ti stranci — ili sama mreža — mogli bi da vide mnogo više nego što bi trebalo o onome što se dešava u vašem domu.

U P2P (peer-to-peer) sistemu moramo dokazati dve stvari: da je čvor zaista rutirao podatke i da korisnik zaista ima dovoljno kredita da to plati. Istorijski gledano, to je značilo da mreža mora da prati svaki paket, što predstavlja ogroman rizik po privatnost.

• Dokaz o rutiranju (Proof of Routing): Koristimo ZKP kako bismo verifikovali da je čvor obradio specifičan obim saobraćaja. Čvor dostavlja „dokaz“ blokčejnu koji se poklapa sa korisnikovom „priznanicom“, ali nijedna strana ne otkriva stvarni sadržaj podataka (payload) niti odredište paketa.
• Tokenizovani podsticaji: Operateri zarađuju nagrade na osnovu verifikovanog vremena dostupnosti (uptime) i protoka. Pošto je verifikacija zasnovana na nultom saznanju, mreža ne mora da zna stvarni identitet operatera da bi mu isplatila tokene u novčanik.
• Pravedna razmena: Kao što je navedeno u stručnim izvorima, ovi protokoli osiguravaju da „dokazivač“ (čvor) može ubediti „verifikatora“ (mrežu) da je posao obavljen, a da pritom ne otkrije osetljive podatke sadržane u tom radu.

Iskreno, nagledao sam se dovoljno nadzora od strane internet provajdera (ISP) da znam sledeće: ako ne anonimizujete platni sloj, vi zapravo nemate privatnost. Ako je adresa vašeg kripto novčanika povezana sa vašom kućnom IP adresom i logovima saobraćaja, onaj „VPN“ deo u dVPN-u postaje praktično beskoristan.

U nastavku ćemo istražiti kako sprečavamo usporavanje mreže dok se obavljaju sve ove složene matematičke operacije — odnosno, fokusiraćemo se na „sažetost“ (Succinct), ključni deo ove slagalice.

Tehničke prepreke za primenu ZKP-a u mrežnom povezivanju

Vidite, ja obožavam matematiku koja stoji iza dokaza sa nultim znanjem (ZKP), ali moramo biti realni – implementacija ovoga u živu mrežu je prava glavobolja. Jedna je stvar dokazati da znate tajnu na školskoj tabli, a sasvim druga to raditi dok neko pokušava da strimuje 4K video preko decentralizovanog čvora.

„Sažetost“ (Succinct), koja je ključni deo zk-SNARK protokola, trebalo bi da ubrza stvari, ali generisanje tih dokaza i dalje troši procesorske cikluse kao ludo. Ako vaš telefon mora da obavi gomilu teških proračuna samo da bi autentifikovao jedan paket, baterija će vam se isprazniti u trenu, a latencija će skočiti do neba.

Iz mog iskustva u analizi saobraćaja na nivou paketa, svaka milisekunda je presudna za rutiranje. Kada uvedete ZKP, vi zapravo uvodite „računarski porez“ na svako uspostavljanje veze (handshake).

• Opterećenje procesora (CPU Overhead): Generisanje dokaza je daleko zahtevnije od njegove verifikacije. Većina korisnika dVPN-a koristi mobilne telefone ili jeftine rutere koji nisu baš superkompjuteri, pa strana koja „dokazuje“ (prover) postaje usko grlo.
• Bagovi u kolima (Circuit Bugs): Ako matematika nije savršena, dobijate „nedovoljno ograničena kola“ (under-constrained circuits). Izveštaji o bezbednosti firmi kao što je Trail of Bits pokazuju da ogromna većina bagova u SNARK-ovima potiče upravo iz ovih logičkih praznina, gde bi haker potencijalno mogao da lažira dokaz.
• Mrežno kašnjenje (Network Lag): Interaktivni dokazi zahtevaju stalnu komunikaciju tamo-amo. Čak i kod onih neinteraktivnih, sama veličina nekih dokaza može biti problem. Na primer, zk-STARK su drugačiji tip ZKP-a koji ne zahteva „poverljivo podešavanje“ (trusted setup), što ih čini bezbednijim, ali oni imaju mnogo veće dokaze koji mogu zagušiti protok koji zapravo pokušavate da uštedite.

Iskreno, većina programera i dalje pokušava da pronađe tu idealnu sredinu gde je bezbednost maksimalna, a da internet pritom ne deluje kao dajal-ap (dial-up) iz 1995. godine.

U svakom slučaju, u nastavku ćemo videti kako industrija zapravo pokušava da reši ovaj problem kašnjenja, kako bismo konačno mogli da uživamo u potpunoj privatnosti bez žrtvovanja brzine.

Budućnost interneta otpornog na cenzuru

Dakle, šta je krajnji cilj sve ove matematike? Iskreno, svedoci smo potpune promene paradigme gde „privatnost po dizajnu“ (privacy by design) više nije samo marketinški slogan, već čvrsto kodirana mrežna realnost.

Kako se krećemo ka DePIN-u (decentralizovanim mrežama fizičke infrastrukture), stari model predavanja vašeg identiteta centralizovanom VPN provajderu izgledaće staromodno kao dial-up internet. Budućnost leži u „selektivnom otkrivanju“ – dokazivanju samo onoga što je neophodno i ničega više.

Sledeću eru interneta neće definisati oni koji prikupljaju najviše podataka, već oni koji smisle kako da im podaci budu što manje potrebni. Tu na scenu stupaju zkVM-ovi (virtuelne mašine sa nultim znanjem). Oni nam omogućavaju da izvršavamo složenu logiku – poput provere da li se korisnik nalazi u ograničenom regionu ili ima važeću pretplatu – van lanca (off-chain), a zatim samo objavimo minijaturni dokaz.

• Skaliranje privatnosti: Alati kao što su RISC Zero ili Succinct Labs omogućavaju programerima da pišu logiku za dokaze sa nultim znanjem (ZKP) u standardnim jezicima kao što je Rust. To znači da dVPN-ovi mogu da se skaliraju bez onog ogromnog „računarskog poreza“ o kojem smo ranije govorili.
• Otpornost na cenzuru: Kada čvor (node) ne zna ko ste niti čemu pristupate, vladama je mnogo teže da primoraju tog operatera da vas blokira.
• Usvajanje u korporativnom sektoru: Kao što je Concordium ranije napomenuo, kompanije počinju da posmatraju podatke kao odgovornost i rizik. Ako ne poseduju vaše podatke, ne mogu ih ni izgubiti u slučaju hakerskog napada.

U svakom slučaju, tehnologija je još uvek u ranoj fazi, ali je pravac jasan. Gradimo internet na kojem ne morate da tražite privatnost – ona je jednostavno podrazumevana na nivou protokola. Čitamo se u sledećoj detaljnoj analizi.