Rekurzivní důkazy s nulovou znalostí pro soukromé tunely

Moment, co jsou to vlastně ty rekurzivní důkazy s nulovým rozšířením znalostí?

Napadlo vás někdy, jak byste mohli příteli dokázat, že máte klíče od zamčeného trezoru, aniž byste mu ty klíče skutečně ukázali nebo ten trezor otevřeli? Zní to jako kouzelnický trik, ale ve světě kryptografie tomu říkáme důkaz s nulovým rozšířením znalostí (Zero-Knowledge Proof – ZKP).

Upřímně řečeno, nejsnazší způsob, jak pochopit rekurzivní důkazy, je představit si, že si dnes v parku uděláte selfie a přitom držíte vytištěnou fotku sebe sama ze včerejška ve stejném parku. Abyste dokázali, že jste tam byli celý týden, prostě si každý den pořídíte novou fotku, na které držíte snímek z předchozího dne.

Sedmý den tato jediná finální fotografie prokazuje historii celého týdne, protože obsahuje „důkaz o důkazu“. Podle platformy sCrypt nám tato logika umožňuje agregovat tisíce transakcí – včetně složitých „handshaků“ (navazování spojení) mezi uživateli – do jednoho drobného, ověřitelného řetězce.

• Znalost bez odhalení: Prokážete, že znáte tajemství (například soukromý klíč k VPN), aniž byste vyzradili jediný bit skutečných dat.
• Rekurzivní vnořování: Důkaz neověřuje pouze data; ověřuje, že předchozí ověření bylo provedeno správně.
• Škálování nemožného: Ve financích to znamená, že banka může prokázat platnost milionu obchodů, aniž by auditor musel kontrolovat každý z nich zvlášť.

Standardní důkazy jsou skvělé, ale rychle se stávají výpočetně „těžkými“. Jak uvádí výzkum společnosti Anoma, přepočítávání každé změny stavu od prvního bloku blockchainu (genesis block) je pro mobilního uživatele noční můrou.

Běžné protokoly zk-SNARK mohou být příliš objemné nebo pomalé pro privátní tunelování v reálném čase. (zk-SNARKs: Od problémů se škálovatelností k inovativním řešením) Pokud by vaše dVPN musela generovat masivní důkaz pro každý jednotlivý paket, rychlost vašeho internetu by klesla na minimum. Rekurzivní důkazy tento problém řeší tím, že pravdu „komprimují“.

A v tom je ten vtip – nezáleží na tom, zda prokazujete data za jednu hodinu nebo za deset let; výsledný důkaz zůstává stále malý. V další části se podíváme na to, jak tato technologie v praxi buduje „privátní tunel“.

Soukromé tunelování a revoluce dVPN

Máte někdy pocit, že vaše „soukromá“ VPN je ve skutečnosti jen velký skleněný dům s velmi zvědavým panem domácím? Tradiční VPN fungují v podstatě jako digitální pasti (tzv. honeypoty) – shromažďují vaše data na centrálním serveru a jen čekají, až na ně zaklepe hacker nebo přijde soudní obsílka.

Většina lidí používá VPN, aby se skryla, ale ve skutečnosti pouze přenášejí svou důvěru od poskytovatele internetového připojení (ISP) k firmám jako Nord nebo Express. Pokud dojde k prolomení jejich serveru, vaše metadata – tedy kdo jste, kdy jste se přihlásili a kolik dat jste přenesli – jsou okamžitě k dispozici útočníkům.

• Honeypoty pro hackery: Centralizovaný server je obrovským terčem. Pokud se útočník dostane do databáze poskytovatele, nezíská informace jen o jednom člověku, ale o všech uživatelích najednou.
• Nástup dVPN: V decentralizované VPN (dVPN) provozují uzly (nodes) běžní lidé. Je to v podstatě „Airbnb pro šířku pásma“. Nedůvěřujete jedné velké korporaci, ale využíváte peer-to-peer (P2P) síť.
• Ověřování bez nutnosti důvěry (Trustless): Protože neznáte osobu, která uzel provozuje, potřebujete způsob, jak dokázat, že nesleduje váš provoz nebo nelže o objemu přenesených dat. Právě zde přicházejí ke slovu triky s rekurzivními důkazy s nulovým rozšířením znalostí (ZKP).

