Zéró-ismeret bizonyítások a P2P metaadatok védelmére

A metaadatok problémája a decentralizált hálózatokban

Elgondolkodtál már azon, hogy a "privát" kriptotárcád miért kelti azt az érzést, mintha valaki figyelne? Azért van ez, mert még ha senki sem ismeri a neved, a hálózat a metaadatokon keresztül látja minden mozdulatodat – ezek azok a digitális morzsák, amelyeket magunk után hagyunk.

A legtöbb ember azt hiszi, hogy a P2P hálózatban álnéven szerepelni ugyanaz, mint láthatatlannak lenni, de ez egy veszélyes hazugság. Ahogy azt a Hiro megjegyzi, a blokkláncok és a decentralizált hálózatok általában álnevet kínálnak, ahol a tevékenységeid egy címhez kapcsolódnak, nem pedig egy névhez, de ezek a tevékenységek 100%-ban nyomon követhetők maradnak. (A kripto nem anonim: Az álnevek megértése - Nominis)

• Tranzakciós összekapcsolhatóság: A csomagjaid nem elszigetelt események. Ha egy dVPN-t használsz egy kiskereskedelmi oldal vagy egy egészségügyi portál eléréséhez, egy megfigyelő összekapcsolhatja ezeket az időzítési mintákat a csomópontod IP-címével.
• Forgalomelemzés: Még titkosítás esetén is az adatcsomagjaid mérete és a küldésük gyakorisága létrehoz egy "ujjlenyomatot". Bár a ZKP-k elrejtik a "ki" és a "mi" adatokat a láncon, a csomagok időzítését nem rejtik el természetesen. Továbbra is szükséged van hálózati szintű trükkökre, például csomagkitöltésre vagy onion routingra, hogy megakadályozd, hogy valaki kitalálja, mit csinálsz az adatcsomagok alapján.
• Az internetszolgáltató tényező: A helyi szolgáltatód továbbra is látja, hogy egy ismert dVPN belépési csomóponthoz csatlakozol, ami gyakran elegendő ahhoz, hogy az aktivitásodat megjelöljék bizonyos joghatóságokban. (K: Láthatja a munkáltatóm a földrajzi helyzetemet, amikor ...)

A metaadatok alapvetően az adataid "borítékjai". Megmondják, hogy ki küldte, hová tart, és milyen nehéz. Egy P2P beállításban ez egy aranybánya bárki számára, aki megpróbál anonimizálni téged.

Például, ha fejlesztőként kódot küldesz egy decentralizált tárhelyre, az általad végrehajtott api hívások különböző méretűek. Egy támadónak, aki figyeli a hálózatot, nem kell látnia a kódot; csak egy 50 kb-os csomagot kell látnia, amelyet egy 2 MB-os letöltés követ, hogy kitalálja, mit csinálsz.

Következő alkalommal megnézzük, hogyan javítják ki a zéró tudású bizonyítékok ezt a zűrzavart.

A zéró tudású bizonyítások (Zero-Knowledge Proofs) megértése a magánszféráért

Szóval, hogyan bizonyítjuk valójában, hogy jogunk van hozzáférni egy hálózathoz anélkül, hogy átadnánk a teljes digitális identitásunkat? Paradoxonnak hangzik, de pontosan ezt kezelik a zéró tudású bizonyítások (zkps).

Gondoljunk bele: be akarunk jutni egy 21 éven felülieknek szóló klubba. Ahelyett, hogy bemutatnánk egy személyi igazolványt, amelyen szerepel a lakcímünk, a magasságunk és a teljes nevünk, van egy varázskártyánk, amely zölden világít, hogy bizonyítsa, elég idősek vagyunk. A kidobó semmit sem tud meg arról, hogy kik vagyunk, csak azt, hogy megfelelünk a követelménynek. A decentralizált sávszélesség világában ez óriási dolog.

A zkp lényege egy kriptográfiai módszer, ahol egy "bizonyító" (mi) meggyőz egy "ellenőrzőt" (a csomópontot) arról, hogy egy állítás igaz, anélkül, hogy megosztaná a mögöttes adatokat. Ahogy azt a klasszikus színvak barát kísérlet is elmagyarázza, bizonyíthatjuk, hogy látjuk a különbséget két objektum között anélkül, hogy valaha is elmondanánk, mi ez a különbség.

