Rekursiva nollkunskapsbevis för privat tunnelering

Men vänta, vad är egentligen rekursiva Zero-Knowledge-bevis?

Har du någonsin undrat hur du skulle kunna bevisa för en vän att du har nycklarna till ett låst kassaskåp utan att faktiskt visa nycklarna eller öppna dörren? Det låter som ett trolleritrick, men inom kryptografi kallas detta för ett Zero-Knowledge-bevis (ZKP).

Ärligt talat är det enklaste sättet att förstå rekursiva bevis att föreställa sig att du tar en selfie i en park idag samtidigt som du håller i ett utskrivet foto på dig själv i samma park från igår. För att bevisa att du har varit där hela veckan tar du helt enkelt ett nytt foto varje dag där du håller upp föregående dags bild.

När du når dag sju bevisar det sista fotot hela veckans historik eftersom det innehåller ett "bevis av ett bevis". Enligt sCrypt gör denna logik det möjligt för oss att aggregera tusentals transaktioner – inklusive komplexa "handskakningar" mellan användare – till en enda liten, verifierbar sträng.

• Kunskap utan exponering: Du bevisar att du känner till en hemlighet (som en privat nyckel för en VPN) utan att läcka en enda bit av den faktiska datan.
• Rekursiv nästling: Ett bevis verifierar inte bara data; det verifierar att en tidigare verifiering utfördes korrekt.
• Skalbarhet av det omöjliga: Inom finans innebär detta att en bank kan bevisa att en miljon transaktioner är giltiga utan att revisorn behöver kontrollera varenda en.

Standardbevis är kraftfulla, men de blir snabbt "tunga". Som noterats i forskning från Anoma är det en mardröm för en mobilanvändare att behöva beräkna om varje tillståndsändring ända från blockkedjans första block (genesis-blocket).

Vanliga zk-SNARKs kan bli för stora eller långsamma för privat tunnling i realtid. (zk-SNARKs: From Scalability Issues to Innovative Solutions) Om din dVPN var tvungen att generera ett massivt bevis för varje enskilt datapaket skulle din internethastighet sjunka till snigelfart. Rekursiva bevis löser detta genom att "komprimera" sanningen.

Och det är det som är poängen – det spelar ingen roll om du bevisar en timmes data eller tio års historik; beviset förblir litet. Härnäst ska vi dyka ner i hur detta faktiskt skapar en "privat tunnel".

Privat tunneling och dVPN-revolutionen

Känns det ibland som att din "privata" VPN-tjänst egentligen bara är ett glashus med en väldigt nyfiken hyresvärd? Traditionella VPN-tjänster fungerar i praktiken som "honeypots"; de samlar din data på en central server och väntar bara på att en hacker eller en myndighet med ett föreläggande ska knacka på dörren.

De flesta använder en VPN för att dölja sin aktivitet, men i verkligheten flyttar du bara ditt förtroende från din internetleverantör (ISP) till ett företag som Nord eller Express. Om deras server blir attackerad ligger din metadata – vem du är, när du loggade in och hur mycket data du har skickat – helt öppen för den som tagit sig in.

• Honeypots för hackare: En centraliserad server är en enorm måltavla. Om en illasinnad aktör tar sig in i en leverantörs databas kommer de åt allas information, inte bara en enskild persons.
• Skiftet mot dVPN: I ett decentraliserat VPN (dVPN) drivs noder av vanliga människor. Det fungerar som ett "Airbnb för bandbredd". Istället för att lita på ett stort företag använder du ett peer-to-peer-nätverk (P2P).
• Tillitslös verifiering (Trustless): Eftersom du inte känner personen som driver noden behöver du ett sätt att bevisa att de inte tjuvlyssnar på din trafik eller ljuger om mängden data som skickas. Det är här rekursiva nollkunskapsbevis (ZKP) blir avgörande.

Inom Web3 handlar tunneling inte bara om att flytta datapaket; det handlar om att paketera dem i lager av kryptografiska bevis. Målet är att flytta data mellan noder utan att nodägaren kan se innehållet eller ens känna till din verkliga identitet.

Kryptering döljer innehållet, men det döljer inte det faktum att du kommunicerar. Som sCrypt noterade i föregående avsnitt tillåter rekursiva bevis oss att aggregera dessa handskakningar så att nätverket förblir snabbt.

Jag har sett teknikentusiaster sätta upp dessa noder i sina källare för att tjäna tokens genom "bandwidth mining". Inom gaming innebär detta att en spelare kan minska sin latens genom att ansluta via en lokal nod utan att nodägaren kan se deras kontouppgifter. Inom journalistik kan en reporter få tillgång till censurerade webbplatser via en P2P-tunnel, vilket säkerställer att ingen enskild server sitter på "huvudnyckeln" till den känsliga anslutningen.

