Dokazi bez znanja za P2P metapodatke u dVPN mrežama

Problem metapodataka u decentraliziranim mrežama

Jeste li se ikada zapitali zašto vaš VPN koji "ne bilježi zapise" (no-logs) i dalje točno zna kada ste sinoć do kasno gledali serije? To je zato što, čak i ako ne nadziru vaš promet, metapodaci — digitalni tragovi o tome kada ste se i odakle povezali — i dalje jasno otkrivaju vaš identitet svakome tko promatra.

U tradicionalnom sustavu povjerenje poklanjate jednoj tvrtki. No, kod decentraliziranog VPN-a (dVPN), vi zapravo usmjeravate svoje pakete podataka kroz kućni internet potpunog stranca. Iako ovo rješava problem "središnje točke kvara", stvara novi izazov: svaki čvor u toj P2P mreži potencijalno može njuškati po vašim podacima.

Ako ja upravljam čvorom, mogu vidjeti vašu IP adresu i točno koliko podataka prenosite. Što je još gore, vidim vremenske oznake. Ako ste zviždač u visokorizičnoj regiji, sama činjenica da ste se povezali na određeni čvor u 2:00 ujutro dovoljna je da vas nadzor pružatelja internetskih usluga (ISP) označi kao sumnjivca.

Problem metapodataka je zapravo karta vašeg digitalnog života. Kako objašnjava Dokaz bez otkrivanja znanja, cilj ZKP-a (Zero-knowledge proof) je dokazati da je tvrdnja istinita bez otkrivanja same tajne — a to je upravo ono što nedostaje trenutnim P2P mrežama.

Stvari postaju posebno komplicirane kada u priču uvedemo "rudarenje propusnosti" (bandwidth mining). U DePIN-u (Decentraliziranoj mreži fizičke infrastrukture), korisnici su plaćeni u tokenima za dijeljenje svog interneta. Da bi dobio isplatu, čvor mora dokazati da je doista obavio posao.

Uobičajeno, dokazivanje usluge podrazumijeva izdavanje "potvrde" o sesiji: "Hej, korisnik X je iskoristio 5 GB moje propusnosti od 16:00 do 17:00 sati." I to je to — privatnost je nestala. Mreži su potrebni ti podaci kako bi se spriječile prijevare, ali korisniku je potrebno da ti podaci ostanu skriveni kako bi ostao anoniman.

• Zdravstvo: Glavni problem ovdje je curenje trajanja sesije. Ako čvor vidi da je pacijent povezan s medicinskim portalom tri sata, to sugerira ozbiljne konzultacije, čak i ako su sami podaci kriptirani.
• Financije: Problem je poveznica između IP adrese i kripto-novčanika. Ako čvor vidi da određeni IP prenosi podatke tijekom transakcije visoke vrijednosti, taj korisnik postaje meta za "dusting" napade.

Industrija je u pat poziciji. Želimo decentralizirani internet, ali ga gradimo na temeljima vidljivih metapodataka. Prema zapisima o dokazima bez otkrivanja znanja, istraživači poput Goldwasser i Micalija još su 1985. godine pokazali da možemo dokazati da je "složenost znanja" nula. Jednostavno to još nismo dovoljno dobro primijenili na P2P usmjeravanje.

Iskreno govoreći, dok ne riješimo kako platiti čvoru, a da taj čvor ne zna koga poslužuje, samo mijenjamo jednog velikog gazdu za tisuću manjih.

U nastavku ćemo istražiti kako zk-SNARK tehnologija zapravo rješava ovaj problem, omogućujući nam provjeru ovih sesija bez otkrivanja identiteta i vremena povezivanja.

Kako dokazi s nultim znanjem spašavaju stvar

Jeste li ikada imali osjećaj da vas netko promatra dok samo pokušavate surfati internetom? Čak i uz korištenje VPN-a, vaš pružatelj internetskih usluga (ISP) ili znatiželjni vlasnik čvora i dalje mogu vidjeti "oblik" vaših podataka, što predstavlja ogromnu rupu u trupu našeg broda privatnosti.

