Dokazi bez znanja za privatnu verifikaciju dVPN saobraćaja

Problem sa tradicionalnim beleženjem saobraćaja

Da li ste se ikada zapitali zašto poveravamo svaku svoju digitalnu tajnu nekoj nasumičnoj kompaniji u stranoj državi? Kada malo bolje razmislite, to je prilično neobično. Plaćamo za privatnost, ali suštinski samo premeštamo svoje podatke iz kante internet provajdera u kantu VPN provajdera.

Glavni problem leži u tome što većina servisa tvrdi da primenjuje politiku "bez beleženja podataka" (no-logs), ali bukvalno ne postoji način da to i proverite. To je, u najboljem slučaju, obećanje na reč.

• Rizik od "Honeypot" napada: Centralizovani serveri su ogromne mete. Ako vlada ili haker upadnu u sistem, dobijaju pristup svemu i od svakoga istovremeno.
• Izneverena obećanja: Bili smo svedoci slučajeva gde su provajderi koji tvrde da ne čuvaju logove predali podatke pod pritiskom nadležnih organa.
• Skriveni metapodaci: Čak i ako ne beleže vaš "saobraćaj", često zadržavaju vremenske oznake ili IP adrese radi "rešavanja tehničkih problema", što se i dalje može iskoristiti za vašu identifikaciju.

Decentralizovani VPN-ovi (dVPN) pokušavaju da reše ovaj problem korišćenjem P2P mreže u kojoj obični ljudi dele svoj višak propusnog opsega. Međutim, sistem još uvek nije savršen. Iako dVPN-ovi rešavaju problem centralizacije, oni uvode novi izazov poverenja: individualnog operatera čvora. Pošto nasumična osoba usmerava vaše podatke, javlja se opravdana briga da bi taj operater mogao da špijunira vaš saobraćaj.

Kao što je prikazano na Dijagramu 1, protok podataka se pomera sa centralnog čvorišta na distribuiranu mrežu (mesh), gde se vaša konekcija prenosi preko više pojedinačnih čvorova umesto kroz jedan veliki korporativni server.

Prema izveštaju organizacije Top10VPN iz 2024. godine, mnogi vodeći servisi i dalje imaju "nejasne" politike beleženja podataka uprkos drugačijem marketingu. U dVPN okruženju, briga je usmerena na operatera čvora koji može da vrši "njuškanje" (sniffing) vaših paketa. Uz to, mreža mora da dokaže da je čvor zaista pružio uslugu, a da pritom ne vidi šta ste tačno radili.

Dakle, kako da dokažemo da se saobraćaj dogodio bez stvarnog uvida u taj saobraćaj? Tu stvari postaju zaista zanimljive sa primenom dokaza sa nultim znanjem (zero-knowledge proofs).

Šta su zapravo dokazi sa nultim znanjem (Zero-Knowledge Proofs)?

Zamislite da želite da dokažete prijatelju da imate ključ od zaključane kutije, ali ne želite da on vidi sam ključ niti ono što se nalazi unutra. Kako to izvesti, a da mu ga jednostavno ne predate u ruke?

Upravo u tome leži magija dokaza sa nultim znanjem (zkp). To je kriptografska metoda gde jedna strana (dokazivač) može da dokaže drugoj strani (proveravaocu) da je određena tvrdnja tačna, a da pri tome ne otkrije nijednu informaciju osim same činjenice da je tvrdnja istinita.

Zamislite kružnu pećinu sa tajnim vratima na dnu za koja je potrebna lozinka. Ako želim da vam dokažem da znam lozinku, a da vam je ne kažem, mogu ući u pećinu dok vi gledate kako izlazim na drugu stranu. Vi ne čujete lozinku, ali znate da sam morao da je znam kako bih prošao kroz vrata.

• Finansije: Banke mogu da potvrde da imate dovoljno novca za stambeni kredit bez uvida u vašu kompletnu istoriju transakcija ili tačno stanje na računu.
• Zdravstvo: Istraživač može potvrditi da pacijent poseduje specifičan genski marker za studiju, a da pritom nikada ne vidi ime pacijenta ili druge privatne medicinske podatke.
• Maloprodaja: Dokazivanje da imate više od 18 ili 21 godine za kupovinu proizvoda na mreži bez deljenja vašeg tačnog datuma rođenja ili kućne adrese.
• Mrežni saobraćaj: Dokazivanje da je paket podataka poslat sa tačke A na tačku B bez otkrivanja sadržaja poruke ili identiteta pošiljaoca.

