Zero-Knowledge Proof Nedir ve Nerede Kullanılır?

Bankaya kimliğinizi ispat etmek için pasaportunuzu gösterirsiniz — ama pasaportunuzdaki tüm bilgileri: doğum tarihinizi, adresinizi, seyahat geçmişinizi de görürler. Zero-knowledge proof (sıfır bilgi kanıtı), tam da bu sorunu çözüyor: bilgiyi ifşa etmeden sahip olduğunuzu kanıtlamak.

İçindekiler

Matematiksel Temel: Nasıl Mümkün?

Kavramı 1985’te MIT’ten Shafi Goldwasser, Silvio Micali ve Charles Rackoff ortaya attı. Temel fikir şu: bir “kanıtlayıcı” (prover) ile bir “doğrulayıcı” (verifier) arasında geçen etkileşimde, kanıtlayıcı gizli bilgiyi hiç söylemeden doğrulayıcıyı ikna edebilir. Klasik örnekte Ali Baba’nın mağarası kullanılır: mağaranın iki çıkışı olan dairesel bir tünel var. Biri kapının şifresini bildiğini iddia ediyor. Sizi aldatıp aldatmadığını anlamak için kapının solundan girmesini, sağından çıkmasını istiyorsunuz. Şifreyi gerçekten biliyorsa her seferinde başarıyor. 20 kez ardarda başarırsa hile ihtimali 1’de 1.048.576 kalıyor. Sıfır bilgi kanıtı bu fikrin matematiksel formalleştirilmesi.

zkSNARK ve zkSTARK: İki Rakip Yaklaşım

Blockchain dünyasında en çok konuşulan iki uygulama bunlar. zkSNARK (Succinct Non-interactive Argument of Knowledge) kanıtları çok küçük ve doğrulaması hızlı. Dezavantajı “güvenilir kurulum” gerektirmesi: sistemin kurulumu sırasında bir sır üretiliyor ve bu sır imha edilmezse güvenlik açığı doğuyor. Zcash’in 2016’daki “Powers of Tau” seremonisini hatırlayın — katılımcılar parametre ürettikten sonra donanımlarını fiziksel olarak imha etti, çünkü sırın ele geçirilmesi tüm gizli işlemleri tehlikeye atardı.

zkSTARK ise güvenilir kurulum gerektirmiyor. Daha büyük kanıtlar üretiyor ama post-quantum güvenli (yani kuantum bilgisayarlardan etkilenmiyor). StarkWare bu teknolojiyi geliştirip Ethereum üzerinde StarkNet olarak hayata geçirdi.

Ethereum Katman-2’deki Rolü

Ethereum her saniye yaklaşık 15-30 işlem işleyebiliyor; bu kapasite büyük DeFi projeleri için yetersiz. Polygon zkEVM, zkSync ve Scroll gibi katman-2 çözümleri binlerce işlemi zincir dışında topluyor, bir zkSNARK kanıtıyla “hepsini bu kurallara göre yaptım” diyor ve bu tek kanıtı Ethereum ana zincirine gönderiyor. Böylece Ethereum’un güvenliğini korurken işlem hacmi dramatik biçimde artıyor.

Gizlilik Uygulamaları: DeFi ve Kimlik

Zcash, Bitcoin ile aynı prensipte çalışıyor ama işlemleri isteğe bağlı olarak gizleyebiliyor. Bir işlemin gerçekleştiğini kanıtlıyor ama miktarı ve adresleri şifreli tutuyor. Tornado Cash ise Ethereum üzerinde benzer bir karıştırıcı işlevi görüyordu — 2022’de OFAC tarafından yaptırım listesine alınana kadar.

Kimlik tarafında Worldcoin protokolü, göz tarama (iris) verisiyle “bu kişi gerçek bir insandır” kanıtını üretiyor; ama göz biyometrisini merkezi sunucuya göndermeden. Tartışmalı bir proje, ama zero-knowledge’ın kimlik doğrulamaya nasıl uygulandığını görmek açısından ilgi çekici.

Gerçek Hayat Uygulaması: Banka Hesabı Örneği

Kredi başvurusunda maaşınızın belirli bir eşiğin üzerinde olduğunu kanıtlamanız gerekiyor. Zero-knowledge ile banka şunu doğrulayabilir: “Bu kişinin maaşı 15.000 TL’den fazla” — maaşınızın tam rakamını görmeden. Bunu bugün Solidity akıllı sözleşmesiyle uygulamak teorik değil; zkproof kütüphaneleri (Circom, Noir) bu tür devreleri yazmayı iki yıl öncesine kıyasla çok daha erişilebilir kıldı.

Sınırlamalar

Kanıt üretme (proving) hesaplama açısından hâlâ ağır. Basit bir devre için bile saniyeler sürebiliyor.
Devre yazımı uzman gerektiriyor; hata ayıklamak zorlu.
zkSNARK’ta güvenilir kurulum riski tam ortadan kalkmış değil.
Yasal gri alan: gizlilik araçları kara para aklamayla ilişkilendiriliyor ve regülatörler bu alanı izliyor.

Zero-knowledge proof beş yıl önce akademisyenlerin oyuncağıydı. Bugün milyarlarca dolarlık işlem bu protokollerden geçiyor. Blok zincirlerinin hem ölçeklenme sorununu hem gizlilik sorununu aynı anda çözen bu matematiksel araç, önümüzdeki on yılda altyapı katmanı olmaya aday.