dVPN'de Sıfır Bilgi Kanıtları ile Gizli Trafik Doğrulama

Geleneksel Trafik Kaydı Sorunu

Hiç düşündünüz mü; neden farklı bir ülkedeki rastgele bir şirkete tüm dijital sırlarımızı emanet ediyoruz? Biraz derinlemesine bakınca bu aslında oldukça tuhaf bir durum. Gizlilik için para ödüyoruz ancak yaptığımız tek şey verilerimizi internet servis sağlayıcımızın (İSS) havuzundan alıp bir VPN sağlayıcısının havuzuna taşımak oluyor.

Asıl büyük sorun şu: Çoğu hizmet "kayıt tutmama" (no-logs) sözü veriyor, ancak bunu doğrulamanızın teknik olarak hiçbir yolu yok. Bu, en iyi ihtimalle sadece bir "söz verme"den ibaret.

• Veri Havuzu (Honeypot) Riski: Merkezi sunucular devasa hedeflerdir. Eğer bir hükümet veya bilgisayar korsanı içeri sızarsa, herkesin verisine aynı anda ulaşabilir.
• Tutulmayan Sözler: "Kayıt tutmadığını" iddia eden sağlayıcıların, yetkililer tarafından baskı gördüklerinde verileri teslim ettikleri vakalara daha önce defalarca şahit olduk.
• Gizli Üstveriler (Metadata): "Trafiğinizi" kaydetmeseler bile, genellikle "sorun giderme" bahanesiyle zaman damgalarını veya IP adreslerini saklarlar; bu da kimliğinizin tespit edilmesi için yeterlidir.

Merkeziyetsiz VPN'ler (dVPN), sıradan insanların atıl bant genişliklerini paylaştığı bir P2P (eşten eşe) ağı kullanarak bu sorunu çözmeye çalışıyor. Ancak bu sistem de henüz kusursuz değil. dVPN'ler merkezileşme sorununu çözse de, yeni bir güven sorununu beraberinde getiriyor: Bireysel düğüm (node) operatörü. Verileriniz rastgele bir kişi üzerinden yönlendirildiği için, bu kişinin trafiğinizi gözetlemesi riskinden endişe etmeniz gerekiyor.

Diyagram 1'de görüldüğü gibi, veri akışı merkezi bir merkezden dağıtık bir ağ yapısına (mesh network) kayıyor; burada bağlantınız tek bir büyük kurumsal sunucu yerine birden fazla bireysel düğüm üzerinden sekiyor.

Top10VPN tarafından yayınlanan 2024 raporuna göre, en popüler hizmetlerin çoğu, pazarlama söylemlerinin aksine hala "belirsiz" kayıt politikalarına sahip. Bir dVPN ağında ise düğüm operatörünün paketlerinizi izlemesinden (packet sniffing) endişe edersiniz. Üstelik ağın, ne yaptığınızı görmeden bir düğümün gerçekten hizmet verip vermediğini kanıtlaması gerekir.

Peki, trafiğin içeriğine bakmadan, o trafiğin gerçekleştiğini nasıl kanıtlayabiliriz? İşte tam bu noktada Sıfır Bilgi Kanıtları (Zero-Knowledge Proofs - ZKP) ile işler gerçekten ilginçleşmeye başlıyor.

Sıfır Bilgi Kanıtları (Zero-Knowledge Proofs) Nedir?

Bir arkadaşınıza, elinizde kilitli bir kutunun anahtarı olduğunu kanıtlamak istediğinizi hayal edin; ancak anahtarı ona göstermek veya kutunun içindekileri ifşa etmek istemiyorsunuz. Anahtarı teslim etmeden bunu nasıl başarırsınız?

İşte Sıfır Bilgi Kanıtları (Zero-Knowledge Proofs - ZKP) tam olarak bu noktada devreye giren kriptografik bir mucizedir. Bu yöntemle bir taraf (kanıtlayan), bir ifadenin doğru olduğunu diğer tarafa (doğrulayan), ifadenin doğruluğu dışında hiçbir ek bilgi vermeden kanıtlayabilir.

