P2P Metadata Gizliliği için Sıfır Bilgi Kanıtları | dVPN & DePIN

Merkeziyetsiz Ağlarda Meta Veri Sorunu

"Gizli" kripto cüzdanınızın bile neden sürekli izleniyormuş gibi hissettirdiğini hiç merak ettiniz mi? Çünkü kimse adınızı bilmese bile, ağ, geride bıraktığımız dijital izler olan meta veriler aracılığıyla her hareketinizi görüyor.

Çoğu insan, bir P2P ağında takma adlı olmanın görünmez olmakla aynı şey olduğunu düşünür, ancak bu tehlikeli bir yalandır. Hiro'nun belirttiği gibi, blok zincirleri ve merkeziyetsiz ağlar genellikle takma ad sunar; burada eylemleriniz bir ad yerine bir adrese bağlanır, ancak bu eylemler %100 izlenebilir kalır. (Kripto Anonim Değildir: Takma Adı Anlamak - Nominis)

• İşlemsel Bağlantı Kurulabilirliği: Paketleriniz yalıtılmış olaylar değildir. Bir perakende sitesine veya sağlık hizmetleri portalına erişmek için bir dVPN kullanıyorsanız, bir gözlemci bu zamanlama düzenlerini düğümünüzün IP'sine bağlayabilir.
• Trafik Analizi: Şifreleme ile bile, veri paketlerinizin boyutu ve ne sıklıkla gönderildiği bir "parmak izi" oluşturur. ZKP'ler zincir üzerindeki "kim" ve "ne"yi gizlerken, paket zamanlamasını doğal olarak gizlemezler. Birinin veri patlamalarına dayanarak ne yaptığınızı tahmin etmesini önlemek için hala paket dolgusu veya onion routing gibi ağ düzeyinde hilelere ihtiyacınız var.
• İSS Faktörü: Yerel sağlayıcınız hala bilinen bir dVPN giriş düğümüne bağlandığınızı görüyor; bu da belirli yargı bölgelerinde etkinliğinizi işaretlemek için genellikle yeterlidir. (S: Şirketin VPN'ine bağlanırken işverenim coğrafi konumu görebilir mi?)

Meta veriler temel olarak verilerinizin "zarfı"dır. Kimin gönderdiğini, nereye gittiğini ve ne kadar ağır olduğunu söyler. Bir P2P kurulumunda bu, sizi anonimleştirmeye çalışan herkes için bir altın madenidir.

Örneğin, merkeziyetsiz bir depoya kod gönderen bir geliştiriciyseniz, yaptığınız api çağrılarının farklı boyutları vardır. Ağı izleyen bir saldırganın kodu görmesine gerek yoktur; ne yaptığınızı tahmin etmek için sadece 50 kb'lık bir patlamayı ve ardından 2 mb'lık bir çekişi görmesi yeterlidir.

Ardından, sıfır bilgi ispatlarının bu karmaşayı nasıl düzelttiğine bakacağız.

Gizliliği Sağlamak İçin Sıfır Bilgi İspatlarını Anlamak

Peki, tüm dijital kimliğinizi teslim etmeden bir ağa erişme hakkınız olduğunu nasıl kanıtlayabilirsiniz? Bu bir paradoks gibi geliyor, ancak Sıfır Bilgi İspatları (zkp'ler) tam olarak bunu ele alıyor.

Şöyle düşünün: 21 yaş üstü bir kulübe girmeye çalışıyorsunuz. Ev adresinizi, boyunuzu ve tam adınızı içeren bir kimlik göstermek yerine, sadece yeterince yaşlı olduğunuzu kanıtlamak için yeşil renkte parlayan sihirli bir kartınız var. Güvenlik görevlisi, kim olduğunuz hakkında sıfır bilgi edinir, sadece gereksinimi karşıladığınızı bilir. Merkeziyetsiz bant genişliği dünyasında bu çok büyük bir şey.

Temel olarak, bir zkp, bir "kanıtlayıcının" (siz) bir "doğrulayıcıyı" (düğüm), altta yatan verileri paylaşmadan bir ifadenin doğru olduğuna ikna ettiği bir kriptografik yöntemdir. Klasik renk körü arkadaş deneyi ile açıklandığı gibi, iki nesne arasındaki farkın ne olduğunu asla söylemeden aralarındaki farkı görebildiğinizi kanıtlayabilirsiniz.

Bir zkp'nin meşru olması için üç şeye ihtiyacı vardır:

• Tamlık: Eğer doğruyu söylüyorsanız, protokol her zaman çalışır.
• Sağlamlık: Eğer yalan söylüyorsanız, matematik kanıtı taklit etmeyi neredeyse imkansız hale getirir.
• Sıfır bilgi: Doğrulayıcı, ifadenin doğru olduğundan başka hiçbir şey öğrenmez.

Bir web3 vpn'de bu, düğümün cüzdan geçmişinizi veya gerçek ip'nizi hiç görmeden bant genişliği madenciliği kredileri için ödeme yaptığınızı kanıtlayabileceğiniz anlamına gelir.

Zcash veya merkeziyetsiz proxy ağları gibi araçlarda gerçek uygulamadan bahsettiğimizde, genellikle iki kısaltma ortaya çıkar: snark'lar ve stark'lar.

1. zk-SNARK'lar: Bunlar "Özlüdür" (küçük ve hızlı). Daha uzun süredir varlar, bu nedenle belgeleri daha iyidir. İşin püf noktası? Bir "güvenilir kurulum"a ihtiyaç duyarlar; düzgün bir şekilde yok edilmezse, temelde kanıtları sahteleştirmek için kullanılabilecek "zehirli atık" olan bir miktar başlangıç verisi.
2. zk-STARK'lar: Bunlar daha yeni, daha güçlü kuzenlerdir. Güvenilir bir kuruluma (şeffaf) ihtiyaç duymazlar ve kuantum bilgisayarlara karşı dayanıklıdırlar. Dezavantajı, kanıt boyutlarının çok daha büyük olmasıdır, bu da belirli zincirlerde daha yüksek ücretlere veya daha düşük hızlara yol açabilir.

StarkWare'e göre, stark'ları kullanmak, binlerce işlemi tek bir kanıtta birleştirebileceğiniz için büyük bir ölçeklenebilirlik sağlar. Bu, kullanılan her megabayt için küçük ödemeler yaptığınız bir p2p bant genişliği değişimi için mükemmeldir.

Şimdi, trafik düzenlerinizi gizlemek için bunu nasıl uyguladığımızın ayrıntılarına girelim.

DePIN ve Bant Genişliği Madenciliğinde ZKP Uygulamaları

İnternetinizi paylaşarak para kazanmanın, trafiğinizi koklayan ürkütücü bir node operatörü olmadan nasıl mümkün olabileceğini hiç merak ettiniz mi? Token kazanmak istediğimiz ancak bunun için ruhumuzu (veya verilerimizi) satmak istemediğimiz tuhaf bir güven boşluğu var. İşte burada DePIN (Merkeziyetsiz Fiziksel Altyapı Ağları) devreye giriyor. Bu temelde, kripto teşviklerini kullanarak Wi-Fi ağları veya sensör ağları gibi gerçek dünya unsurları inşa etmenin bir yolu.

Bu tünel protokollerinin arkasındaki teknoloji hızla gelişiyor. Parmak izi tespiti kolay olan eski usul protokollerden, aktarım katmanının kimlik katmanından tamamen ayrıldığı modüler kurulumlara doğru ilerliyoruz. Bir İSS'nin kolayca tespit edebileceği statik bir tünel yerine, daha yeni DePIN projeleri, bağlantının genel şifreli bir gürültü gibi görünmesini sağlamak için dönen node'lar ve ZKP tabanlı kimlik doğrulama kullanır. Bu, "VPN ipuçlarından" ziyade, matematiğin meta verilerinizi sızdırmadan el sıkışmayı nasıl ele aldığıyla ilgili.

Asıl sihir, veri yönlendirdiğimizi kanıtlamak için ZKP'leri kullandığımızda ortaya çıkıyor. Standart bir kurulumda, ağın çalıştığınızı doğrulamak için trafiğinizi görmesi gerekir. Bu bir gizlilik kabusu. Bir bant genişliği kanıtı protokolü ile, ne olduğunu göstermeden "500 MB veri taşıdım" diyen bir kanıt oluşturursunuz.

• Ödülleri Güvenli Hale Getirme: Bir akıllı sözleşmeye bir kanıt göndererek kripto ağ ödüllerinizi alırsınız. Sözleşme içeriği değil, matematiği doğrular.
• Node Doğrulaması: Ağın ev IP'nize veya günlüklerinize ihtiyaç duymadan "iyi" bir node olduğunuzu bilmesi için gizliliği koruyan VPN node doğrulamasına olanak tanır.
• Token'laştırılmış Bant Genişliği: Bu, yedek yükleme hızınızı merkeziyetsiz bir bant genişliği borsasında likit bir varlığa dönüştürür.

Zcash'e göre, bu tür bir teknoloji, ilgili tarafları ifşa etmeden güvenli bir bakiye defteri tutmanıza olanak tanır. Bu, depin için de aynı mantık—gerçek bitleri gizli tutarken bir hizmet (depolama veya bant genişliği gibi) sağladığınızı kanıtlamak.

Ardından, trafik analizini durdurmak için bunun gerçek dünyada nasıl uygulandığına bakacağız.

Tokenize Edilmiş İnternet Altyapısının Geleceği

Evinizin Wi-Fi'ını, Airbnb gibi kiraya verebildiğinizi, ancak misafir odasında kimin uyuduğunu veya ağınızda neler yaptıklarını asla bilmediğinizi hayal edin. Bu, bu eşler arası ağ ekonomisini inşa eden birçoğumuzun hayali ve dürüst olmak gerekirse, iflas ettirilmeden gerçekten merkeziyetsiz bir internete ulaşmanın tek yolu bu.

Buradaki amaç, boşta duran bağlantınızı paraya çevirebileceğiniz bir merkeziyetsiz bant genişliği değişimi. Ancak bant genişliğimi paylaşırsam, dünyanın dört bir yanındaki rastgele bir kişinin ne indirdiğinden sorumlu olmak istemem. Sıfır bilgi ispatlarını (zkp) kullanarak, sağlayıcının (sizin) hizmeti sağladığını ve kullanıcının ödeme yaptığını kanıtladığı, ancak hiçbirinizin gerçek trafik içeriğini veya gerçek IP'leri görmediği sansüre dayanıklı bir VPN oluşturabiliriz.

Sağlayıcınızın bilinen bir düğüme ulaştığınızı görmesi sorununu ("ISS Faktörü") çözmek için, geleceğin çözümü gizli adresler ve gizlenmiş köprülerde yatıyor. İşlem bir zkp ile gizlense bile, bu köprüler, giriş noktanızın ISS'nize normal bir Zoom görüşmesi veya Netflix yayını gibi görünmesini sağlayan "gizli bir kapı" görevi görür.

• Sağlık hizmetlerinde gizlilik: Bir klinik, hasta kayıtlarını düğümler arasında göndermek için tokenize edilmiş bir ağ kullanabilir. Zkp'ler kullanarak, verilerin gönderildiğini ve alındığını, aktarım düğümlerinin hassas tıbbi meta verilere erişme şansı olmadan kanıtlayabilirler.
• Perakende ve Finans: Bir mağazanın ödemeleri işlediği bir eşler arası bant genişliği pazaryerini düşünün. İşlem kaynağını maskelemek, rakiplerin trafik analizi yoluyla satış hacimlerini kazımasını önlemek için tokenize edilmiş bağlantı kullanabilirler.
• Küresel Erişim: Ağır güvenlik duvarlarına sahip bölgelerde, zkp'ler tarafından desteklenen bir Web3 VPN, trafiğin bir VPN gibi görünmemesi nedeniyle kullanıcıların engelleri aşmasına olanak tanır; zincirde rastgele, doğrulanmış bir gürültü gibi görünür.

Bakın, matematik harika, ancak hesaplama yükü, mobil eşler arası düğümler için gerçek bir sorun. Üst düzey bir sunucuda bir zkp oluşturmak bir şey; düğüm görevi gören eski bir Android telefonda yapmak başka bir şey. Yalnızca gizli kalmak için pilinizi tüketmeyen merkeziyetsiz ISS alternatiflerine ihtiyacımız var.

Tokenize edilmiş internet altyapısına doğru ilerlerken, odak noktası bu ispatları günlük donanım için yeterince "hafif" hale getirmeye kaymalıdır. Oraya doğru gidiyoruz, ancak bu, güvenlik ve performans arasında sürekli bir savaş.

Sırada, bu araçları kendiniz nasıl dağıtmaya başlayabileceğinizi inceleyerek bitiriyoruz.

Metadata Korumasına Başlarken

Gizlilik hakkında konuşmayı bırakıp onu gerçekten kullanmaya başlamaya hazırsanız, işe koyulmanın birkaç yolu var. Bu araçları kullanmak için bir matematik dehası olmanıza gerek yok, ancak hangilerinin arka planda zkpleri kullandığını bilmeniz gerekiyor.

1. ZKP Etkin Bir Sağlayıcı Seçin: Özellikle "Bağlantı Kanıtı" için zk-snarklardan bahseden depin projelerini arayın. Bir düğüm kurduğunuzda, kontrol panelinde "körleştirilmiş" istatistikler gösterilip gösterilmediğini kontrol edin—bu, ağın IP adresinizi görmeden çalışmanızı doğruladığı anlamına gelir.
2. Gizlenmiş Köprüler Kullanın: Zkpler, giriş düğümüne olan bağlantınızı İSS'nizden gizlemediğinden, istemci ayarlarınızda her zaman "gizleme" veya "gizli mod"u etkinleştirin. Bu, trafik analizini karıştırmak için gereken paket dolgusunu ekler.
3. Cüzdan Hijyeni: Bant genişliğiniz için ödeme yapmak üzere korumalı adresleri (zcash veya iron fish gibi) destekleyen, gizliliğe odaklı bir cüzdan kullanın. Özel bir VPN için herkese açık bir ETH adresiyle ödeme yaparsanız, "bağlan"a tıklamadan önce zaten kimliğinizi ifşa etmiş olursunuz.
4. Hafif Bir Düğüm Çalıştırın: Boşta bir raspberry pi'niz veya eski bir dizüstü bilgisayarınız varsa, merkezi olmayan bir ağ için bir röle düğümü çalıştırmayı deneyin. Metadata'nın gerçek zamanlı olarak nasıl işlendiğini görmenin en iyi yoludur.

Bu araçları kullanmak katmanlarla ilgilidir. Zkp işlemi gizler, gizleme trafik modelini gizler ve merkezi olmayan ağ hedefi gizler.

Sonuç: Gizli Bir Web3 Mümkün

Peki, gerçekten gizli bir web3'e sahip olabilir miyiz, yoksa bu sadece biz teknoloji meraklılarının bir hayali mi? İşin matematiğine indiğimizde, "izlenebilir" olmaktan çıkıp gerçekten anonim olmanın tek yolunun sıfır bilgi ispatları (zkp'ler) olduğu açıkça görülüyor.

Yıllardır sadece zarfın içindeki "mektubu" şifrelemekle uğraştık, ancak daha önce de belirtildiği gibi, sizi yakalayan zarfın üzerindeki meta verilerdir. Meta veri karartma ve zkp tabanlı doğrulama yöntemlerine geçerek, sonunda gizliliğin sadece isteğe bağlı bir özellik olmadığı, ağın varsayılan durumu olduğu bir sistem inşa ediyoruz.

DePIN ve zkp'ler arasındaki sinerji burada asıl oyun değiştirici oluyor. Bu, düğümlerin yaptıkları işi kanıtladıkları için ödeme aldıkları, ancak kullanıcının kimliğinin tamamen defterin dışında kaldığı bir dünya yaratıyor. Hiro'nun daha önce tartıştığı gibi, bu durum blockchain'in açıklığını, çevrimiçi ortamda güvende hissetmek için ihtiyaç duyduğumuz gizlilikle dengeliyor. Bu, devrimin bir sonraki aşaması; internetin sonunda yeniden bizim olduğu aşama.