Enligt forskning från Tari Labs University gör användningen av "vänliga par" (amicable pairs) av elliptiska kurvor det möjligt för verifieraren att kontrollera tunnelns integritet utan att själv behöva utföra de tunga beräkningarna. Det är detta som gör att hela det "tillitslösa" konceptet faktiskt fungerar på en vanlig smartphone.

Härnäst ska vi titta på hur dessa bevis faktiskt "komprimerar" datan så att din uppkopplingshastighet inte blir lidande.

Matematiken bakom magin: SNARKs, Halo och mer därtill

För att dessa "privata tunnlar" ska fungera i praktiken krävs avancerad matematik som, trots sin komplexitet, agerar fjäderlätt i systemet. Här är en genomgång av tekniken som möjliggör detta:

• SNARKs (Succinct Non-interactive Arguments of Knowledge): Dessa är superstjärnorna inom ZKP-världen (Zero-Knowledge Proofs). De kallas "succinct" (kortfattade) eftersom bevisen är extremt små, och "non-interactive" (icke-interaktiva) eftersom bevisaren kan skicka över beviset direkt utan att behöva genomföra en tidskrävande dialog fram och tillbaka med verifieraren.
• Halo-protokollet: Detta innebar ett enormt genombrott då det eliminerade behovet av en "trusted setup" (betrodd konfiguration). Tidigare SNARKs krävde att en hemlig nyckel skapades och sedan förstördes; om någon behöll en kopia kunde de förfalska bevis. Halo, som beskrivs i forskning från Electric Coin Company, använder "nästlad amortering" för att verifiera bevis utan den riskfyllda initiala hemligheten.
• Cykler av elliptiska kurvor: Det låter kanske som namnet på ett proggrockband, men det är den hemliga ingrediensen för mobila dVPN-tjänster. Genom att använda "vänskapliga par" av kurvor (likt Tweedledum och Tweedledee), kan en smartphone verifiera ett bevis med sitt eget naturliga matematiska språk. Detta gör rekursionen tillräckligt snabb för att hantera datatrafik i realtid.

De flesta inser inte att verifiering av ett kryptografiskt bevis faktiskt är en ganska "tung" beräkningsuppgift. Om en dVPN-nod var tvungen att kontrollera varje enskilt pakets historik från grunden, skulle din Netflix-stream se ut som ett bildspel från 1995.

Som vi tidigare nämnt löser rekursiva bevis detta genom att "komprimera" arbetsbördan. Men det finns ytterligare ett knep: Parallell bevisgenerering. Istället för att en person kontrollerar tusen kvitton i rad, anlitar man tusen personer som kontrollerar varsitt kvitto, för att sedan slå ihop resultaten till ett enda litet "master-kvitto".

Jag har sett detta tillämpas inom fler områden än bara webbsurfning. Inom finanssektorn använder högfrekvenshandlare dessa parallella SNARKs för att bevisa att miljontals transaktioner är giltiga utan att revisorn behöver kontrollera varje enskild affär. Det håller marknaden i rörelse med ljusets hastighet.

Enligt Jiaheng Zhangs forskning vid UC Berkeley har protokoll som Virgo och Libra drivit detta ännu längre och uppnått "optimal bevisartid". Detta innebär att tiden det tar att skapa beviset nu är strikt linjär i förhållande till datamängden – inga fler exponentiella fördröjningar.

Vi har alltså matematiken för att hålla systemet både snabbt och privat. Men hur hindrar detta rent konkret någon från att stjäla din data? Härnäst ska vi titta på hur detta passar in i den större bilden av fysisk hårdvara och DePIN-ekosystem.

Tokeniserad bandbredd och ett "Airbnb för internet"

Har du någonsin funderat på hur mycket av din hemanslutning som bara står och tickar utan att användas när du är på jobbet eller sover? Det är lite som att ha ett extra sovrum som står tomt året om – fast i det här fallet är "rummet" din outnyttjade uppladdningskapacitet.

Det är här tokeniserad bandbredd kommer in i bilden. Det fungerar i praktiken som ett "Airbnb för internet". Istället för att låta den där extra kapaciteten gå till spillo kan du hyra ut den till ett peer-to-peer-nätverk (P2P) och få betalt i krypto.

Utvinning av bandbredd, eller så kallad bandwidth mining, har blivit en enorm trend eftersom det vänder upp och ner på den traditionella ISP-modellen. Vanligtvis betalar du en operatör som Telia eller Tele2 för en uppkoppling, och de bryr sig inte om du använder 1 % eller 90 % av den.