Zamislite dokaz s nultim znanjem (zero-knowledge proof - ZKP) kao način da dokažete da imate ključ od vrata, a da pritom zapravo ne pokažete ključ niti otvorite vrata kako bi svi vidjeli što je unutra. Klasičan način za vizualizaciju ovoga je analogija s igrom "Gdje je Jura?". Zamislite ogromnu ploču sa slikom Jure. Kako biste dokazali da ste ga pronašli bez otkrivanja njegovih koordinata, preko karte stavite golemi komad kartona s izrezanom samo jednom sićušnom rupicom. Pomičete kartu dok se Jura ne pojavi u rupici. Osoba koja gleda vidi Juru i zna da ste ga pronašli, ali nema pojma gdje se on točno nalazi na cijeloj karti.

U svijetu P2P mreža, ovo je spas. Obično, kako bi bio plaćen za "rudarenje propusnosti" (bandwidth mining), čvor mora predočiti potvrdu o obavljenom radu. No, ta potvrda najčešće sadrži vašu IP adresu, vrijeme povezivanja i količinu preuzetih podataka. To je prava noćna mora za privatnost.

Uz ZKP, koristimo koncepte koji se nazivaju potpunost i ispravnost. Potpunost znači da ako se sesija doista dogodila, pošteni čvor to može dokazati. Ispravnost osigurava da čvor koji vara ne može lažirati sesiju kako bi ukrao tokene. Prema definiciji dokaza s nultim znanjem, to nam omogućuje da dokažemo da je tvrdnja istinita bez prenošenja bilo kakvih informacija osim same te istine.

Sistematizacija napada koju su 2024. godine proveli istraživači iz Trail of Bits otkrila je da 96% pogrešaka u sustavima temeljenim na SNARK-ovima proizlazi iz "nedovoljno ograničenih" krugova, što znači da matematika nije bila dovoljno stroga da spriječi varanje.

Dakle, ne bavimo se matematikom samo radi matematike. Gradimo zid u kojem je logika cigla. Ako je logika čvrsta, čvor dobiva svoje kripto nagrade, a vaše navike pregledavanja ostaju samo vaša stvar.

Kada to primijenimo na P2P tunel, mi zapravo "zasljepljujemo" metapodatke. Umjesto da čvor javi: "Korisnik A je iskoristio 500 MB u 22:00 sata", on generira zk-SNARK (Succinct Non-Interactive ARgument of Knowledge). To je sićušni dio podataka koji kaže: "Omogućio sam valjanu sesiju od točno 500 MB", a mreža to može verificirati bez saznanja da ste to bili vi.

• Maloprodaja: Teoretsko rješenje je dokazati da je ažuriranje o pošiljci primljeno bez otkrivanja točnog vremena. To sprječava konkurenciju u praćenju brzine opskrbnog lanca trgovine.
• Zdravstvo: Klinika može putem ZKP-a dokazati da su podaci premješteni radi naplate. Čvor nikada ne vidi veličinu datoteke, što sprječava pogađanje o kojoj se vrsti specijalističkog pregleda radi na temelju volumena podataka.
• Financije: Trgovci mogu koristiti tokenizirane mreže gdje dokaz potvrđuje korištenu propusnost bez povezivanja specifične adrese novčanika s kućnom IP adresom.

Korištenje ovih dokaza na mobilnim čvorovima — poput vašeg telefona koji dijeli dio 5G veze — zahtjevno je jer je matematika procesorski teška. Međutim, noviji protokoli poput Halo ili Virgo čine ovo dovoljno laganim da se može izvoditi bez pražnjenja baterije.

Iskreno, to je jedini način na koji P2P mreža može dugoročno opstati. Ako ne sakrijemo metapodatke, samo gradimo veći, distribuiraniji stroj za nadzor. Potrebno nam je da sustav bude "zero-knowledge" (s nultim znanjem) po zadanim postavkama, a ne kao naknadna ideja.

U nastavku ćemo pogledati kako se ovi zk-SNARK-ovi zapravo implementiraju u kodu i kako izgleda kada čvor pokuša verificirati dokaz u stvarnom vremenu.