Ve světě Web3 není tunelování jen o přesouvání paketů; jde o jejich zabalení do vrstev kryptografických důkazů. Cílem je přenášet data mezi uzly, aniž by vlastník uzlu viděl jejich obsah nebo vůbec znal vaši skutečnou identitu.

Šifrování sice skryje obsah, ale neskryje skutečnost, že komunikujete. Jak zmínil sCrypt v předchozí části, rekurzivní důkazy nám umožňují tyto „handshaky“ agregovat, díky čemuž zůstává síť rychlá.

Viděl jsem technologické nadšence, kteří si tyto uzly nastavují ve svých sklepech, aby získávali odměny v tokenech za sdílení šířky pásma. V gamingu to znamená, že hráč může snížit odezvu (lag) připojením přes lokální uzel, aniž by majitel uzlu viděl detaily jeho účtu. V žurnalistice může reportér přistupovat k blokovaným webům přes P2P tunel, což zaručuje, že žádný centrální server nedrží „univerzální klíč“ k tomuto citlivému spojení.

Podle výzkumu Tari Labs University umožňuje použití těchto „přátelských párů“ (amicable pairs) eliptických křivek verifikátorovi zkontrolovat integritu tunelu, aniž by sám musel provádět výpočetně náročné operace. Díky tomu celý tento „trustless“ model funguje plynule i na mobilních telefonech.

Dále se podíváme na to, jak tyto důkazy ve skutečnosti „komprimují“ data, aby vaše rychlost připojení nijak neutrpěla.

Matematika v pozadí: SNARKs, Halo a další technologie

Aby tyto „privátní tunely“ skutečně fungovaly, potřebujeme k tomu poměrně robustní matematický aparát, který však v praxi působí velmi lehce. Zde je rozbor technologií, díky kterým je to možné:

• SNARKs (Succinct Non-interactive Arguments of Knowledge): Jsou to skutečné hvězdy světa důkazů s nulovým rozšířením znalostí (ZKP). Jsou „stručné“ (succinct), protože samotný důkaz je miniaturní, a „neinteraktivní“ (non-interactive), protože prokazatel může důkaz jednoduše odeslat, aniž by musel s ověřovatelem absolvovat zdlouhavou komunikaci tam a zpět.
• Protokol Halo: Představuje obrovský průlom, protože se zbavil nutnosti „důvěryhodného nastavení“ (trusted setup). Starší verze SNARKů vyžadovaly vytvoření a následné zničení tajného klíče; pokud by si někdo ponechal kopii, mohl by důkazy falšovat. Halo, jak uvádí výzkum společnosti Electric Coin Company, využívá takzvanou „vnořenou amortizaci“ k ověřování důkazů bez tohoto rizikového počátečního tajemství.
• Cykly eliptických křivek: Zní to sice jako název progresivní rockové kapely, ale je to tajná ingredience pro mobilní dVPN. Díky použití „přátelských párů“ křivek (jako jsou Tweedledum a Tweedledee) může telefon ověřit důkaz pomocí svého nativního matematického jazyka. To zrychluje rekuzi natolik, že zvládne zpracovávat síťový provoz v reálném čase.

Většina lidí si neuvědomuje, že kontrola kryptografického důkazu je výpočetně velmi náročný úkol. Pokud by uzel dVPN musel od nuly kontrolovat historii každého jednotlivého paketu, váš stream na Netflixu by vypadal jako prezentace fotek z roku 1995.

Jak jsme již zmínili, rekurzivní důkazy tento problém řeší „kompresí“ pracovní zátěže. Existuje však ještě jeden trik: Paralelní generování důkazů. Místo toho, aby jeden člověk kontroloval tisíc účtenek za sebou, najmete tisíc lidí, z nichž každý zkontroluje jednu, a jejich výsledky pak spojíte do jediné drobné „hlavní“ účtenky.

