Nollatietotodistukset dVPN-liikenteen todentamisessa

Perinteisen liikennelokituksen ongelmat

Oletko koskaan pysähtynyt miettimään, miksi uskomme kaikki digitaaliset salaisuutemme satunnaiselle yritykselle, joka toimii kenties toisella puolella maailmaa? Se on itse asiassa melko erikoista. Maksamme yksityisyydestä, mutta käytännössä siirrämme datamme vain internet-palveluntarjoajan (ISP) haavista VPN-palveluntarjoajan haaviin.

Suurin ongelma on se, että vaikka useimmat palvelut mainostavat "no-logs"-käytäntöä, väitteen todentaminen on käyttäjälle lähes mahdotonta. Kyseessä on parhaimmillaankin vain pelkkä luottamuksen varaan rakennettu lupaus.

• Keskityksen aiheuttama riski (Honeypot): Keskitetyt palvelimet ovat valtavia maaleja. Jos hallitus tai hakkeri pääsee sisään, he saavat kerralla pääsyn kaikkien käyttäjien tietoihin.
• Rikotut lupaukset: Olemme nähneet tapauksia, joissa "lokittomiksi" itseään väittäneet palveluntarjoajat ovat luovuttaneet tietoja viranomaisten painostuksesta.
• Piilotettu metadata: Vaikka palvelu ei tallentaisi varsinaista liikennedataa, ne säilyttävät usein aikaleimoja tai IP-osoitteita "vianmääritystä" varten. Näiden avulla käyttäjä on edelleen mahdollista tunnistaa.

Hajautetut VPN-palvelut (dVPN) pyrkivät ratkaisemaan tämän hyödyntämällä vertaisverkkoa (P2P), jossa tavalliset ihmiset jakavat ylimääräistä kaistanleveyttään. Malli ei kuitenkaan ole vielä täydellinen. Vaikka dVPN poistaa keskittämiseen liittyvät ongelmat, se luo uuden luottamusongelman: yksittäisen solmun ylläpitäjän. Koska tuntematon henkilö reitittää datasi, herää huoli siitä, pystyykö hän urkkimaan liikennettäsi.

Kuten Kaaviosta 1 näkyy, datavirta siirtyy keskitetystä keskuksesta hajautettuun verkkoon (mesh), jossa yhteys kulkee useiden yksittäisten solmujen kautta yhden suuren yrityspalvelimen sijaan.

Top10VPN:n vuoden 2024 raportin mukaan monien kärkipalveluiden lokikäytännöt ovat edelleen "epämääräisiä" markkinointipuheista huolimatta. dVPN-ympäristössä huolena on solmun ylläpitäjän suorittama pakettien nuuskiminen. Lisäksi verkon on pystyttävä todistamaan, että solmu on todella tarjonnut palvelun, ilman että verkolle paljastuu, mitä käyttäjä on tehnyt.

Miten siis todistamme liikenteen tapahtuneen ilman, että itse liikenteeseen tarvitsee katsoa? Tässä kohtaa nollatietotodistukset (Zero-Knowledge Proofs, ZKP) muuttavat pelin säännöt.

Mitä nollatietotodistukset oikeastaan ovat?

Kuvittele, että haluat todistaa ystävällesi, että sinulla on avain lukittuun laatikkoon, mutta et halua hänen näkevän itse avainta tai laatikon sisältöä. Miten teet sen paljastamatta avainta?

Tämä on pähkinänkuoressa nollatietotodistusten (Zero-Knowledge Proofs, ZKP) taikaa. Kyseessä on kryptografinen menetelmä, jossa yksi osapuoli (todistaja) voi osoittaa toiselle osapuolelle (todentaja), että tietty väite pitää paikkansa paljastamatta mitään muuta tietoa itse väitteen oikeellisuuden lisäksi.