Implementacija dokaza s nultim znanjem (ZKP) u dVPN ekosustavu

Jeste li ikada razmišljali o tome koliko je apsurdno što pokušavamo izgraditi "privatni" internet, dok istovremeno ostavljamo tragove mrvica koje svaki pružatelj internetskih usluga (ISP) i vlasnik čvora mogu pratiti? To je kao da nosite masku, ali ostavljate svoju posjetnicu na svakim vratima pored kojih prođete.

Ako vas zanimaju detalji mrežne sigurnosti, praćenje načina na koji se ovi protokoli mijenjaju posao je s punim radnim vremenom. Obično proučavam tehnička izvješća o novonastalim ranjivostima u tuneliranju, jer jedno je pričati o zaglavlju paketa, a sasvim drugo objasniti zašto je to zaglavlje zapravo odašiljač za državni nadzor.

Model "Airbnb-a za propusnost" teoretski zvuči sjajno, ali je prava noćna mora za privatnost. Da bi bio plaćen, čvor mora dokazati da je prenio vaše podatke. U standardnoj postavi to znači da relejni čvor prilaže potvrdu: "Obradio sam 2 GB za ovu specifičnu adresu novčanika." Upravo u tom trenutku, veza između vašeg kripto identiteta i vašeg prometa postaje trajno zapisana.

Koristimo pametne ugovore kako bismo premostili ovaj jaz, ali oni trebaju način za provjeru rada bez uvida u to "tko" stoji iza njega. Tu na scenu stupa ZKP (dokaz s nultim znanjem) kako bi upravljao onim što nazivamo dokazom o releju (Proof of Relay). Pametni ugovor djeluje kao sudac — on provjerava matematički dokaz umjesto sirove datoteke zapisa (log file).

• Sprječavanje dvostruke potrošnje: U tokeniziranoj mreži, ZKP osigurava da je svaki ID sesije jedinstven i "potrošen" samo jednom na blockchainu, a da glavna knjiga nikada ne sazna koji je korisnik zapravo poslao podatke.
• Nagrađivanje poštenih čvorova: Budući da se dokaz s nultim znanjem oslanja na vjerodostojnost (soundness), čvor ne može generirati valjani dokaz za sesiju koja se nije dogodila. Ako se matematika ne podudara, pametni ugovor ne isplaćuje sredstva.
• Prikrivanje metapodataka: Korištenjem neinteraktivnog dokaza, čvor šalje jedan "blob" podataka na lanac. Kao što je ranije spomenuto u članku, to znači da verifikator (blockchain) ne saznaje ništa osim činjenice da je posao obavljen.

Ovdje se ne radi samo o skrivanju vaših navika na Netflixu; radi se o infrastrukturi. Uzmimo za primjer maloprodaju. Na strani implementacije, lokalni pristupnik trgovine generira ZKP za svaku sinkronizaciju inventara. P2P čvor prenosi podatke i biva plaćen putem pametnog ugovora, ali čvor nikada ne vidi vremenske obrasce koji bi mogli otkriti tajne opskrbnog lanca.

U financijama, visokofrekventni trgovci koriste ZKP-ove kako bi sakrili svoju fizičku lokaciju. Pametni ugovor potvrđuje da je prijenos propusnosti bio uspješan, ali budući da je dokaz "zaslijepljen", čvor ne može povezati promet s određenim novčanikom kako bi izvršio front-running trgovinu.

Čak i u zdravstvu, gdje klinike dijele kartone pacijenata, pametni ugovor upravlja dokazom o naplati. Implementacija osigurava da "dokaz" ne otkriva je li datoteka bila veličine 10 KB ili 10 GB, što čuva privatnost o potencijalnom stanju pacijenta od operatera čvora.

Glavni problem koji vidim je "porez na izračun". Generiranje zk-SNARK-a nije besplatno — ono troši CPU cikluse. Ako pokrećete čvor na Raspberry Pi-ju ili pametnom telefonu, ne želite da 50% vaše snage odlazi samo na dokazivanje da ste obavili posao.