Tento princip se neprojevuje jen při prohlížení webu. Ve finančnictví využívají vysokofrekvenční obchodníci tyto paralelní SNARKy k prokázání platnosti milionu transakcí, aniž by auditor musel kontrolovat každou z nich zvlášť. Trh se díky tomu může pohybovat rychlostí světla.

Podle výzkumu Jiahenga Zhanga z UC Berkeley posunuly protokoly jako Virgo a Libra tuto technologii ještě dále a dosáhly „optimálního času prokazatele“. To znamená, že čas potřebný k vytvoření důkazu je nyní přímo úměrný objemu dat – už žádné exponenciální zpomalování.

Máme tedy matematiku, která zajišťuje rychlost i soukromí. Jak ale tato technologie v praxi zabrání tomu, aby vám někdo ukradl data? V další části se podíváme na to, jak to vše zapadá do širšího kontextu fyzické infrastruktury (DePIN).

Tokenizovaná šířka pásma a „Airbnb pro internet“

Napadlo vás někdy, kolik kapacity vašeho domácího internetového připojení zůstává nevyužito, zatímco jste v práci nebo spíte? Je to jako mít v bytě volný pokoj, který zeje prázdnotou po celý rok – s tím rozdílem, že v tomto případě je oním „pokojem“ vaše nevyužitá rychlost odesílání dat (upload).

Právě zde přichází na scénu tokenizovaná šířka pásma. V podstatě jde o „Airbnb pro internet“. Místo abyste nechali tuto nadbytečnou kapacitu ladem, můžete ji pronajmout v rámci peer-to-peer (P2P) sítě a nechat si zaplatit v kryptoměnách.

Těžba šířky pásma (bandwidth mining) se stává masivním trendem, protože staví tradiční model poskytovatelů internetového připojení (ISP) na hlavu. Obvykle platíte korporacím za „přípojku“ a jim je jedno, zda využijete 1 % nebo 90 % její kapacity.

V prostředí decentralizované VPN (dVPN) se váš router stává „uzlem“ (node). Když někdo na druhém konci světa potřebuje zabezpečené připojení, vytvoří si tunel přes vaši IP adresu a vy získáváte tokeny za přenesená data. Je to způsob, jakým uživatelé přebírají kontrolu zpět do svých rukou, a portály jako SquirrelVPN neustále sledují, jak tyto funkce přispívají k otevřenějšímu webu.

Má to však jeden háček: jak ten, kdo vám platí, pozná, že jste šířku pásma skutečně poskytli? Mohli byste prostě tvrdit, že jste přenesli 10 GB, i když to byl jen 1 GB. A právě zde situaci zachraňují triky s rekurzivními důkazy s nulovým rozšířením znalostí (ZKP), o kterých jsme mluvili dříve.

Celý systém funguje na principu nabídky a poptávky po globálních IP adresách. Výzkumník v Turecku může potřebovat americkou IP adresu, aby obešel lokální cenzuru, zatímco malá firma v Ohiu má nevyužitou kapacitu na své optické přípojce.

• Chytré kontrakty pro zajištění důvěry: Platby probíhají automaticky. Žádné čekání na fakturu; blockchain zpracovává mikrotransakce pokaždé, když je datový paket ověřen.
• Soukromí jako základní pilíř: Kouzlo ZKP spočívá v tom, že i když vydělávám tokeny na vašem provozu, nemám absolutně tušení, co na internetu skutečně děláte.
• Dopad na průmysl: V oblasti maloobchodu využívají firmy P2P sítě ke kontrole toho, jak se jejich ceny zobrazují zákazníkům v různých zemích, aniž by je zablokoval software proti botům.

Jak uvádí studie společnosti sCrypt z roku 2022, toto je možné pouze díky tomu, že dokážeme agregovat tisíce těchto drobných důkazů o využití do jednoho „hlavního důkazu“. To zabraňuje zahlcení blockchainu miliardami drobných potvrzení o platbách.

Upřímně řečeno, je to situace výhodná pro všechny. Za svůj internet v podstatě platíte tím, že ho sdílíte, a svět díky tomu získává odolnější web, který je imunní vůči cenzuře.