Ahhoz, hogy egy zkp legitim legyen, három dologra van szükség:

• Teljesség: Ha igazat mondunk, a protokoll mindig működik.
• Helyesség: Ha hazudunk, a matematika szinte lehetetlenné teszi a bizonyíték meghamisítását.
• Zéró tudás: Az ellenőrző nem tud meg semmit, csak azt, hogy az állítás igaz.

Egy web3 vpn-ben ez azt jelenti, hogy bizonyíthatjuk, hogy fizettünk a sávszélesség bányászat kreditjeiért anélkül, hogy a csomópont valaha is látná a pénztárca előzményeinket vagy a valódi IP címünket.

Amikor a tényleges megvalósításról beszélünk olyan eszközökben, mint a zcash vagy a decentralizált proxy hálózatok, általában két betűszó bukkan fel: snark és stark.

1. zk-SNARKs: Ezek "Tömörek" (kicsik és gyorsak). Régebb óta léteznek, így a dokumentáció is jobb. A fogás? Szükségük van egy "megbízható beállításra" – egy kis kezdeti adatra, amelyet, ha nem semmisítenek meg megfelelően, lényegében "mérgező hulladék", amellyel bizonyítékokat lehet hamisítani.
2. zk-STARKs: Ezek az újabb, erősebb unokatestvérek. Nincs szükségük megbízható beállításra (átláthatóak), és ellenállnak a kvantumszámítógépeknek. A hátrány az, hogy a bizonyítékok mérete sokkal nagyobb, ami magasabb díjakhoz vagy lassabb sebességhez vezethet bizonyos láncokon.

A StarkWare szerint a starks használata hatalmas mértékű skálázhatóságot tesz lehetővé, mert több ezer tranzakciót lehet egyetlen bizonyítékba csomagolni. Ez tökéletes egy p2p sávszélesség csere számára, ahol apró kifizetéseket eszközölünk minden felhasznált megabájt után.

Ezután belemerülünk abba, hogyan valósítjuk ezt meg valójában a forgalmi mintáink elrejtésére.

ZKP Alkalmazások a DePIN és a Sávszélesség Bányászat Területén

Gondolkodtál már azon, hogyan kaphatsz fizetést az interneted megosztásáért anélkül, hogy valami ijesztő csomópont-üzemeltető megszaglászná a forgalmadat? Ez egy furcsa bizalmi szakadék, ahol tokeneket szeretnénk keresni, de nem akarjuk eladni a lelkünket (vagy adatainkat) ezért. Itt jön a képbe a DePIN (Decentralizált Fizikai Infrastruktúra Hálózatok) – ami alapvetően egy módja annak, hogy valós dolgokat, például wifi hálózatokat vagy szenzorhálózatokat építsünk kripto ösztönzőkkel.

Ezeknek az alagút protokolloknak a mögöttes technológiája gyorsan fejlődik. Elmozdulunk a régi iskolai protokolloktól, amelyeket könnyű volt azonosítani, és a moduláris beállítások felé, ahol a szállítási réteg teljesen el van választva az identitásrétegtől. Ahelyett, hogy egy statikus alagút lenne, amelyet egy internetszolgáltató könnyen észrevesz, az újabb DePIN projektek rotáló csomópontokat és ZKP-alapú hitelesítést használnak, hogy a kapcsolat úgy nézzen ki, mint egy általános titkosított zaj. Ez kevésbé szól a "VPN tippekről", és inkább arról, hogyan kezeli a matematika a kézfogást anélkül, hogy kiszivárogtatná a metaadataidat.

Az igazi varázslat akkor történik, amikor ZKP-ket használunk annak bizonyítására, hogy valójában adatokat irányítottunk. Egy standard beállításban a hálózatnak látnia kell a forgalmadat, hogy ellenőrizze, dolgozol. Ez egy adatvédelmi rémálom. Egy sávszélesség bizonyítási protokollal létrehozol egy bizonyítékot, amely azt mondja: "500 MB adatot mozgattam" anélkül, hogy megmutatnád, mik voltak ezek az adatok.