Med en decentraliserad VPN (dVPN) blir din router en "nod". När någon på andra sidan jorden behöver en säker anslutning tunnlar de genom din IP-adress, och du tjänar tokens för den data som överförs. Det är ett sätt för användare att ta tillbaka kontrollen, och plattformar som SquirrelVPN följer noga hur dessa funktioner gör webben mer öppen.

Men det finns en hake: hur vet personen som betalar dig att du faktiskt har tillhandahållit bandbredden? Du skulle ju kunna ljuga och påstå att du skickat 10 GB när du i själva verket bara skickat 1 GB. Det är här de rekursiva ZKP-metoderna (Zero-Knowledge Proofs) som vi nämnde tidigare räddar situationen.

Hela systemet drivs av tillgång och efterfrågan på globala IP-adresser. En forskare i Turkiet kan behöva en USA-baserad IP-adress för att kringgå lokal censur, medan ett småföretag i Dalarna har extra fiberkapacitet över.

• Smarta kontrakt för tillit: Betalningar sker automatiskt. Du behöver inte vänta på en faktura eller utbetalning; blockchain-tekniken hanterar mikrotransaktioner varje gång ett datapaket verifieras.
• Integritet som grundpelare: Det magiska med ZKP är att medan jag tjänar tokens på din trafik, har jag absolut ingen aning om vad du faktiskt gör online.
• Branschnytta: Inom detaljhandeln använder företag P2P-nätverk för att kontrollera hur deras priser ser ut för kunder i olika länder utan att bli blockerade av anti-bot-programvara.

Som noterats i en studie från 2022 av sCrypt är detta endast möjligt för att vi kan sammanfoga tusentals av dessa små användningsbevis till ett enda "huvudbevis". Detta förhindrar att blockkedjan blir överbelastad av miljarder små betalningskvitton.

Ärligt talat är det en vinst för alla inblandade. Du finansierar ditt internet genom att dela med dig av det, och världen får ett mer motståndskraftigt och censurresistent nät.

DePIN: Framtidens fysiska infrastruktur

Har du någonsin funderat på varför vi fortfarande förlitar oss på massiva serverhallar, ägda av gigantiska teknikmonopol, för att driva hela internet? Det känns nästan som om vi hyr luften vi andas av en hyresvärd som dessutom övervakar allt vi gör.

Det är här DePIN (Decentralized Physical Infrastructure Networks) kommer in och rör om i grytan. Istället för att ett enskilt företag äger alla "rör", äger communityn hårdvaran – din router, din grannes lagringsenhet, eller kanske en lokal väderstation – och får betalt i tokens för att hålla systemet igång.

• Hårdvara utan hegemoni: DePIN förvandlar vanliga enheter till "noder" som fungerar som routrar och servrar i ett nytt, globalt webbnätverk. Du är inte längre bara en konsument; du är en del av själva infrastrukturen.
• Motståndskraft mot censur: Eftersom det inte finns någon central "avstängningsknapp" är det extremt svårt för myndigheter eller internetleverantörer att stänga ner ett P2P-nätverk.
• Effektivitetsvinster: Enligt Jiaheng Zhangs forskning vid UC Berkeley tillåter protokoll som deVirgo dessa distribuerade nätverk att skala genom att låta flera maskiner hantera generering av bevis parallellt. Detta gör hela systemet "optimalt" när det gäller hastighet.

Den verkliga utmaningen med DePIN är att bevisa att alla dessa utspridda noder faktiskt gör vad de påstår. Om jag betalar dig för bandbredd måste jag veta att du inte bara har fabricerat dataloggarna.

Här fungerar rekursiva bevis som det sammanhållande "klistret". De använder IVC (Incrementally Verifiable Computation) för att verifiera tillståndsändringar. I praktiken är IVC den matematiska processen för att uppdatera ett bevis steg för steg när ny data läggs till, så att man slipper starta om bevisprocessen från noll varje gång ett nytt datapaket skickas.

Inom logistik innebär detta att ett nätverk av privata sensorer skulle kunna verifiera att en försändelse hållit rätt temperatur genom tio olika leveransbilar, utan att avslöja de exakta GPS-rutterna för dessa fordon.

Ärligt talat är det riktigt häftigt att se hur detta rör sig från teoretiska modeller till faktisk hårdvara som står på folks skrivbord.

Implementering av privata tunnlar med rekursiva ZKP

Att gå från teori till kod är där det verkliga arbetet börjar. För att bygga en tunnel baserad på rekursiva ZKP (Zero-Knowledge Proofs) måste vi översätta nätverksbeteenden till aritmetiska kretsar. Se dessa som en serie logiska grindar som bearbetar din data. "Witness" (vittnet) är den hemliga delen av beviset – som din privata nyckel eller det faktiska innehållet i din webbtrafik – som aldrig avslöjas för den nod som driver tunneln.