DePIN: Nová éra fyzické infrastruktury

Napadlo vás někdy, proč se při provozu celého internetu stále spoléháme na masivní serverové farmy vlastněné korporacemi se známými zkratkami? Působí to trochu, jako bychom si pronajímali i vzduch, který dýcháme, od pronajímatele, který navíc sleduje každý náš krok.

Právě zde přichází na scénu DePIN (decentralizované sítě fyzické infrastruktury), aby od základů změnily pravidla hry. Namísto toho, aby „potrubí“ vlastnila jediná společnost, vlastní hardware komunita – váš router, sousedův datový disk nebo třeba lokální meteostanice – a za jeho provoz získává odměny v tokenech.

• Hardware bez hegemonie: DePIN proměňuje běžná zařízení v „uzly“ (node), které fungují jako routery a servery nového globálního webu. Už nejste jen pouhým spotřebitelem; stáváte se přímou součástí infrastruktury.
• Odolnost vůči cenzuře: Protože neexistuje žádný centrální vypínač, je pro jakoukoli vládu nebo poskytovatele internetového připojení (ISP) nesmírně obtížné vypnout peer-to-peer (P2P) síť.
• Efektivita v praxi: Podle výzkumu Jiahenga Zhanga z UC Berkeley umožňují protokoly jako deVirgo těmto distribuovaným sítím škálovat díky paralelnímu generování důkazů na více strojích současně. Celý systém je tak z hlediska rychlosti naprosto optimální.

Skutečnou výzvou u DePINu je prokázat, že všechny tyto náhodné uzly skutečně dělají to, co deklarují. Pokud vám platím za šířku pásma (bandwidth), musím mít jistotu, že jste si datové protokoly prostě nevyfabulovali.

Rekurzivní důkazy zde fungují jako ono pověstné „lepidlo“. Využívají IVC (Incrementally Verifiable Computation) k ověřování stavových přechodů. V zásadě je IVC matematický proces, který aktualizuje důkaz krok za krokem s každým novým přidaným datem. Díky tomu nemusíte restartovat celý proces dokazování od nuly pokaždé, když sítí projde nový datový paket.

V oblasti logistiky to například znamená, že síť soukromých senzorů může ověřit, zda si zásilka udržela správnou teplotu během přepravy v deseti různých nákladních vozech, aniž by musela odhalit přesnou trasu GPS těchto vozidel.

Upřímně řečeno, je fascinující sledovat, jak se tato technologie přesouvá z teoretických rovin do reálného hardwaru, který lidem leží doma na stole.

Implementace soukromého tunelování pomocí rekurzivních ZKP

Přechod od teorie ke kódu je fáze, kde se věci začínají komplikovat. Abychom vytvořili tunel založený na rekurzivních ZKP (důkazech s nulovým rozšířením znalostí), musíme chování sítě přeložit do aritmetických obvodů. Představte si je jako sérii logických hradel, která zpracovávají vaše data. „Svědek“ (witness) je tajná část důkazu – například váš soukromý klíč nebo skutečný obsah vašeho webového provozu – která se uzlu provozujícímu tunel nikdy neodhalí.

• Aritmetické obvody: Pravidla tunelu definujeme pomocí matematiky. Namísto toho, aby server kontroloval vaše logy, obvod ověřuje, zda paket prošel správnou cestou a nebylo s ním manipulováno.
• Práce se svědkem: K ukrytí svědka používáme „maskovací polynomy“. Jak již dříve ve svém výzkumu popsal Jiaheng Zhang, tyto drobné masky zajišťují, že i když uzel uvidí důkaz, nemůže vaše data zpětně dešifrovat.
• Verifikace v řádu milisekund: Protože jsou důkazy rekurzivní, verifikátor kontroluje pouze poslední důkaz v řetězci. To probíhá v milisekundách, což umožňuje plynulé streamování ve 4K nebo hraní her bez latence.