Studija iz 2024. koju su proveli istraživači iz Trail of Bits (kao što je ranije spomenuto) otkrila je da gotovo svi bugovi u ovim sustavima proizlaze iz "nedovoljno ograničenih" (under-constrained) krugova. Ako matematika nije strogo definirana, čvor može "prevariti" sustav kreiranjem dokaza za rad koji zapravo nikada nije obavljen.

Vidimo pomak prema rješenjima kao što su Halo ili Virgo kako bi se ovaj proces ubrzao. Ovi protokoli ne zahtijevaju "pouzdanu postavku" (trusted setup), što je zapravo otmjen način da se kaže da ne moramo vjerovati programerima da nisu ostavili stražnja vrata u početnim matematičkim konstantama. To cijeli P2P ekosustav čini znatno transparentnijim i sigurnijim.

U svakom slučaju, implementacija ovoga u dVPN nije samo "lijep dodatak". Ako ne stavimo metapodatke pod kontrolu, samo gradimo veći i učinkovitiji stroj za nadzor i nazivamo ga "Web3".

U nastavku ćemo pogledati stvarne strukture koda — točnije kako se ti krugovi grade i zašto je programerima tako lako slučajno ostaviti te "nedovoljno ograničene" rupe u logici.

Tehničke prepreke i budućnost DePIN-a

Dakle, razgovarali smo o tome kako su ovi dokazi praktički magija za privatnost, ali budimo realni na trenutak – u mrežnom svijetu ništa nije besplatno. Ako pokušavate pokrenuti decentraliziranu mrežu fizičke infrastrukture (DePIN) u kojoj je svaki čvor zapravo mini-ISP, udarit ćete u masivan zid: matematika je jednostavno preteška.

Najveća prepreka za budućnost DePIN-a je "računalni porez". Generiranje zk-SNARK dokaza nije poput hashiranja lozinke; to više nalikuje rješavanju složene zagonetke dok netko promatra svaki vaš pokret. Nekada je izrada ovih dokaza bila toliko spora da je njihovo korištenje za VPN sesiju u stvarnom vremenu bilo praktički nemoguće. Čekali biste sekundama samo na verifikaciju jednog paketa – vaša latencija bi izgledala kao dial-up veza iz 1995. godine.

No, stvari se mijenjaju. Novi protokoli napokon čine ovaj model održivim za rudarenje propusnosti (bandwidth mining). Kao što smo ranije spomenuli, sustavi poput Bulletproofs i STARKs mijenjaju pravila igre jer ne zahtijevaju onaj "povjerljivi setup" (trusted setup) koji sve čini nervoznima. Što je još važnije, postaju sve brži.

• Latencija naspram privatnosti: To je klasični kompromis. Ako vaš čvor troši previše vremena na obradu brojeva kako bi dokazao da je prenio 10 MB podataka, korisničko iskustvo propada. Vidimo trend prema "grupnoj obradi" (batching) gdje čvor dokazuje 1000 sesija odjednom kako bi uštedio procesorske cikluse.
• Hardverska ograničenja: Većina DePIN čvorova nisu moćni poslužitelji, već Raspberry Pi uređaji ili stari laptopi. Ako je ZK protokol prezahtjevan, spržit će hardver ili jednostavno zakazati.
• Mobilni čvorovi: Dijeljenje 5G veze s vašeg telefona putem P2P mreže je san, ali ZK dokazi mogu biti ubojice baterije. Protokoli poput Virgo sustava (koji smo ranije spomenuli) specifično su dizajnirani da budu lakši za procesor.

Da biste razumjeli zašto je to teško, morate pogledati što kod zapravo radi. Mi ne pišemo samo skriptu; mi gradimo aritmetički krug. U praksi, kod visoke razine poput Python primjera u nastavku kompajlira se u R1CS (Rank-1 Constraint System) ili aritmetičke krugove. Ti se krugovi sastoje od "vrata" (gates) koja provode logiku. Ako ostavite vrata "nedovoljno ograničena" (under-constrained), kao što je istaknula studija istraživača iz Trail of Bits iz 2024., zlonamjerni čvor može lažirati cijelu sesiju.

