Recursieve Zero-Knowledge Proofs voor Privé Tunneling

Wacht even, wat zijn Recursieve Zero-Knowledge Proofs eigenlijk?

Heb je je ooit afgevraagd hoe je aan een vriend kunt bewijzen dat je de sleutels van een kluis hebt, zonder de sleutels daadwerkelijk te laten zien of de kluis te openen? Het klinkt als een goocheltruc, maar in de wereld van de cryptografie noemen we dit een zero-knowledge proof (ZKP).

De eenvoudigste manier om recursieve bewijzen te begrijpen, is door je voor te stellen dat je vandaag een selfie maakt in een park terwijl je een geprinte foto vasthoudt van jezelf in datzelfde park van gisteren. Om te bewijzen dat je er de hele week bent geweest, maak je elke dag een nieuwe foto terwijl je de foto van de vorige dag vasthoudt.

Op dag zeven bewijst die ene laatste foto de geschiedenis van de hele week, omdat deze een "bewijs van een bewijs" bevat. Volgens sCrypt stelt deze logica ons in staat om duizenden transacties — inclusief complexe "handshakes" tussen gebruikers — samen te voegen tot één kleine, verifieerbare tekenreeks.

• Kennis zonder blootstelling: Je bewijst dat je een geheim kent (zoals een privésleutel van een VPN) zonder ook maar één bit van de werkelijke data te lekken.
• Recursieve gelaagdheid: Een bewijs verifieert niet alleen data; het verifieert dat een eerdere verificatie correct is uitgevoerd.
• Het onmogelijke schalen: In de financiële wereld betekent dit dat een bank kan bewijzen dat een miljoen transacties geldig zijn, zonder dat een auditor ze stuk voor stuk hoeft te controleren.

Standaard bewijzen zijn effectief, maar ze worden snel "zwaar". Zoals opgemerkt in onderzoek door Anoma, is het opnieuw berekenen van elke statusovergang vanaf het genesis-blok van een blockchain een nachtmerrie voor een mobiele gebruiker.

Reguliere zk-SNARKs kunnen te groot of te traag worden voor real-time private tunneling. (zk-SNARKs: From Scalability Issues to Innovative Solutions) Als je dVPN voor elk afzonderlijk datapakket een enorm bewijs zou moeten genereren, zou je internetsnelheid tot een nulpunt dalen. Recursieve bewijzen lossen dit op door de waarheid te "comprimeren".

En dat is de doorslaggevende factor: het maakt niet uit of je één uur aan data bewijst of tien jaar; het bewijs blijft compact. Hierna duiken we dieper in hoe dit precies een "private tunnel" creëert.

Privé-tunneling en de dVPN-revolutie

Heb je wel eens het gevoel dat je "privé" VPN eigenlijk gewoon een glazen huis is met een bemoeizuchtige huisbaas? Traditionele VPN's zijn in feite honeypots; ze verzamelen al je data op één centrale server, wachtend tot een hacker of een gerechtelijk bevel aanklopt.

De meeste mensen gebruiken een VPN om anoniem te blijven, maar in werkelijkheid verplaats je het vertrouwen alleen maar van je internetprovider (ISP) naar een commerciële partij zoals Nord of Express. Als hun server wordt gecompromitteerd, liggen al je metadata — wie je bent, wanneer je inlogde en hoeveel data je hebt verbruikt — voor het oprapen.

• Honeypots voor hackers: Een gecentraliseerde server is een gigantisch doelwit. Als een kwaadwillende toegang krijgt tot de database van een provider, liggen niet de gegevens van één persoon op straat, maar die van iedereen.
• De dVPN-transitie: In een gedecentraliseerde VPN (dVPN) worden de nodes beheerd door gewone gebruikers. Het is in feite de "Airbnb voor bandbreedte". Je vertrouwt niet langer op één grote corporatie, maar maakt gebruik van een peer-to-peer (P2P) netwerk.
• Trustless verificatie: Omdat je de persoon die de node beheert niet kent, heb je een manier nodig om te bewijzen dat deze niet je verkeer onderschept ("sniffing") of liegt over de verzonden data. Dit is waar die slimme recursieve ZKP-technieken (Zero-Knowledge Proofs) van pas komen.