Upřímně řečeno, není to vždy jen zalité sluncem. Vývojáři při budování těchto systémů pro reálné použití narážejí na vážné překážky. Jedním z velkých problémů jsou bilineární párování. Jde o matematické operace používané k ověřování důkazů, které jsou však výpočetně velmi náročné. Pokud si nedáte pozor, doslova vám „sežerou“ baterii v telefonu k snídani.

Výběr správných konečných těles (finite fields) je také kapitola sama pro sebe. Potřebujete těleso, které podporuje rychlé Fourierovy transformace (FFT), aby výpočty zůstaly svižné. Viděl jsem vývojáře, jak s tím bojují – pokud zvolíte špatné těleso, čas generování důkazu se změní z „okamžitého“ na „jdu si udělat kávu, než se to načte“.

Studie z roku 2020 o protokolu Virgo ukázala, že použití rozšířených těles Mersennových prvočísel může výrazně urychlit modulární násobení, což zcela mění pravidla hry pro výdrž baterie u mobilních zařízení.

Ve zdravotnictví umožňují tyto optimalizované tunely klinice odeslat snímek z magnetické rezonance specialistovi. Rekurzivní důkaz zaručuje, že s daty nebylo manipulováno, ale majitel uzlu – což může být klidně jen někdo s routerem v obýváku – nikdy neuvidí jméno pacienta ani jeho zdravotní historii.

Budoucnost nástrojů pro soukromí ve světě Web3

Vzpomeňte si, kdy jste naposledy použili nějakou službu „zdarma“ a pak si uvědomili, že skutečnou měnou byla vaše vlastní data. Je to trochu jako žít v digitálním akváriu, že? Nástroje, které jsme prozkoumali – od rekurzivních důkazů až po p2p tunely – však toto sklo konečně rozbíjejí.

Opouštíme éru, kdy jste museli slepě důvěřovat jedné konkrétní vpn společnosti, že neprodá vaši historii prohlížení. U Web3 nástrojů nespočívá „důvěra“ v příslibu generálního ředitele, ale v matematice. Jak jsme viděli, rekurzivní důkazy nám umožňují ověřovat celé sítě, aniž by se jejich provoz zpomalil na hlemýždí tempo.

• Spojení FHE a zkp: Představte si svět, kde server dokáže zpracovat vaše data, aniž by je kdykoliv „viděl“. Plně homomorfní šifrování (fhe) se začíná propojovat s technologií nulového znalosti. Zatímco zkp prokazuje, že výpočet byl platný, fhe udržuje samotná data zašifrovaná i během tohoto výpočtu. Je to ultimátní kombinace pro ochranu soukromí.
• Trasy řízené AI: Budoucí dvpn nebudou jen pasivně přenášet pakety; budou využívat umělou inteligenci k optimalizaci tras napříč depin uzly. To znamená, že vaše připojení automaticky najde nejrychlejší a nejbezpečnější cestu skrze p2p mesh síť.
• Konec úniků metadat: Standardní vpn sice skryjí vaši IP adresu, ale často skrze ně uniká informace o tom, kdy a v jakém objemu komunikujete. Rekurzivní důkazy dokážou tyto vzorce agregovat, takže vaše digitální stopa vypadá pro jakéhokoli pozorovatele jen jako šum v pozadí.

Sleduji, jak technologicky vyspělé malé firmy již nyní přesouvají svou interní komunikaci do těchto p2p tunelů, aby se vyhnuly průmyslové špionáži. V oblasti nemovitostí se tento přístup stává standardem pro sdílení citlivých detailů smluv v rámci distribuované sítě, aniž by byla identita kupujícího vystavena každému uzlu v řetězci.

Ve výsledku by soukromí nemělo být prémiovou funkcí, za kterou platíte 9,99 dolarů měsíčně. Je to základní právo. Přechodem na decentralizované sítě s tokenovými pobídkami budujeme internet, který skutečně vlastní lidé, kteří jej používají.

Technologie je to sice složitá a matematika náročná, ale výsledkem je web, který je konečně a opravdově svobodný. Zůstaňte zvídaví, hlídejte si své privátní klíče a nikdy se nepřestávejte ptát, kdo vlastně vlastní vaše data.