Bunu, arkasında şifreyle açılan gizli bir kapı bulunan dairesel bir mağara gibi düşünün. Şifreyi size söylemeden bildiğimi kanıtlamak istersem, mağaraya girerim ve siz benim diğer taraftan çıktığımı görürsünüz. Şifreyi duymazsınız ama kapıdan geçebildiğim için şifreye sahip olduğumu bilirsiniz.

• Finans: Bankalar, tüm işlem geçmişinizi veya tam bakiyenizi görmeden, bir konut kredisi için yeterli paranız olduğunu doğrulayabilir.
• Sağlık: Bir araştırmacı, hastanın ismini veya özel tıbbi kayıtlarını görmeden, o hastanın bir çalışma için gerekli olan spesifik bir genetik işarete sahip olduğunu teyit edebilir.
• Perakende: İnternet üzerinden bir ürün alırken, doğum tarihinizi veya ev adresinizi paylaşmadan 18 yaşından büyük olduğunuzu kanıtlayabilirsiniz.
• Ağ Trafiği: Mesajın içeriğini veya gönderenin kimliğini ifşa etmeden, bir veri paketinin A noktasından B noktasına gönderildiğini kanıtlamak.

Diyagram 2, "Kanıtlayan" tarafın, temel verileri paylaşmadan bir iddianın doğruluğunu teyit eden matematiksel bir kanıtı "Doğrulayan" tarafa nasıl gönderdiğini göstererek bu mantığı somutlaştırmaktadır.

Chainlink'e göre, zk-SNARKs gibi ZKP sistemleri, "etkileşimsiz" olmaları (yani kanıtın yalnızca bir kez gönderilen küçük bir veri parçasından ibaret olması) nedeniyle gizlilik konusunda altın standart haline geliyor.

Merkeziyetsiz VPN (dVPN) dünyasında bu durum devrim niteliğindedir. Bu teknoloji sayesinde bir düğüm (node), veri paketlerini hiçbir şekilde "görmeden" verilerinizi doğru şekilde yönlendirdiğini kanıtlayabilir. Peki, bu karmaşık internet trafiğine gerçekte nasıl uygulanıyor? İşte teknolojinin asıl heyecan verici kısmı burada başlıyor.

Bant Genişliği Pazaryerinde ZKP Uygulaması

Peki, birine gönderdiği verinin ne olduğunu veya nereye gittiğini bilmeden bant genişliği için nasıl ödeme yapabiliriz? İlk bakışta bir paradoks gibi görünüyor: Bir işin yapıldığını kanıtlarken, işin içeriğini tamamen gizli tutmak.

Bir bant genişliği pazaryerinde, bir düğümün (node) bir kullanıcı için gerçekten 500MB veri taşıdığını doğrulamak adına zk-SNARK teknolojisini kullanıyoruz. Düğüm, paket başlıklarının beklenen protokole ve boyuta uygun olduğuna dair bir "kanıt" sunar; ancak asıl veri yükü —yani e-postalarınız, şifreleriniz veya kedi videolarınız— şifreli kalır ve düğüm tarafından görülemez.

• Paket Doğrulama: Ağ, paketlerin içeriğine bakmaksızın doğru boyutta ve frekansta olup olmadığını kontrol eder. Bu, düğümlerin sadece ödül toplamak amacıyla boş veya anlamsız veri göndererek sistemi suistimal etmesini engeller.
• Sybil Saldırısı Koruması: Bir kişinin tek bir makinede 100 sahte düğüm çalıştırıp kendi kendine bant genişliği "paylaşıyormuş" gibi görünmesini engeller. Sıfır Bilgi Kanıtı (ZKP), düğümün spesifik kimliğini ifşa etmeden benzersiz bir donanım imzasına veya "Katkı Kanıtı"na (Proof of Contribution) sahip olduğunu kanıtlayabilir.
• Önce Gizlilik: Düğüm operatörü teknik olarak çok bilgili olsa bile hedef IP adresinizi göremez; çünkü kanıt, transferin ayrıntılarını değil, sadece gerçekleştiği gerçeğini doğrular.

