Nollatietotodistukset ja dVPN-yksityisyys | Web3-tietoturva

Perinteisten VPN-palveluiden luottamusongelma

Oletko koskaan pysähtynyt miettimään, miksi luovutamme koko digitaalisen elämämme VPN-palveluntarjoajalle ja vain toivomme, etteivät he kurki tietojamme? On suorastaan käsittämätöntä, että vielä vuonna 2025 paras tietoturvakeinomme on keskitetyn yrityksen antama "kunniasana".

Useimmat perinteiset palvelut huutavat kovaan ääneen "ei lokeja" -käytännöistään (no-logs), mutta verkkoasiantuntijana näen todellisuuden pakettitasolla. Vaikka he eivät tallentaisi selaushistoriaasi, he näkevät silti todellisen IP-osoitteesi ja yhteysaikasi heti, kun muodostat yhteyden.

• Keskitetyt vikaantumispisteet: Perinteiset palveluntarjoajat toimivat hallitsemissaan palvelinkeskuksissa. Jos viranomaiset esittävät tietopyynnön tai hakkeri saa pääkäyttäjän oikeudet, tietosi ovat suoraan luettavissa RAM-muistista.
• Luottamuskuilu: Käyttäjän on luotettava yrityksen sanaan. ExpressVPN:n vuonna 2024 tekemässä tutkimuksessa todetaan, että käyttäjien on käytännössä nojattava palveluntarjoajan rehellisyyteen, koska teknistä tapaa varmistaa taustajärjestelmien tapahtumia ei ole.
• Tietojen säilytyslaki: Monilla lainkäyttöalueilla Internet-palveluntarjoajat (ISP) ja VPN-yhtiöt on lailla velvoitettu säilyttämään tiettyjä metatietoja. Tämä tekee "ei lokeja" -lupauksesta näillä alueilla juridisesti mahdottoman.

Olen seurannut operaattoreiden suorittamaa valvontaa vuosia, ja ongelmana on aina välikäsi. Jos palvelimen on tiedettävä henkilöllisyytesi tunnistautumista varten, kyseinen tieto on tietoturvariski.

Wikipedian mukaan nollatietotodistukset (Zero-Knowledge Proof, ZKP) kehitettiin jo vuonna 1985 ratkaisemaan juuri tämä ongelma: miten todistaa identiteetti paljastamatta salaisuuksia. Olemme vihdoin siirtymässä matemaattisista papereista käytännön koodiin.

Todellinen ongelma ei ole vain pahantahtoiset toimijat, vaan itse arkkitehtuuri. Tarvitsemme järjestelmän, jossa verkko voi varmistaa maksu- tai käyttöoikeutesi tietämättä, kuka "sinä" todellisuudessa olet.

Seuraavaksi tarkastelemme, miten ZKP muuttaa asetelman ja ratkaisee tämän luottamusongelman.

Mitä nollatietotodistukset oikeastaan ovat?

Jos olet koskaan yrittänyt selittää kryptografiaa jollekulle, joka ei ole "verkkoihminen", tiedät haasteen. Mutta nollatietotodistukset (Zero-Knowledge Proofs, ZKP) ovat itse asiassa melko intuitiivisia, jos unohdat hetkeksi alkuluvut ja mietit sen sijaan taikaluolaa.

Klassinen tapa selittää tämä on tarina Ali Baban luolasta. Kuvittele pyöreä luola, jossa on kaksi polkua, A ja B, jotka kohtaavat perällä olevalla taikaovella. Peggy tietää salasanan oven avaamiseksi; Victor haluaa todisteen siitä, ettei Peggy valehtele, mutta Peggy ei halua paljastaa itse salasanaa.

Todistaakseen osaamisensa Peggy menee luolaan Victorin odottaessa ulkopuolella. Victor huutaa: "Tule ulos polkua A pitkin!" Jos Peggy on ovella, hän avaa sen ja ilmestyy pyydetystä suunnasta. Jos he toistavat tämän 20 kertaa eikä Peggy epäonnistu kertaakaan, matematiikka osoittaa, että hän lähes varmasti tietää salasanan. Tämä perustuu siihen, että jokainen onnistunut kierros puolittaa mahdollisuuden sille, että hänellä oli vain tuuria; 20 kierroksen jälkeen todennäköisyys huijaukselle on käytännössä yksi miljoonasta. Tätä kutsutaan matemaattisessa maailmassa "eheydeksi" (soundness).