• Jutalmak biztosítása: A kripto hálózati jutalmakat úgy kapod meg, hogy egy bizonyítékot küldesz egy okosszerződésnek. A szerződés a matematikát ellenőrzi, nem a tartalmat.
• Csomópont validálás: Ez lehetővé teszi az adatvédelmet biztosító VPN csomópont validálást, így a hálózat tudja, hogy egy "jó" csomópont vagy anélkül, hogy szüksége lenne az otthoni IP címedre vagy naplóidra.
• Tokenizált Sávszélesség: Ez a megmaradt feltöltési sebességedet likvid eszközzé alakítja egy decentralizált sávszélesség tőzsdén.

A Zcash szerint ez a fajta technológia lehetővé teszi, hogy biztonságos főkönyvet vezess az egyenlegekről anélkül, hogy nyilvánosságra hoznád az érintett feleket. Ugyanez a logika a DePIN esetében is – bizonyítod, hogy szolgáltatást nyújtottál (például tárhelyet vagy sávszélességet), miközben a tényleges biteket rejtve tartod.

Következőként megvizsgáljuk, hogyan valósul ez meg a valóságban a forgalomelemzés megakadályozására.

A tokenizált internetes infrastruktúra jövője

Képzeld el, hogy kiadhatod a wifi-det, mint egy Airbnb-t, de anélkül, hogy valaha is tudnád, ki alszik a vendégszobában, vagy mit csinál a hálózatodon. Ez a legtöbbünk álma, akik ezt a p2p hálózati gazdaságot építjük, és őszintén szólva, ez az egyetlen módja annak, hogy valóban decentralizált internethez jussunk anélkül, hogy tönkreperelnének minket.

A cél itt egy decentralizált sávszélesség-csere, ahol pénzzé teheted a kihasználatlan kapcsolatodat. De ha megosztom a sávszélességemet, nem akarok felelős lenni azért, amit valaki a világ másik feléről letölt. A ZKP-k (zero-knowledge proofs) segítségével létrehozhatunk egy cenzúrának ellenálló VPN-t, ahol a szolgáltató (te) bizonyítja, hogy nyújtotta a szolgáltatást, a felhasználó pedig bizonyítja, hogy fizetett, de egyikőtök sem látja a tényleges forgalom tartalmát vagy a valós IP-címeket.

Az "ISP Factor" megoldására, ahol a szolgáltatód látja, hogy egy ismert csomópontot érsz el, a jövő a lopakodó címekben és az elrejtett hidakban rejlik. Még ha a tranzakciót egy ZKP is elrejti, ezek a hidak egy "titkos ajtóként" működnek, amely a belépési pontodat egy szokásos Zoom-hívásnak vagy egy Netflix-streamnek álcázza a szolgáltatód felé.

• Egészségügyi adatvédelem: Egy klinika használhat egy tokenizált hálózatot a betegadatok csomópontok közötti küldésére. A ZKP-k használatával bizonyítják, hogy az adatokat elküldték és fogadták anélkül, hogy a közvetítő csomópontoknak valaha is esélyük lenne kiszaglászni az érzékeny orvosi metaadatokat.
• Kiskereskedelem és pénzügy: Gondolj egy p2p sávszélesség-piactérre, ahol egy bolt fizetéseket dolgoz fel. Használhatnak tokenizált kapcsolatot a tranzakció eredetének elrejtésére, megakadályozva, hogy a versenytársak forgalomelemzéssel kinyerjék az értékesítési volumenüket.
• Globális hozzáférés: Ahol erős tűzfalak vannak, ott egy ZKP-k által működtetett Web3 VPN lehetővé teszi a felhasználók számára a blokkok megkerülését, mert a forgalom nem úgy néz ki, mint egy VPN – csak véletlenszerű, ellenőrzött zaj a láncon.

Nézd, a matematika gyönyörű, de a számítási többletterhelés valódi fájdalom a mobil p2p csomópontok számára. Egy ZKP generálása egy csúcskategóriás szerveren egy dolog; egy régi Android telefonon, csomópontként működve, egy másik. Decentralizált internetszolgáltatói alternatívákra van szükségünk, amelyek nem merítik le az akkumulátort csak azért, hogy privát maradj.