Ingo Research'e göre, zk-SNARK'lar "özlü" (succinct) doğrulamaya olanak tanır. Bu, blokzincirinin devasa dosyalarla yorulmadığı, bunun yerine sadece küçücük bir kanıtı kontrol ettiği anlamına gelir.

İşte para (veya token) burada devreye giriyor. Otomatik ve tarafsız bir emanet (escrow) hesabı gibi işlev görmesi için akıllı sözleşmeler kullanıyoruz. ZKP doğrulandığında, sözleşme ödemeyi düğüm sağlayıcısına otomatik olarak aktarır.

DePIN (Merkeziyetsiz Fiziksel Altyapı Ağları) —ki bu, büyük şirketler yerine kullanıcılar tarafından inşa edilen ve sahiplenilen ağlar için kullanılan modern bir terimdir— üzerine hazırlanan 2023 Messari raporu, token teşviklerinin P2P ağları büyük internet servis sağlayıcılarıyla (ISP) rekabet edebilecek düzeye çıkarmanın tek yolu olduğunu öne sürüyor.

Diyagram 3, pazaryeri döngüsünü göstermektedir: Kullanıcı bant genişliği talep eder, düğüm bunu sağlar, işi kanıtlamak için bir ZKP oluşturulur ve akıllı sözleşme ödülü öder.

Bu sistem temel olarak güvene dayalı olmayan (trustless) bir otomat gibidir. Talebi iletirsiniz, düğüm işi yapar, matematik bunu kanıtlar ve ödeme anında gerçekleşir. İşlemi "onaylamak" için herhangi bir aracıya ihtiyaç duyulmaz.

Bir sonraki bölümde, bu sistemi gerçek dünyada uygulamayı zorlaştıran işlemci (CPU) kullanımı ve gecikme süresi (latency) gibi teknik engelleri inceleyeceğiz.

Teknik Engeller ve DePIN'in Geleceği

Peki, bu teknoloji bu kadar harikaysa neden henüz hepimiz kullanmıyoruz? Gerçek şu ki, bir şeyi içeriğini "göstermeden" kanıtlamak aslında bilgisayarınız için devasa bir antrenman gibidir.

Bir sıfır bilgi kanıtı (ZKP) oluşturmak pek de "hafif" bir iş sayılmaz. Bir kanıtı doğrulamak süper hızlı olsa da, onu oluşturan kişi yani düğüm (node) operatörü, ciddi bir yükün altına girer. Standart bir dizüstü bilgisayarda bu durum, işlemci (CPU) kullanımında gözle görülür bir artışa ve bir miktar gecikmeye neden olabilir.

• İşlem Yükü: ZK-SNARK'lar oluşturmak, gerçek zamanlı trafiği yavaşlatabilen karmaşık matematiksel işlemler gerektirir. Eğer VPN bağlantınız çevirmeli ağ (dial-up) hızındaymış gibi hissettirirse, kimse onu kullanmak istemeyecektir.
• Gecikme (Latency) Sorunları: Eşler arası (P2P) bir ağda her milisaniye kritiktir. Her veri paketi yığınına bir "doğrulama adımı" eklemek, oyuncuları veya görüntülü görüşme yapan kişileri hayal kırıklığına uğratabilir.
• Optimizasyon: Geliştiriciler, bu sürecin siz fark etmeden arka planda gerçekleşmesini sağlamak için "özyinelemeli kanıtlar" (recursive proofs) ve donanım hızlandırma (GPU kullanımı gibi) üzerinde çalışıyorlar.

a16z crypto tarafından yayınlanan 2023 tarihli bir teknik blog yazısına göre, kanıtlayıcı verimliliği (prover efficiency), bu gizlilik sistemlerini ölçeklendirmenin önündeki en büyük darboğazlardan biri olarak görülüyor.

Tüm bu engellere rağmen asıl hedef; dev teknoloji şirketlerinin (Big Tech) tek bir tuşla "kapatamayacağı" bir ağ inşa etmektir. Binlerce evden gelen bant genişliğini bir havuzda toplayarak, sansürlenmesi neredeyse imkansız olan dağıtık bir web yapısı oluşturuyoruz.