Kuten Concordium on todennut, kyseessä on siirtymä "datan jakamisesta" "todisteen jakamiseen". Jotta protokollaa voidaan todella pitää nollatietotodistuksena, sen on täytettävä kolme teknistä kriteeriä:

• Täydellisyys (Completeness): Jos väite on tosi, rehellinen todistaja vakuuttaa aina todentajan. Logiikassa ei sallita "vääriä negatiivisia".
• Eheys (Soundness): Jos Peggy valehtelee, hän ei pysty huijaamaan Victoria kuin korkeintaan häviävän pienellä, tähtitieteellisellä todennäköisyydellä. NIST:n mukaan tätä kutsutaan usein "tiedon nollatietotodistukseksi", jossa todistat hallitsevasi "todistuskappaleen" (witness) eli salaisuuden.
• Nollatieto (Zero-knowledge): Tämä on se tärkein kohta. Victor ei opi mitään itse salasanasta, ainoastaan sen, että se on Peggyn hallussa.

Minun alallani identiteetti nähdään usein riskitekijänä. Jos dVPN-solmu tietää julkisen avaimesi, se on pakettitason jälki, jota voidaan seurata. ZKP kääntää tämän asetelman päälaelleen.

Concordiumin vuoden 2024 artikkeli mainitsee, että yrityksille yksityisyydestä on tulossa "perusvaatimus" pelkän ominaisuuden sijaan. Olipa kyseessä täysi-ikäisyyden todistaminen verkkokaupassa tai terveystietojen vahvistaminen, nollatietotodistukset mahdollistavat logiikan käsittelyn ilman datan altistamista.

Seuraavaksi syvennymme siihen, miten tämä teknologia käytännössä pitää IP-osoitteesi piilossa hajautetussa verkossa.

Nollatietotodistusten (ZKP) soveltaminen dVPN-ekosysteemiin

Miten tämä "taikaluolamatematiikka" sitten käytännössä istutetaan dVPN-verkkoon? Teoria on yksi asia, mutta kun tarkastellaan solmuun saapuvia raakoja datapaketteja, tilanne muuttuu nopeasti monimutkaiseksi. Perinteisessä verkossa palvelin yleensä tarkistaa käyttäjän henkilöllisyyden tietokannasta – mikä on yksityisyyden kannalta valtava punainen lippu.

Tavoitteena on anonyymi todennus. Haluamme, että verkon solmu tietää sinulla olevan oikeus käyttää kaistanleveyttä, ilman että se tietää kuka olet tai millainen maksuhistoria sinulla on.

Useimmat nykyaikaiset dVPN-projektit hyödyntävät zk-SNARK-tekniikkaa (Succinct Non-Interactive Arguments of Knowledge). Kuten aiemmin totesimme, nämä ovat erinomaisia, koska ne eivät vaadi jatkuvaa edestakaista viestintää osapuolten välillä.

• Tilaustodistukset: Voit todistaa lohkoketjussa maksaneesi kuukausijäsenyyden. Solmu vahvistaa "todisteen" siitä, että lompakkosi kuuluu "maksaneiden" joukkoon, näkemättä koskaan varsinaista lompakko-osoitettasi.
• Pääsynhallinta: Sen sijaan, että käyttäisit käyttäjätunnusta ja salasanaa, jotka internet-palveluntarjoaja (ISP) voisi kaapata tai solmu tallentaa lokiin, lähetät kryptografisen todisteen. Se on kuin näyttäisit "vahvistettu"-merkin paljastamatta itse henkilökorttiasi.
• Solmujen maine: Myös solmut voivat käyttää nollatietotodistuksia osoittaakseen, etteivät ne ole haitallisia – esimerkiksi todistamalla, etteivät ne ole peukaloineet datapaketteja – paljastamatta palvelimensa sisäistä arkkitehtuuria.

P2P-verkossa IP-osoitteesi on käytännössä kotiosoitteesi. Jos solmun ylläpitäjällä on hämäriä aikeita, hän voisi tallentaa jokaisen yhdistävän IP-osoitteen lokiin. Käyttämällä ZKP-pohjaista kättelyä (handshake) erotamme "identiteetin" ja "yhteyden" toisistaan.