In de wereld van Web3 gaat tunneling niet alleen over het verplaatsen van datapakketjes; het gaat om het inkapselen van die pakketjes in lagen van cryptografisch bewijs. Je wilt data tussen nodes kunnen verplaatsen zonder dat de node-eigenaar de inhoud kan inzien of zelfs maar je echte identiteit kent.

Encryptie verbergt de inhoud, maar het verbergt niet het feit dat je communiceert. Zoals sCrypt in de vorige sectie al opmerkte, stellen recursieve bewijzen ons in staat om deze handshakes te aggregeren, waardoor het netwerk razendsnel blijft.

Ik zie steeds vaker tech-enthousiastelingen die deze nodes in hun kelder installeren om token-beloningen (crypto rewards) te verdienen. In de gaming-sector betekent dit dat een speler vertraging (lag) kan verminderen door verbinding te maken via een lokale node, zonder dat de node-eigenaar hun accountgegevens kan inzien. In de journalistiek kan een verslaggever toegang krijgen tot geblokkeerde websites via een P2P-tunnel, waarbij gegarandeerd is dat geen enkele centrale server de "loper" (master key) van die gevoelige verbinding in handen heeft.

Volgens onderzoek van Tari Labs University zorgt het gebruik van deze "vriendelijke paren" (amicable pairs) van elliptische curves ervoor dat de verificateur de integriteit van de tunnel kan controleren zonder zelf al het zware rekenwerk te hoeven doen. Hierdoor werkt het hele "trustless" principe daadwerkelijk op een smartphone.

In het volgende deel gaan we kijken hoe deze bewijzen de data "comprimeren", zodat je internetsnelheid niet keldert.

De wiskunde achter de magie: SNARKs, Halo en meer

Om deze "privétunnels" echt te laten werken, hebben we behoorlijk zware wiskunde nodig die in de praktijk vederlicht aanvoelt. Hier is een overzicht van de technologie die dit mogelijk maakt:

• SNARKs (Succinct Non-interactive Arguments of Knowledge): Dit zijn de rocksterren van de zkp-wereld. Ze zijn "succinct" (beknopt) omdat het bewijs minuscuul is, en "non-interactive" omdat de bewijzer het bewijs simpelweg kan versturen zonder een heen-en-weer-spelletje te hoeven spelen met de verifieerder.
• Het Halo-protocol: Dit was een enorme doorbraak omdat het de "trusted setup" overbodig maakte. Eerdere SNARKs vereisten dat er een geheime sleutel werd aangemaakt en daarna vernietigd; als iemand een kopie bewaarde, konden ze bewijzen vervalsen. Halo, zoals beschreven in onderzoek door de Electric Coin Company, gebruikt "geneste amortisatie" om bewijzen te verifiëren zonder dat risicovolle initiële geheim.
• Cycles of Elliptic Curves: Het klinkt misschien als de naam van een prog-rockband, maar dit is het geheime ingrediënt voor mobiele dVPN’s. Door gebruik te maken van "amicable pairs" van curves (zoals Tweedledum en Tweedledee), kan een smartphone een bewijs verifiëren in zijn eigen computertaal. Hierdoor wordt recursie snel genoeg om real-time dataverkeer te verwerken.

De meeste mensen realiseren zich niet dat het controleren van een cryptografisch bewijs een behoorlijk intensieve rekentaak is. Als een dVPN-node de volledige geschiedenis van elk afzonderlijk datapakketje vanaf nul zou moeten controleren, zou je Netflix-stream veranderen in een diashow uit 1995.

Zoals eerder besproken, lossen recursieve bewijzen dit op door de werklast te "comprimeren". Maar er is nog een truc: Parallel Proof Generation. In plaats van dat één persoon duizend bonnen achter elkaar controleert, huur je duizend mensen in die elk één bon controleren. Vervolgens combineer je hun resultaten tot één kleine "master-bon".

Ik heb dit in meer sectoren dan alleen webbrowsing zien gebeuren. In de financiële wereld gebruiken high-frequency traders deze parallelle SNARKs om aan te tonen dat een miljoen transacties geldig zijn zonder dat de auditor ze stuk voor stuk hoeft na te lopen. Zo blijft de markt op lichtsnelheid draaien.