• Aritmetiska kretsar: Vi definierar tunnelns regler med matematik. Istället för att en server kontrollerar dina loggar, verifierar kretsen att paketet följde rätt väg och inte har manipulerats.
• Hantering av "Witness": Vi använder "maskerande polynom" för att dölja vittnet. Som tidigare diskuterats i forskning av Jiaheng Zhang, säkerställer dessa små masker att även om en nod ser beviset, kan den inte dekonstruera eller återskapa din data.
• Verifiering på millisekunder: Eftersom bevisen är rekursiva behöver verifieraren bara kontrollera det sista beviset i kedjan. Detta sker på några millisekunder, vilket möjliggör en smidig 4K-strömning eller en spelsession helt utan fördröjning.

Ärligt talat är det inte bara guld och gröna skogar. Utvecklare står inför reella utmaningar när dessa system ska byggas för praktisk användning. Ett stort problem är bilinjära parningar. Detta är matematiska operationer som används för att verifiera bevis, men de är beräkningsmässigt tunga. Om man inte är försiktig kommer de att sluka mobilens batteri till frukost.

Att välja rätt ändliga fält (finite fields) är också en rejäl huvudvärk. Du behöver ett fält som stöder de snabba Fouriertransformer (FFT) som krävs för att matematiken ska förbli snabb. Jag har sett utvecklare kämpa med detta – om du väljer fel fält går tiden för att generera bevis (prover time) från "ögonblicklig" till "jag går och tar en kaffe medan den laddar".

En studie från 2020 om Virgo-protokollet visade att användningen av utvidgningsfält av Mersenne-primtal kan göra modulära multiplikationer betydligt snabbare, vilket är en total "game-changer" för batteritiden i mobila enheter.

Inom hälso- och sjukvård gör dessa optimerade tunnlar det möjligt för en klinik att skicka en MR-bild till en specialist. Det rekursiva beviset garanterar att datan inte har rörts, men nodägaren – som kan vara vem som helst med en router i källaren – ser aldrig patientens namn eller medicinska historik.

Framtiden för Web3-integritetsverktyg

Tänk på förra gången du använde en "gratis" tjänst och insåg att det var din data som faktiskt var valutan. Det känns lite som att vi har levt i ett digitalt akvarium, eller hur? Men de verktyg vi har utforskat – dessa rekursiva bevis och P2P-tunnlar – håller äntligen på att krossa glaset.

Vi rör oss bort från den tid då man var tvungen att lita på att ett enskilt VPN-företag inte sålde ens webbhistorik. Med Web3-verktyg ligger "tilliten" inte i ett löfte från en VD; den ligger i matematiken. Som vi har sett gör rekursiva bevis det möjligt för oss att verifiera hela nätverk utan att hastigheten sjunker till snigelfart.

• FHE möter ZKP: Föreställ dig en värld där en server kan bearbeta din data utan att någonsin "se" den. Fullt homomorfisk kryptering (FHE) börjar nu smälta samman med Zero-Knowledge-teknik. Medan ZKP bevisar att beräkningen var giltig, håller FHE själva datan krypterad under själva beräkningen. Det är den ultimata integritetskombinationen.
• AI-driven ruttoptimering: Framtidens dVPN:er kommer inte bara att flytta paket; de kommer att använda AI för att optimera rutter över DePIN-noder. Detta innebär att din anslutning automatiskt hittar den snabbaste och säkraste vägen genom P2P-meshnätverket.
• Slutet för metadataläckor: Standard-VPN:er döljer din IP-adress, men de läcker ofta information om när och hur mycket du kommunicerar. Rekursiva bevis kan aggregera dessa mönster och få ditt digitala fotavtryck att framstå som bakgrundsbrus för alla som tittar på.

Jag har sett teknikmogna småföretag som redan har börjat flytta sin interna kommunikation till dessa P2P-tunnlar för att undvika industrispionage. Inom fastighetsbranschen håller det på att bli ett sätt att dela känsliga kontraktsuppgifter över ett distribuerat nätverk utan att exponera köparens identitet för varje nod i kedjan.

I slutändan ska integritet inte vara en premiumfunktion som man betalar 99 kronor i månaden för. Det är en grundläggande rättighet. Genom att gå över till decentraliserade, token-incitamentsstyrda nätverk bygger vi ett internet som faktiskt ägs av människorna som använder det.

Tekniken är komplex och matematiken är svår, men resultatet är en webb som äntligen är genuint fri. Fortsätt vara nyfiken, förvara dina nycklar säkert och sluta aldrig ifrågasätta vem som egentligen äger din data.