Dijagram 2 ilustruje ovu logiku pokazujući kako „Dokazivač“ šalje matematički dokaz „Proveravaocu“ koji potvrđuje istinitost tvrdnje bez deljenja izvornih podataka.

Prema izvorima iz Chainlink-a, zkp sistemi kao što su zk-SNARKs postaju zlatni standard za privatnost jer su „neinteraktivni“, što znači da je dokaz samo jedan mali delić podataka koji se šalje jednokratno.

U svetu decentralizovanih VPN mreža (dVPN), ovo je od presudnog značaja. To znači da čvor (node) može da dokaže da je ispravno rutirao vaše podatke, a da pritom nikada ne „vidi“ same pakete podataka. Ali kako to zapravo primeniti na kompleksan internet saobraćaj? Tu tehnologija postaje još fascinantnija.

Implementacija dokaza sa nultim znanjem (ZKP) na tržištu protoka

Postavlja se pitanje: kako zapravo nekome platiti za iskorišćeni protok (bandwidth), a da pritom nemamo uvid u to šta šalje niti gde ti podaci idu? Zvuči kao paradoks – dokazati da je posao obavljen, dok sam sadržaj posla ostaje potpuna tajna.

Na tržištu protoka koristimo zk-snark protokole kako bismo potvrdili da je čvor (node) zaista preneo 500 MB podataka za korisnika. Čvor dostavlja „dokaz“ da zaglavlja paketa odgovaraju očekivanom protokolu i veličini, ali sam sadržaj (payload) – vaši imejlovi, lozinke ili mimovi sa mačkama – ostaje enkriptovan i nevidljiv za operatera čvora.

• Validacija paketa: Mreža proverava da li su paketi odgovarajuće veličine i učestalosti bez „zavirivanja“ unutra. Ovo sprečava čvorove da šalju prazne, beskorisne podatke samo kako bi sakupljali nagrade (farming).
• Sibil (Sybil) zaštita: Osigurava da jedna osoba ne pokreće 100 lažnih čvorova na jednoj mašini kako bi „delila“ protok sama sa sobom. Ovo funkcioniše jer ZKP može dokazati da čvor ima jedinstveni hardverski potpis ili „Dokaz o doprinosu“ (Proof of Contribution) bez otkrivanja specifičnog identiteta čvora.
• Privatnost na prvom mestu: Čak i ako je operater čvora tehnološki potkovan, on ne može videti vašu odredišnu IP adresu jer dokaz validira samo činjenicu prenosa, a ne i njegove detalje.

Prema istraživanju instituta Ingo Research, zk-snark protokoli omogućavaju „sažetu“ (succinct) verifikaciju. To znači da se blokčejn ne opterećuje ogromnim datotekama, već samo proverava minijaturni dokaz.

Tu na scenu stupa novac (odnosno tokeni). Koristimo pametne ugovore koji deluju kao automatizovani, nepristrasni deponat (escrow). Kada se ZKP verifikuje, ugovor automatski oslobađa isplatu pružaocu usluge čvora.

Izveštaj kompanije Messari iz 2023. godine o DePIN-u (Decentralizovanim mrežama fizičke infrastrukture) – što je samo stručan naziv za mreže koje grade i poseduju korisnici umesto velikih korporacija – sugeriše da su tokenizovani podsticaji jedini način da P2P mreže skaliraju i postanu konkurentne velikim internet provajderima (ISP).

Dijagram 3 prikazuje ciklus tržišta: korisnik zahteva protok, čvor ga obezbeđuje, generiše se ZKP kao dokaz o obavljenom radu, a pametni ugovor isplaćuje nagradu.

Ovo je, u suštini, samouslužni aparat zasnovan na poverenju u kod (trustless). Vi pošaljete zahtev, čvor odradi posao, matematika to dokaže, a isplata se izvrši trenutno. Nema potrebe za posrednikom koji bi „odobrio“ transakciju.

U nastavku ćemo se pozabaviti tehničkim preprekama, poput opterećenja procesora (CPU) i kašnjenja (latency), koje otežavaju implementaciju ovog sistema u realnim uslovima.

Tehničke prepreke i budućnost DePIN sektora

Ako je ova tehnologija toliko napredna, zašto je već svi ne koristimo? Istina je da „dokazivanje“ nečega bez otkrivanja samih podataka predstavlja ogroman napor za vaš računar.

Generisanje dokaza sa nultim znanjem (ZKP) nije nimalo lak zadatak. Iako je provera dokaza izuzetno brza, osoba koja ga kreira – operater čvora – mora da obavi ozbiljan procesorski posao. Na običnom laptopu to može izazvati primetan skok u potrošnji procesora i blago usporavanje sistema.