Ahogy a tokenizált internetes infrastruktúra felé haladunk, a hangsúlynak át kell helyeződnie arra, hogy ezeket a bizonyítékokat elég "könnyűvé" tegyük a mindennapi hardverekhez. Odaérünk, de ez egy állandó harc a biztonság és a teljesítmény között.

Következő lépésként befejezzük ezt azzal, hogy megnézzük, hogyan kezdheted el te magad is bevezetni ezeket az eszközöket.

Első lépések a metaadatok védelmével

Ha készen állsz arra, hogy ne csak beszélj a magánéletről, hanem ténylegesen el is kezdd használni azt, többféleképpen is belevághatsz. Nem kell matekzseninek lenned ahhoz, hogy használd ezeket az eszközöket, de tudnod kell, hogy melyek azok, amelyek valóban zkps-t használnak a háttérben.

1. Válassz egy ZKP-képes szolgáltatót: Keress olyan depin projekteket, amelyek kifejezetten említik a zk-snarkokat a "Kapcsolódás igazolásához". Amikor beállítasz egy csomópontot, ellenőrizd, hogy az irányítópult "vakított" statisztikákat mutat-e – ez azt jelenti, hogy a hálózat anélkül ellenőrzi a munkádat, hogy látná az IP-címedet.
2. Használj elrejtett hidakat: Mivel a zkps-ek nem rejtik el a kapcsolatodat a bejegyzési csomóponthoz az internetszolgáltatód elől, mindig engedélyezd az "elrejtést" vagy a "lopakodó módot" az ügyfélbeállításaidban. Ez hozzáadja a csomagtöltést, ami szükséges a forgalomelemzés megzavarásához.
3. Pénztárca higiénia: Használj egy adatvédelemre összpontosító pénztárcát, amely támogatja az árnyékolt címeket (mint például a Zcash vagy az Iron Fish), hogy fizess a sávszélességedért. Ha egy privát VPN-ért egy nyilvános ETH címmel fizetsz, akkor már elárultad a személyazonosságodat, mielőtt még a "csatlakozás" gombra kattintottál volna.
4. Futtass egy könnyű csomópontot: Ha van egy tartalék Raspberry Pi-d vagy egy régi laptopod, próbálj meg egy relé csomópontot futtatni egy decentralizált hálózathoz. Ez a legjobb módja annak, hogy valós időben lásd, hogyan kezelik a metaadatokat.

Ezeknek az eszközöknek a bevezetése a rétegekről szól. A zkp elrejti a tranzakciót, az elrejtés elrejti a forgalmi mintát, a decentralizált hálózat pedig elrejti a célt.

Összegzés: Egy Privát Web3 Lehetséges

Szóval, tényleg elérhetjük a privát web3-at, vagy ez csak egy délibáb a mi kockáink számára? A számítások alapos áttekintése után világossá válik, hogy a zkp-k (zéró tudású bizonyítások) az egyetlen módja annak, hogy megszabaduljunk a "nyomon követhető" státusztól, és valóban anonimmá váljunk.

Évekig csak a borítékban lévő "levelet" titkosítottuk, de ahogy korábban említettük, a külső metaadatok azok, amelyek lebuktatnak. A metaadatok elfedése és a zkp-alapú ellenőrzés felé mozdulva végre egy olyan rendszert építünk, ahol a magánélet nem csak egy opcionális funkció – hanem a hálózat alapértelmezett állapota.

A depin (decentralizált fizikai infrastruktúra hálózatok) és a zkp-k közötti szinergia az igazi áttörés. Egy olyan világot teremt, ahol a csomópontok fizetést kapnak a munkáért, amit bizonyítottan elvégeztek, de a felhasználó személyazonossága teljesen kívül marad a főkönyvön. Ahogy Hiro korábban említette, ez egyensúlyt teremt a blokklánc nyitottsága és a bizalmasság között, amelyre valójában szükségünk van ahhoz, hogy biztonságban érezzük magunkat online. Ez a forradalom következő szakasza – ahol az internet végre ismét a miénk.