Ajattele pyöreää luolaa, jonka perällä on salasanalla suojattu ovi. Jos haluan todistaa sinulle tietäväni salasanan kertomatta sitä, voin mennä luolaan sisään ja sinä näet minun tulevan ulos toiselta puolelta. Et kuule salasanaa, mutta tiedät, että minulla on oltava se päästäkseni läpi.

• Finanssiala: Pankit voivat varmistaa, että sinulla on riittävästi varoja asuntolainaan näkemättä koko tilitapahtumahistoriaasi tai tarkkaa saldoasi.
• Terveydenhuolto: Tutkija voi vahvistaa, että potilaalla on tietty geenimarkkeri tutkimusta varten näkemättä koskaan potilaan nimeä tai muita yksityisiä potilastietoja.
• Vähittäiskauppa: Voit todistaa olevasi yli 18-vuotias ostaessasi tuotteen verkosta jakamatta syntymäaikaasi tai kotiosoitettasi.
• Verkkoliikenne: Voidaan todistaa, että tietopaketti on lähetetty pisteestä A pisteeseen B paljastamatta viestin sisältöä tai lähettäjän identiteettiä.

Kaavio 2 havainnollistaa tätä logiikkaa näyttämällä, kuinka "Todistaja" lähettää matemaattisen todisteen "Todentajalle", mikä vahvistaa väitteen todenperäisyyden ilman alkuperäisen datan jakamista.

Chainlinkin mukaan zk-SNARK-tyyppisistä nollatietojärjestelmistä on tulossa tietosuojan kultainen standardi, koska ne ovat "ei-interaktiivisia". Tämä tarkoittaa, että todiste on vain yksi pieni tietoyksikkö, joka lähetetään kerran.

Hajautettujen VPN-verkkojen (dVPN) maailmassa tämä on mullistavaa. Se tarkoittaa, että verkko-solmu voi todistaa reitittäneensä datasi oikein näkemättä koskaan itse tietopaketteja. Mutta miten tätä sovelletaan käytännössä monimutkaiseen internet-liikenteeseen? Siinä kohtaa teknologiasta tulee vieläkin mielenkiintoisempaa.

Nollatietotodistusten (ZKP) hyödyntäminen kaistanleveysmarkkinapaikalla

Miten voimme maksaa jollekin kaistanleveyden käytöstä tietämättä, mitä dataa siirretään tai mihin se on menossa? Se kuulostaa paradoksilta: työn suorittamisen todistaminen pitäen itse työ täysin salaisena.

Kaistanleveysmarkkinapaikalla hyödynnämme zk-SNARK-tekniikkaa varmistaaksemme, että solmu on todella välittänyt esimerkiksi 500 MB dataa käyttäjän puolesta. Solmu tuottaa "todisteen", joka osoittaa pakettiotsikoiden vastaavan odotettua protokollaa ja kokoa, mutta itse sisältö – kuten sähköpostisi, salasanasi tai kissavideosi – pysyy salattuna ja näkymättömänä solmulle.

• Pakettien validointi: Verkko tarkistaa, että paketit ovat oikeankokoisia ja niitä lähetetään oikealla tiheydellä, kurkkaamatta niiden sisälle. Tämä estää solmuja lähettämästä tyhjää "roskadataa" vain palkkioiden keräämiseksi (ns. bandwidth farming).
• Sybil-suojaus: Järjestelmä varmistaa, ettei yksi henkilö aja sataa valesolmua samalla koneella "jakaakseen" kaistanleveyttä itselleen. Tämä onnistuu, koska ZKP voi todistaa solmulla olevan uniikki laitteistotunniste tai "Proof of Contribution" paljastamatta solmun tarkkaa identiteettiä.
• Yksityisyys edellä: Vaikka solmun ylläpitäjä olisi teknisesti hyvinkin taitava, hän ei näe kohde-IP-osoitettasi. Todiste vahvistaa vain siirron tosiasian, ei sen yksityiskohtia.