Evo konceptualnog prikaza kako bi krug mogao provjeriti je li čvor doista ostao unutar obećanih ograničenja propusnosti bez otkrivanja točnog broja bajtova javnom blockchainu:

# Napomena: Ova logika visoke razine kompajlira se u aritmetički krug 
# (R1CS) kako bi ZK-SNARK zapravo funkcionirao.

def verify_bandwidth_usage(claimed_usage, secret_session_log, limit):
    # 'secret_session_log' je privatni unos (witness)
    # 'limit' i 'claimed_usage' su javni podaci
    
    # 1. Provjera odgovara li log potraživanom iznosu
    is_match = (hash(secret_session_log) == claimed_usage_hash)
    
    # 2. Osiguravanje da je potrošnja ispod praga
    is_under_limit = (secret_session_log <= limit)
    
    # Krug vraća 'True' samo ako su oba uvjeta ispunjena
    # Verifikator (blockchain) vidi samo 'True/False' i dokaz
    return is_match and is_under_limit

U stvarnom DePIN okruženju, čvor (dokazivač) šalje "obvezu" (commitment) na blockchain. To je u osnovi kriptografsko obećanje. Kasnije, kada dođe vrijeme za isplatu, prilažu ZK dokaz. Pametni ugovor djeluje kao verifikator, izvodeći logiku kojoj trebaju milisekunde za provjeru, čak i ako je čvoru trebala cijela sekunda da generira dokaz.

Budućnost DePIN-a ovisi o tome da se ova matematika potisne u pozadinu. U maloprodaji, na primjer, ako trgovina koristi P2P mrežu za sinkronizaciju podataka o prodaji, ne mogu dopustiti da im blagajna zamrzne na tri sekunde dok generira dokaz o prijenosu podataka. To mora biti neprimjetno.

U financijskom sektoru vidimo slične probleme s visokofrekventnim trgovanjem. Ako trgovac koristi tokeniziranu mrežu kako bi ostao anoniman, bilo kakvo podrhtavanje (jitter) uzrokovano generiranjem dokaza moglo bi ga koštati tisuće u scenariju "front-runninga". Cilj je smanjiti vrijeme generiranja dokaza do točke u kojoj je brže od stvarnog mrežnog pinga.

Iskreno, problem "nedovoljno ograničenih" krugova je ono što mi ne da spavati. Ako 96% bugova u ovim sustavima dolazi iz loše matematičke logike, mi zapravo gradimo banku s vratima trezora koja izgledaju teško, ali zapravo nisu pričvršćena za zid. Developeri počinju koristiti alate za "formalnu verifikaciju" svojih krugova, što u osnovi znači korištenje druge umjetne inteligencije ili matematičkog stroja kako bi se dokazalo da je sam dokaz doista ispravan.

U nastavku ćemo sve ovo zaokružiti i pogledati kako izgleda konačni "stog privatnosti" (privacy stack) kada kombinirate P2P usmjeravanje, tokenizirane nagrade i zero-knowledge metapodatke.

Zaključak: Uistinu anoniman internet

Dakle, nakon svih izračuna i dubinske analize protokola, gdje nas sve ovo zapravo ostavlja? Ako ste pratili dosadašnji tijek, sasvim je jasno da stari način rada — u kojem se samo nadate da vaš pružatelj usluga nije zlonamjeran — polako izumire.

U osnovi prelazimo s modela „vjeruj mi” na model „nedodirljivosti”. U prošlosti biste se spojili na VPN i jednostavno molili boga da ne vode zapise (logove), čak i kada su njihov poslovni model ili sudski nalozi sugerirali suprotno.

Međutim, uz P2P mrežu pokretanu dokazima s nultim znanjem (ZKP), čvor vas doslovno ne može „izdati” jer nikada nije ni posjedovao vaše podatke. To je temeljna promjena u arhitekturi mreže.