Volgens onderzoek van Jiaheng Zhang aan UC Berkeley hebben protocollen zoals Virgo en Libra dit nog verder gepusht, waarbij een "optimale bewijstijd" is bereikt. Dit betekent dat de tijd die nodig is om het bewijs te maken nu strikt lineair is aan de omvang van de data — geen exponentiële vertragingen meer.

We hebben dus de wiskunde in huis om de boel snel en privé te houden. Maar hoe voorkomt dit nu echt dat iemand je data steelt? In het volgende gedeelte kijken we hoe dit past in het grotere geheel van fysieke hardware.

Getokeniseerde bandbreedte en de 'Airbnb voor het internet'

Heeft u er wel eens bij stilgestaan hoeveel van uw internetverbinding thuis onbenut blijft terwijl u aan het werk bent of slaapt? Het is vergelijkbaar met een logeerkamer die het hele jaar leegstaat — alleen is de "kamer" in dit geval uw ongebruikte uploadsnelheid.

Dit is waar getokeniseerde bandbreedte om de hoek komt kijken. In feite is dit de "Airbnb voor het internet". In plaats van die extra capaciteit verloren te laten gaan, kunt u deze verhuren aan een peer-to-peer (P2P) netwerk en betaald krijgen in crypto.

Bandbreedte-mining (bandwidth mining) is hard op weg een enorme trend te worden, omdat het het traditionele ISP-model volledig op zijn kop zet. Normaal gesproken betaalt u een provider zoals KPN of Ziggo voor een verbinding, en het maakt hen niet uit of u daar nu 1% of 90% van gebruikt.

Binnen een gedecentraliseerd VPN (dVPN) verandert uw router in een "node" (knooppunt). Wanneer iemand aan de andere kant van de wereld een beveiligde verbinding nodig heeft, tunnelt diegene via uw IP-adres en verdient u tokens voor de verplaatste data. Het is een manier voor gebruikers om de controle terug te pakken, en platforms zoals SquirrelVPN volgen nauwgezet hoe deze functies het web opener maken.

Er zit echter een addertje onder het gras: hoe weet de persoon die u betaalt dat u de bandbreedte ook daadwerkelijk heeft geleverd? U zou immers kunnen liegen en beweren dat u 10 GB heeft verstuurd, terwijl dat in werkelijkheid maar 1 GB was. Dit is waar de recursieve Zero-Knowledge Proof (ZKP) technieken, die we eerder bespraken, de oplossing bieden.

Het hele systeem draait op de vraag en aanbod van wereldwijde IP-adressen. Een onderzoeker in Turkije heeft bijvoorbeeld een Amerikaans of Europees IP-adres nodig om lokale censuur te omzeilen, terwijl een klein bedrijf in Utrecht overbodige glasvezelcapaciteit over heeft.

• Smart Contracts voor vertrouwen: Betalingen vinden automatisch plaats. U hoeft niet te wachten op een factuur; de blockchain verwerkt de microtransacties telkens wanneer een datapakket wordt geverifieerd.
• Privacy als ruggengraat: De kracht van ZKP betekent dat, terwijl ik tokens verdien aan uw dataverkeer, ik geen enkel idee heb wat u daadwerkelijk online doet.
• Impact op de sector: In de retail gebruiken bedrijven P2P-netwerken om te controleren hoe hun prijzen eruitzien voor klanten in verschillende landen, zonder geblokkeerd te worden door anti-botsoftware.

Zoals opgemerkt in een onderzoek van sCrypt uit 2022, is dit alleen mogelijk omdat we duizenden van deze kleine gebruiksbewijzen kunnen samenvoegen tot één "master proof". Dit voorkomt dat de blockchain verstopt raakt met miljarden kleine betalingsbewijzen.

Eerlijk gezegd is het een win-winsituatie. U financiert uw eigen internetverbinding door deze te delen, en de wereld krijgt een veerkrachtiger, censuurbestendig internet.

DePIN: De Nieuwe Fysieke Infrastructuur

Heeft u zich wel eens afgevraagd waarom we voor het hele internet nog steeds afhankelijk zijn van enorme serverfarms in handen van een paar tech-giganten? Het voelt bijna alsof we de lucht die we inademen huren van een huisbaas die elke beweging die we maken in de gaten houdt.