Ingo Researchin mukaan zk-SNARK-tekniikka mahdollistaa "tiiviin" (succinct) verifioinnin. Tämä tarkoittaa, ettei lohkoketju kuormitu valtavista tiedostoista, vaan se tarkistaa ainoastaan pienen ja kevyen todisteen.

Tässä vaiheessa kuvaan astuvat tokenit ja taloudelliset kannustimet. Käytämme älypohjaisia sopimuksia (smart contracts), jotka toimivat automatisoituina ja puolueettomina takuumiehinä. Kun nollatietotodistus on vahvistettu, sopimus vapauttaa maksun automaattisesti solmun tarjoajalle.

Messarin vuoden 2023 raportti DePIN-verkostoista (Decentralized Physical Infrastructure Networks) – joka on vain hienompi tapa viitata käyttäjien rakentamiin ja omistamiin verkkoihin suuryritysten sijaan – osoittaa, että token-kannustimet ovat ainoa tapa skaalata P2P-verkkoja niin, että ne voivat kilpailla suurten internet-palveluntarjoajien (ISP) kanssa.

Kaavio 3 havainnollistaa markkinapaikan toimintasyklin: käyttäjä pyytää kaistanleveyttä, solmu tarjoaa sitä, työstä luodaan ZKP-todiste ja älysopimus suorittaa palkkion maksun.

Kyseessä on periaatteessa luottamukseton (trustless) myyntiautomaatti. Teet pyynnön, solmu tekee työn, matematiikka todistaa sen ja maksu tapahtuu välittömästi. Välikäsiä ei tarvita "hyväksymään" tapahtumaa.

Seuraavaksi tarkastelemme teknisiä haasteita, kuten suoritinkäyttöä ja viivettä (latency), jotka tekevät tämän toteuttamisesta vaativaa käytännön ympäristössä.

Tekniset haasteet ja DePIN-verkkojen tulevaisuus

Jos tämä teknologia on kerran näin mullistavaa, miksi emme kaikki jo käytä sitä? Totuus on, että asioiden "todistaminen" niitä paljastamatta on tietokoneelle todella raskas suoritus.

Nollatietotodistuksen (ZKP) luominen ei ole kevyttä työtä. Vaikka todisteen tarkistaminen on salamannopeaa, sen luojan – eli solmun ylläpitäjän – on tehtävä raskas laskentatyö. Tavallisella kannettavalla tietokoneella tämä voi aiheuttaa huomattavan piikin suorittimen käyttöasteessa ja näkyvää viivettä.

• Laskentakuorma: ZK-SNARK-todisteiden luominen vaatii monimutkaista matematiikkaa, joka voi hidastaa reaaliaikaista tietoliikennettä. Jos VPN tuntuu vanhalta modeemiyhteydeltä, kukaan ei halua käyttää sitä.
• Viive (Latency): P2P-verkossa jokainen millisekunti on merkityksellinen. "Varmistusvaiheen" lisääminen jokaiseen pakettikokonaisuuteen voi turhauttaa pelaajia tai videopuheluita tekeviä käyttäjiä.
• Optimointi: Kehittäjät työskentelevät parhaillaan "rekursiivisten todisteiden" ja laitteistokiihdytyksen (kuten näytönohjainten hyödyntämisen) parissa, jotta prosessi saataisiin toimimaan taustalla huomaamattomasti.

A16z crypton vuoden 2023 teknisen blogikirjoituksen mukaan todisteiden luomisen tehokkuus on yksi suurimmista pullonkauloista näiden yksityisyysjärjestelmien skaalaamisessa.

Haasteista huolimatta tavoitteena on verkko, jota suuret teknologiayhtiöt eivät voi noin vain "sulkea". Yhdistämällä kaistanleveyttä tuhansista kodeista luomme hajautetun verkon, jonka sensuroiminen on käytännössä mahdotonta.