Esimerkiksi Cloudflare alkoi käyttää "one-out-of-many" -todistuksia jo vuonna 2021 yksityiseen verkkotodennukseen. Tämän avulla käyttäjä voi todistaa kuuluvansa valtuutettujen käyttäjien ryhmään (kuten "maksavat tilaajat") paljastamatta, kuka yksittäinen käyttäjä on kyseessä. Jos alan jättiläinen käyttää tätä laitteiston varmentamiseen ilman tietovuotoja, on selvää, että dVPN-palvelut hyödyntävät samaa teknologiaa käyttäjäsessioiden suojaamiseen.

Projektit, kuten SquirrelVPN, toteuttavat näitä zk-SNARK-kättelyitä varmistaakseen, ettei edes se solmu, johon yhdistät, tiedä kuka todellisuudessa olet.

Seuraavaksi tarkastelemme, miten nämä todisteet mahdollistavat kaistanleveyden jakamisen taloudellisen puolen ilman, että kenenkään tietoturva vaarantuu.

Kaistan louhinta ja tokenisoidut palkkiot

Voit ajatella "kaistan louhintaa" (bandwidth mining) ikään kuin internetin Airbnb-palveluna. Annat tuntemattomien kulkea kotiverkkosi digitaalisen eteisväylän läpi, ja vastineeksi saat maksuja tokeneina. Mutta ilman nollatietotodistuksia (ZKP) nämä vieraat – tai itse verkko – saattaisivat nähdä aivan liikaa siitä, mitä kotonasi tapahtuu.

P2P-verkossa (vertaisverkko) on todistettava kaksi asiaa: se, että solmu todella reititti datan, ja se, että käyttäjällä on riittävästi saldoa maksaa siitä. Historiallisesti tämä on tarkoittanut, että verkon on täytynyt seurata jokaista pakettia, mikä on massiivinen tietosuojariski.

• Reititystodiste (Proof of Routing): Käytämme nollatietotodistuksia varmistaaksemme, että solmu on välittänyt tietyn määrän liikennettä. Solmu toimittaa lohkoketjuun "todisteen", joka vastaa käyttäjän "kuittia", mutta kumpikaan osapuoli ei paljasta pakettien varsinaista sisältöä tai niiden päätepisteitä.
• Tokenisoidut kannustimet: Solmujen ylläpitäjät ansaitsevat palkkioita varmistetun käyttöajan ja läpimenon perusteella. Koska todentaminen perustuu nollatietoteknologiaan, verkon ei tarvitse tietää ylläpitäjän todellista henkilöllisyyttä voidakseen siirtää tokeneita tämän lompakkoon.
• Reilu vaihdanta: Kuten yleisesti määritellään, nämä protokollat varmistavat, että "todistaja" (solmu) voi vakuuttaa "todentajan" (verkko) tehdystä työstä paljastamatta itse työhön liittyvää arkaluonteista dataa.

Suoraan sanottuna olen nähnyt tarpeeksi internet-palveluntarjoajien (ISP) harjoittamaa valvontaa tietääkseni, että jos maksukerrosta ei anonymisoida, todellista yksityisyyttä ei ole olemassa. Jos lompakkosi osoite on yhdistettävissä kotisi IP-osoitteeseen ja liikennelokeihisi, dVPN-palvelun "VPN-osuus" on käytännössä hyödytön.

Seuraavaksi tarkastelemme, miten estämme verkkoa hidastumasta kaiken tämän raskaan matematiikan alla – eli syvennymme palapelin "Succinct"-osaan (tiiviys).

Nollatietotodistusten (ZKP) tekniset haasteet verkkoympäristössä

Suoraan sanottuna: rakastan nollatietotodistusten (ZKP) taustalla olevaa matematiikkaa, mutta meidän on oltava realistisia – niiden integroiminen reaaliaikaiseen verkkoon on melkoinen päänsärky. On aivan eri asia todistaa salaisuuden tunteminen liitutaululla kuin tehdä se samalla, kun joku yrittää striimata 4K-videota hajautetun solmun kautta.

ZK-SNARK-menetelmien "lyhyyden" (Succinct) on tarkoitus nopeuttaa asioita, mutta todistusten luominen kuluttaa silti valtavasti suoritin tehoa. Jos puhelimesi joutuu tekemään raskasta laskentaa vain yhden paketin todentamiseksi, akku kuluu hetkessä ja viive kasvaa pilviin.

Pakettitason analyysien perusteella tiedän, että reitityksessä jokainen millisekunti on merkityksellinen. Kun mukaan lisätään nollatietotodistus, jokaiselle kättelylle asetetaan käytännössä "laskennallinen vero".