Dat is precies waar DePIN (Decentralized Physical Infrastructure Networks) verandering in brengt. In plaats van één enkel bedrijf dat de "pijpleidingen" beheert, is de hardware eigendom van de gemeenschap — uw router, de opslagschijf van uw buren, of misschien zelfs een lokaal weerstation. Deelnemers worden betaald in tokens om dit netwerk draaiende te houden.

• Hardware zonder Hegemonie: DePIN transformeert alledaagse apparaten in "nodes" die fungeren als de routers en servers van een nieuw, mondiaal web. U bent niet langer alleen een consument; u bent een essentieel onderdeel van de infrastructuur.
• Censuurbestendigheid: Omdat er geen centrale "uit-knop" is, is het voor overheden of internetproviders (ISP's) nagenoeg onmogelijk om een peer-to-peer (P2P) netwerk plat te leggen.
• De Efficiëntieslag: Volgens onderzoek van Jiaheng Zhang aan UC Berkeley zorgen protocollen zoals deVirgo ervoor dat deze gedistribueerde netwerken kunnen schalen. Meerdere machines kunnen parallel bewijzen genereren, waardoor het hele systeem "optimaal" presteert op het gebied van snelheid.

De grootste uitdaging bij DePIN is het bewijzen dat al deze onafhankelijke nodes daadwerkelijk doen wat ze beloven. Als ik u betaal voor bandbreedte, moet ik er zeker van zijn dat de datalogs niet zijn vervalst.

Recursieve bewijzen fungeren hierbij als de "lijm". Ze maken gebruik van IVC (Incrementally Verifiable Computation) om statusovergangen te verifiëren. In essentie is IVC het wiskundige proces waarbij een bewijs stap voor stap wordt bijgewerkt wanneer er nieuwe data wordt toegevoegd. Hierdoor hoeft het bewijsproces niet telkens vanaf nul te worden opgestart zodra er een nieuw datapakket wordt verzonden.

In de logistiek betekent dit bijvoorbeeld dat een netwerk van private sensoren kan verifiëren of een zending gedurende de hele rit door tien verschillende vrachtwagens op de juiste temperatuur is gebleven, zonder de exacte GPS-routes van die vrachtwagens prijs te geven.

Het is fascinerend om te zien hoe deze technologie de overstap maakt van theoretische concepten naar tastbare hardware die daadwerkelijk bij mensen op het bureau staat.

Privé-tunneling Implementeren met Recursieve ZKP

De overstap van theorie naar code is waar de echte uitdaging begint. Om een recursieve ZKP-tunnel (Zero-Knowledge Proof) te bouwen, moeten we netwerkgedrag vertalen naar rekenkundige circuits (arithmetic circuits). Zie deze als een reeks logische poorten die je gegevens verwerken. De "witness" is het geheime deel van het bewijs — zoals je privésleutel of de daadwerkelijke inhoud van je webverkeer — dat nooit wordt onthuld aan de node die de tunnel beheert.

• Rekenkundige Circuits: We definiëren de regels van de tunnel met behulp van wiskunde. In plaats van een server die je logs controleert, verifieert het circuit of het pakket het juiste pad heeft gevolgd en of er niet mee is geknoeid.
• Verwerking van de Witness: We gebruiken "masking polynomials" om de witness te verbergen. Zoals eerder beschreven in het onderzoek van Jiaheng Zhang, zorgen deze kleine maskers ervoor dat zelfs als een node het bewijs ziet, de data niet gereproduceerd kan worden via reverse-engineering.
• Verificatie in Milliseconden: Omdat de bewijzen recursief zijn, controleert de verifieerder alleen het laatste bewijs in de keten. Dit gebeurt in milliseconden, wat een soepele 4K-stream of een lag-vrije gamesessie mogelijk maakt.

Eerlijk is eerlijk: het is niet alleen maar rozengeur en maneschijn. Ontwikkelaars worden geconfronteerd met serieuze hindernissen bij het bouwen van deze systemen voor dagelijks gebruik. Een groot knelpunt zijn de bilineaire pairings. Dit zijn wiskundige bewerkingen die worden gebruikt om bewijzen te verifiëren, maar ze zijn rekenkundig zeer zwaar. Als je niet oppast, slurpen ze de batterij van je smartphone in no-time leeg.

Ook het kiezen van de juiste eindige velden (finite fields) is een behoorlijke hoofdpijndossier. Je hebt een veld nodig dat de snelle Fourier-transformaties (FFT) ondersteunt die vereist zijn om de berekeningen snel te houden. Ik heb ontwikkelaars hiermee zien worstelen — als je het verkeerde veld kiest, gaat je bewijstijd van "onmiddellijk" naar "ik ga even koffie halen terwijl dit laadt."

Een onderzoek uit 2020 naar het Virgo-protocol toonde aan dat het gebruik van uitbreidingsvelden van Mersenne-priemgetallen modulaire vermenigvuldigingen aanzienlijk sneller kan maken, wat een absolute game-changer is voor de batterijduur van mobiele apparaten.

In de gezondheidszorg maken deze geoptimaliseerde tunnels het mogelijk voor een kliniek om een MRI-scan naar een specialist te sturen. Het recursieve bewijs garandeert dat er niet aan de data is gezeten, terwijl de node-eigenaar — die misschien gewoon iemand is met een router in zijn meterkast — nooit de naam of de medische geschiedenis van de patiënt te zien krijgt.

De Toekomst van Web3 Privacy-tools

Denk eens terug aan de laatste keer dat je een "gratis" dienst gebruikte en je realiseerde dat jouw data eigenlijk het betaalmiddel was. Het voelt een beetje alsof we in een digitaal vissenkom leven, nietwaar? Maar de tools die we hebben verkend — die recursieve bewijzen en P2P-tunnels — slaan eindelijk het glas aan diggelen.

We laten de tijd achter ons waarin je een enkel VPN-bedrijf moest vertrouwen op hun blauwe ogen dat ze je browsegeschiedenis niet zouden verkopen. Bij Web3-tools rust het "vertrouwen" niet op de belofte van een CEO, maar op de wiskunde. Zoals we hebben gezien, stellen recursieve bewijzen ons in staat om volledige netwerken te verifiëren zonder dat de snelheid tot een nulpunt daalt.

• FHE ontmoet ZKP: Stel je een wereld voor waarin een server je gegevens kan verwerken zonder ze ooit daadwerkelijk te "zien". Fully Homomorphic Encryption (FHE) begint te versmelten met Zero-Knowledge technologie. Waar ZKP bewijst dat een berekening valide was, houdt FHE de data zelf versleuteld tijdens die berekening. Het is de ultieme privacy-combinatie.
• AI-gestuurde routering: Toekomstige dVPN's zullen niet alleen pakketjes verplaatsen; ze zullen AI inzetten om routes over DePIN-nodes te optimaliseren. Dit betekent dat je verbinding automatisch het snelste en meest veilige pad door de P2P-mesh vindt.
• Het einde van metadata-lekken: Standaard VPN's verbergen je IP-adres, maar lekken vaak wanneer en hoeveel je communiceert. Recursieve bewijzen kunnen deze patronen aggregeren, waardoor je digitale voetafdruk voor elke toeschouwer verandert in onbeduidende achtergrondruis.

Ik zie dat tech-savvy kleine ondernemingen hun interne communicatie al verplaatsen naar deze P2P-tunnels om bedrijfsspionage te voorkomen. In de vastgoedsector wordt het een methode om gevoelige contractdetails te delen via een gedistribueerd netwerk, zonder de identiteit van de koper bloot te stellen aan elke node in de keten.

Uiteindelijk zou privacy geen premium-functie moeten zijn waar je €9,99 per maand voor betaalt. Het is een fundamenteel recht. Door over te stappen op gedecentraliseerde, door tokens gestimuleerde netwerken, bouwen we aan een internet dat daadwerkelijk eigendom is van de mensen die het gebruiken.

De techniek is complex en de wiskunde is pittig, maar het resultaat is een web dat eindelijk écht vrij is. Blijf nieuwsgierig, bewaar je keys veilig en blijf jezelf afvragen wie er nou echt de eigenaar is van jouw data.