• Sensuurinkestävyys: Koska verkossa ei ole keskitettyä palvelinta suljettavaksi, DePIN-verkko jatkaa toimintaansa, vaikka valtio yrittäisi katkaista yhteydet.
• Globaali ulottuvuus: Käyttäjä saa IP-osoitteen suoraan yksityishenkilön kodista. Tämän ansiosta suoratoistopalveluiden tai palomuurien on huomattavasti vaikeampaa tunnistaa ja estää käyttäjää "VPN-käyttäjäksi".

Kyseessä on kieltämättä kissa ja hiiri -leikki. Mutta sitä mukaa kun teknologiasta tulee kevyempää, nämä P2P-työkalut alkavat tuntua yhtä nopeilta ja sulavilta kuin nykyiset keskitetyt palvelut.

Näin pääset alkuun: Käyttäjäkokemus pähkinänkuoressa

Tavalliselle käyttäjälle nollatietotodistuksiin (ZKP) perustuvan dVPN-palvelun käyttö ei juurikaan eroa perinteisistä sovelluksista. Lataat vain asiakasohjelman, klikkaat ”yhdistä”, ja monimutkainen matematiikka hoitaa loput taustalla.

Kaikkein mielenkiintoisin osuus on kuitenkin ansaintapotentiaali. Jos sinulla on kotonasi nopea internetyhteys, joka on vajaakäytöllä esimerkiksi nukkuessasi, voit toimia verkon solmupisteenä eli nodena. Käytännössä jätät tietokoneesi päälle, ja DePIN-protokolla palkitsee sinut tokeneilla jakamastasi kaistanleveydestä. Kyseessä ei ole mikään ”rikastu nopeasti” -konsti, vaan pikemminkin tapa muuttaa kuukausittainen internet-laskusi passiiviseksi tuloksi. Samalla olet mukana rakentamassa yksityisempää ja avoimempaa verkkoa kaikille.

Yhteenveto: Luottamuksesta vapaa internet on mahdollinen

Olemmeko todella saavuttamassa pisteen, jossa "luottamus" on pelkkää matematiikkaa? Näyttää siltä, että olemme vihdoin siirtymässä eteenpäin hämäristä "no-log"-lupauksista, joiden paikkansapitävyyttä kenenkään oli mahdotonta todentaa.

Yhdistämällä nollatietotodistukset (ZKP) hajautettuihin verkkoihin, rakennamme verkkoa, jossa yksityisyys ei ole erikseen ostettava lisäominaisuus, vaan kiinteä osa infrastruktuurin perusrakenteita. Kyse on vallan palauttamisesta jättimäisiltä internet-palveluntarjoajilta (ISP) takaisin läpinäkyvälle, vertaisverkkoon (P2P) perustuvalle markkinapaikalle.

• Todennus luottamuksen sijaan: Sinun ei tarvitse uskoa palveluntarjoajan sanaan; lohkoketjuprotokolla todistaa suoritetun työn ilman, että se näkee dataasi.
• Jakamistalous: Tavalliset käyttäjät voivat ansaita palkkioita tarjoamalla kaistanleveyttään muille – aivan kuten Airbnb toimii ylimääräisten huoneiden kohdalla.
• Globaali kestävyys: DePIN-dataa aggregoivan Syarin vuoden 2023 raportti osoittaa, että hajautettua infrastruktuuria on huomattavasti vaikeampi sensuroida tai sulkea kuin perinteisiä keskitettyjä palvelimia.

Rehellisesti sanottuna teknologia on vielä hieman kankeaa ja kuluttaa runsaasti suoritintehoa, mutta suunta on selvä. Olemme matkalla kohti internetiä, joka on oletusarvoisesti yksityinen – ja suoraan sanottuna se on jo korkea aika. Pysy uteliaana ja harkitse vaikka oman solmun (node) ylläpitämistä – se on paras tapa nähdä tulevaisuus käytännössä.