• Suorittimen kuormitus: Todistuksen luominen on huomattavasti raskaampaa kuin sen todentaminen. Useimmat dVPN-käyttäjät käyttävät mobiililaitteita tai edullisia reitittimiä, jotka eivät ole varsinaisia supertietokoneita, joten todistajaosapuolesta (prover) muodostuu pullonkaula.
• Piirivirheet (Circuit Bugs): Jos matematiikka ei ole täydellistä, syntyy niin sanottuja alirajoitettuja piirejä (under-constrained circuits). Trail of Bitsin kaltaisten tietoturvayhtiöiden raportit osoittavat, että valtaosa SNARK-virheistä johtuu juuri näistä loogisista aukoista, joiden avulla hakkeri voisi mahdollisesti väärentää todistuksen.
• Verkkoviive: Vuorovaikutteiset todistukset vaativat edestakaista viestintää. Vaikka käytettäisiin ei-vuorovaikutteisia menetelmiä, joidenkin todistusten koko voi olla ongelma. Esimerkiksi ZK-STARK-menetelmät ovat toisentyyppisiä nollatietotodistuksia, jotka eivät vaadi "luotettua alustusta" (mikä on turvallisempaa), mutta niiden todistuskoot ovat paljon suurempia. Tämä voi tukkia juuri sen kaistanleveyden, jota yritämme säästää.

Rehellisesti sanottuna useimmat kehittäjät etsivät edelleen sitä optimaalista tasapainoa, jossa tietoturva on rautainen, mutta internetin käyttö ei tunnu vuoden 1995 modeemiyhteydeltä.

Seuraavaksi tarkastelemme, miten ala yrittää ratkaista näitä viiveongelmia, jotta voisimme vihdoin nauttia täydellisestä yksityisyydestä suorituskyvystä tinkimättä.

Sensuurinkestävän internetin tulevaisuus

Mihin tämä kaikki matemaattinen kehitys lopulta johtaa? Rehellisesti sanottuna olemme siirtymässä kohti kokonaisvaltaista muutosta, jossa "sisäänrakennettu yksityisyys" (privacy by design) ei ole vain markkinointislogan, vaan verkon kovaan koodiin leivottu todellisuus.

Kun liikumme kohti DePIN-malleja (hajautetut fyysiset infrastruktuuriverkot), vanha tapa luovuttaa henkilöllisyystiedot keskitetylle VPN-palveluntarjoajalle alkaa vaikuttaa yhtä muinaiselta kuin modeemiyhteydet. Tulevaisuus perustuu "valikoivaan tiedon paljastamiseen" – todistetaan tarkalleen se, mikä on välttämätöntä, eikä mitään muuta.

Internetin seuraavaa aikakautta ei määrittele se, kuka kerää eniten dataa, vaan se, kuka keksi tavan pärjätä vähimmällä mahdollisella tiedolla. Tässä kohtaa kuvaan astuvat zkVM:t (nollatiedon virtuaalikoneet). Niiden avulla voimme ajaa monimutkaista logiikkaa – kuten tarkistaa, onko käyttäjä rajoitetulla alueella tai onko hänellä voimassa oleva tilaus – lohkoketjun ulkopuolella (off-chain) ja lähettää verkkoon vain pienen, kompaktin todisteen.

• Yksityisyyden skaalaaminen: Työkalut, kuten RISC Zero tai Succinct Labs, mahdollistavat sen, että kehittäjät voivat kirjoittaa nollatietotodistus-logiikkaa (ZKP) tutuilla kielillä, kuten Rustilla. Tämä tarkoittaa, että dVPN-palvelut voivat skaalautua ilman aiemmin mainittua valtavaa "laskennallista veroa".
• Sensuurinkestävyys: Kun solmu (node) ei tiedä kuka olet tai mitä sisältöä käytät, viranomaisten on huomattavasti vaikeampaa pakottaa kyseistä solmua estämään pääsysi.
• Yrityskäyttö: Kuten Concordium on aiemmin todennut, yritykset alkavat nähdä datan keräämisen riskinä. Jos ne eivät hallinnoi dataasi, ne eivät voi myöskään menettää sitä tietomurroissa.

Teknologia on vielä alkuvaiheessa, mutta suunta on selvä. Olemme rakentamassa internetiä, jossa yksityisyyttä ei tarvitse erikseen pyytää – se on protokollatason oletusarvo. Palataan asiaan seuraavassa syväanalyysissä.