• Procesorsko opterećenje: Kreiranje zk-SNARK dokaza zahteva složene matematičke operacije koje mogu usporiti protok saobraćaja u realnom vremenu. Ako vaš VPN radi sporo kao nekadašnji "dial-up", niko ga neće koristiti.
• Problemi sa latencijom: U P2P mreži svaka milisekunda je važna. Dodavanje „koraka verifikacije“ svakom paketu podataka može frustrirati gejmere ili ljude na video pozivima.
• Optimizacija: Programeri trenutno rade na „rekurzivnim dokazima“ i hardverskoj akceleraciji (poput korišćenja grafičkih procesora) kako bi se ovi procesi odvijali u pozadini, a da korisnik to i ne primeti.

Prema tehničkom blogu kompanije a16z crypto iz 2023. godine, efikasnost dokazivača (prover-a) predstavlja jedno od najvećih uskih grla za skaliranje ovih sistema privatnosti.

Uprkos preprekama, krajnji cilj je mreža koju velike tehnološke korporacije ne mogu jednostavno da „isključe“. Udruživanjem propusnog opsega iz hiljada domova, stvaramo distribuisanu mrežu koju je praktično nemoguće cenzurisati.

• Otpornost na cenzuru: Pošto ne postoji centralni server koji se može blokirati, DePIN mreža nastavlja da funkcioniše čak i ako država pokuša da „izvuče utikač“.
• Globalni domet: Dobijate IP adresu iz nečije kuće, što servisima za striming ili zaštitnim zidovima (firewall) znatno otežava da vas označe kao „korisnika VPN-a“.

Iskreno govoreći, ovo je svojevrsna igra mačke i miša. Međutim, kako tehnologija postaje efikasnija, ovi P2P alati će postati jednako brzi i responzivni kao i centralizovana rešenja koja danas koristimo.

Kako se uključiti: Korisničko iskustvo

Za prosečnog korisnika, korišćenje dVPN-a zasnovanog na dokazima sa nultim znanjem (ZKP) zapravo se ne razlikuje mnogo od bilo koje standardne aplikacije. Jednostavno preuzmete klijent, kliknete na dugme „poveži se“ (connect), dok se sva kompleksna matematika odvija u pozadini. Ono što je zaista inovativno jeste potencijal za zaradu.

Ako kod kuće imate brz internet koji ne koristite dok spavate, možete pokrenuti sopstveni čvor (node). Suština je u tome da ostavite računar uključen, a DePIN protokol vas nagrađuje tokenima za propusni opseg koji delite sa mrežom. To nije način da se „obogatite preko noći“, već prilika da svoj mesečni račun za internet pretvorite u izvor pasivnog prihoda. Na taj način, ne samo da zarađujete, već direktno doprinosite izgradnji privatnijeg i slobodnijeg interneta.

Zaključak: Internet bez potrebe za poverenjem je moguć

Dakle, da li zaista stižemo do tačke gde je „poverenje“ svedeno na običnu matematičku jednačinu? Čini se da konačno prevazilazimo ona sumnjiva obećanja o „nemanju logova“ (no-log) koja niko zapravo nije mogao da proveri.

Spajanjem dokaza nultog znanja (zkp) sa decentralizovanim mrežama, gradimo veb u kojem privatnost nije dodatna funkcija koju kupujete, već sam način na koji infrastruktura funkcioniše. Reč je o vraćanju moći iz ruku gigantskih internet provajdera i njenom prebacivanju u transparentno, p2p tržište.

• Verifikacija umesto poverenja: Više ne morate da verujete provajderu na reč; blokčein protokol dokazuje da je posao obavljen bez uvida u vaše podatke.
• Ekonomija deljenja: Obični ljudi mogu zarađivati nagrade za deljenje sopstvenog protoka, slično kao što Airbnb funkcioniše za izdavanje slobodnih soba.
• Globalna otpornost: Izveštaj kompanije Syari (agregatora podataka za depin) iz 2023. godine navodi da je decentralizovanu infrastrukturu mnogo teže cenzurisati ili ugasiti u poređenju sa tradicionalnim serverima kojima upravlja jedan entitet.

Iskreno, tehnologija je još uvek pomalo nezgrapna i zahtevna za procesorsku snagu (cpu), ali je pravac jasan. Krećemo se ka internetu koji je privatan po samoj svojoj definiciji i, iskreno, krajnje je vreme. Ostanite radoznali i možda razmislite o tome da sami pokrenete čvor (node) – to je najbolji način da vidite budućnost na delu.