• Sansür Direnci: Engellenecek merkezi bir sunucu olmadığı için, bir hükümet fişi çekmeye çalışsa bile DePIN ağı çalışmaya devam eder.
• Küresel Erişim: IP adresinizi gerçek bir kişinin evinden aldığınız için, dijital platformların veya güvenlik duvarlarının sizi bir "VPN kullanıcısı" olarak işaretlemesi çok daha zordur.

Dürüst olmak gerekirse, bu bir nevi kedi-fare oyunu. Ancak teknoloji daha verimli hale geldikçe, bu P2P araçlar bugün kullandığımız merkezi çözümler kadar akıcı ve hızlı hissettirmeye başlayacak.

Nasıl Dahil Olunur: Kullanıcı Deneyimi

Sıradan bir kullanıcı için, Sıfır Bilgi Kanıtı (ZKP) destekli bir merkeziyetsiz VPN (dVPN) kullanmak, aslında standart bir uygulamadan çok da farklı değildir. İstemciyi indirirsiniz, "bağlan" butonuna basarsınız ve karmaşık matematiksel işlemler arka planda kendiliğinden gerçekleşir. İşin asıl heyecan verici kısmı ise kazanç potansiyelidir.

Eğer evinizde, özellikle siz uyurken kullanmadığınız hızlı bir internet bağlantınız varsa, bir düğüm (node) işleterek bu sürece dahil olabilirsiniz. Temel olarak bilgisayarınızı açık bırakırsınız ve DePIN (Merkeziyetsiz Fiziksel Altyapı Ağları) protokolü, paylaştığınız bant genişliği karşılığında size kripto token cinsinden ödeme yapar. Bu yöntem sizi bir gecede zengin etmese de, hem daha gizli bir internetin inşasına katkıda bulunmanızı hem de aylık internet faturanızı bir miktar pasif gelire dönüştürmenizi sağlar.

Sonuç: Güven Gerektirmeyen Bir İnternet Mümkün

Peki, "güven" kavramının sadece matematiksel bir denklemden ibaret olduğu bir noktaya gerçekten ulaşıyor muyuz? Görünen o ki, kimsenin doğruluğunu teyit edemediği o şüpheli "kayıt tutmama" (no-log) vaatlerini nihayet geride bırakıyoruz.

Sıfır Bilgi Kanıtlarını (ZKP) merkeziyetsiz ağlarla harmanlayarak, gizliliğin sonradan satın alınan bir özellik değil, sistemin temel işleyiş biçimi olduğu bir web inşa ediyoruz. Bu süreç, gücü devasa internet servis sağlayıcılarından (ISS) alıp şeffaf, uçtan uca (P2P) bir pazaryerine geri verme sürecidir.

• Güven Yerine Doğrulama: Bir hizmet sağlayıcının sözüne inanmanıza gerek yok; blokzincir protokolü, verilerinizi görmeden işin yapıldığını kanıtlar.
• Paylaşım Ekonomisi: Tıpkı Airbnb'nin boş odalar için sunduğu model gibi, sıradan kullanıcılar da atıl bant genişliklerini paylaşarak ödüller kazanabilir.
• Küresel Dayanıklılık: DePIN veri toplayıcısı Syari'nin 2023 raporuna göre, merkeziyetsiz altyapıların tek bir merkez tarafından sansürlenmesi veya kapatılması, geleneksel sunuculara kıyasla çok daha zordur.

Dürüst olmak gerekirse teknoloji şu an için biraz hantal ve işlemci (CPU) üzerinde yoğun bir yük oluşturuyor; ancak gidişat oldukça net. Varsayılan olarak gizli kalan bir internete doğru ilerliyoruz ve açıkçası bunun zamanı çoktan gelmişti. Merakınızı koruyun ve belki de kendiniz bir düğüm (node) çalıştırmayı düşünün; geleceği iş başında görmenin en iyi yolu budur.