• Otpornost na cenzuru: U državama s intenzivnim nadzorom internetskog prometa (ISP surveillance), dVPN-ovi temeljeni na ZKP tehnologiji mijenjaju pravila igre. Budući da su metapodaci „zaslijepljeni”, duboka inspekcija paketa (DPI) na državnoj razini ne može lako povezati određenog korisnika sa „zabranjenim” izlaznim čvorom.
• Ekonomska pravednost: Rudarenje propusnosti (bandwidth mining) postaje legitiman posao. Plaćeni ste za rad koji obavljate, što je dokazano matematikom, bez potrebe za izgradnjom baze podataka o navikama vaših korisnika kako biste zadovoljili neki algoritam nagrađivanja.
• Kraj digitalnih tragova: Kao što smo vidjeli, sakriti sam sadržaj (payload) je lako; pravi je izazov sakriti činjenicu da ste ga uopće poslali. ZKP nam napokon omogućuje brisanje tih digitalnih otisaka u stvarnom vremenu.

Ovo nije namijenjeno samo entuzijastima za privatnost ili ljudima koji pokušavaju sakriti svoje torrent aktivnosti. Implikacije za stvarnu industrijsku infrastrukturu su goleme.

U zdravstvu, lanac bolnica koji koristi decentraliziranu mrežu za sinkronizaciju podataka o pacijentima sada može dokazati regulatorima da su zapisi preneseni, a da prijenosni čvorovi nikada nisu vidjeli „oblik” tih podataka. To sprječava bilo koga da pogodi broj pacijenata ili vrstu hitnih slučajeva na temelju naleta mrežnih paketa.

Za maloprodajne divove to znači sinkronizaciju zaliha u tisućama P2P povezanih trgovina, a da konkurencija ne može mapirati tajming njihovog opskrbnog lanca. Dobivaju brzinu distribuirane mreže uz privatnost lokalne mreže.

U financijama je sve u prednosti na tržištu. Visokofrekventni trgovci mogu koristiti ove tokenizirane mreže kako bi prikrili svoju fizičku lokaciju. Ako čvor putem ZKP-a ne može vidjeti trajanje sesije ili adresu novčanika, ne može doći do manipulacije trgovanjem (front-running).

Neću vam lagati — još nismo stigli do „savršenog” interneta. Računalni trošak (computational tax) i dalje postoji. Ako pokrećete čvor na jeftinom usmjerivaču, opterećenje za generiranje ovih dokaza još uvijek može donekle usporiti vaš protok podataka.

No, kao što sam ranije spomenuo, prijelaz na protokole poput Halo i Virgo rješava taj problem. Dolazimo do točke u kojoj je logika toliko učinkovita da je „porez na privatnost” krajnjem korisniku praktički neprimjetan.

Prema dokumentaciji o dokazima s nultim znanjem, koncept postoji još od 80-ih, ali tek sada dobivamo hardver i kod (poput zk-SNARK-ova) koji omogućuju njegovo funkcioniranje u velikim razmjerima unutar P2P mreža.

Iskreno, ako ste tehnološki entuzijast ili netko kome je stalo do smjera u kojem se internet razvija, morate pomno pratiti DePIN projekte. Model „Airbnb-a za propusnost” funkcionira samo ako gosti ostanu anonimni, a domaćini budu pošteno plaćeni.

Budućnost interneta nije samo u decentralizaciji; ona je u provjerljivoj privatnosti. Gradimo sustav u kojem P2P usmjeravanje rješava pitanje „gdje”, enkripcija rješava „što”, a dokazi s nultim znanjem rješavaju „tko” i „kada”.

Kada to kombinirate, dobivate internet koji ne pripada nijednoj tvrtki ili vladi. To je mreža koja postoji zahvaljujući svojim korisnicima, zaštićena zakonima matematike, a ne hirovima nekog izvršnog direktora.

U svakom slučaju, bilo je ovo dugo putovanje kroz protokole. Bez obzira tražite li samo bolji način za surfanje ili želite izgraditi sljedeću veliku decentraliziranu aplikaciju, zapamtite: ako ne verificirate, samo nagađate. Čuvajte svoje mrežne krugove i skrivajte svoje metapodatke.