Sıfır-bilgi ispatı nedir?
Bir sıfır-bilgi ispatı (ZKP), bir tarafın (ispatlayıcı) başka bir tarafa (doğrulayıcı) bir önermenin doğru olduğunu: önermenin geçerliliği dışında hiçbir bilgi açıklamadan: ikna etmesini sağlayan kriptografik protokoldür. ZKP’ler 1985’te Goldwasser, Micali ve Rackoff tarafından resmileştirildi ve blockchain‘de zk-SNARK yapılarıyla ticari olarak alaka kazandı (Zcash 2016, Ethereum L2’leri 2022-25).
Etkileşimli ve etkileşimsiz ispatlar
ZKP’lerin iki ana biçimi vardır: etkileşimli (interactive) ispatlar birden fazla tur gerektirir; etkileşimsiz (non-interactive) ispatlar ise tek seferde üretilir ve modern uygulamalarda tipik olan budur. Klasik analoji fikri özetler: bir mağarada saklı bir geçidi bildiğinizi, geçidin tam yerini söylemeden kanıtlamak.
Üretimdeki ZKP aileleri
- zk-SNARK’lar: küçük ispatlar, hızlı doğrulama; güvenilen kurulum (Groth16) veya evrensel kurulum (PLONK) gerektirir. Zcash, zkSync, Mina tarafından kullanılır.
- zk-STARK’lar: güvenilen kurulum yok, kuantum-sonrası aday; daha büyük ispatlar. Starknet ve Miden tarafından kullanılır.
- Bulletproof’lar: kurulum yok, STARK’lardan küçük ancak daha yavaş doğrulama; Monero gizli işlemleri tarafından kullanılır.
Ölçeklendirme ötesi kullanım alanları
- Gizlilik: korumalı işlemler (Zcash, Aztec, Railway).
- Kimlik: seçici-ifşa kimlik bilgileri (zkPassport, Sismo, World ID).
- Uyum: düzenleyici uygunluğu (akredite yatırımcı, yaptırım taraması) kimlik açıklamadan ispatlama.
- ZK-rollup’lar: L2 yürütmesini L1’e gönderilen tek geçerlilik ispatına sıkıştırma.
ZK-rollup’lar ve Layer 2
ZK-rollup’lar teknolojinin en görünür uygulamasıdır: binlerce işlemi zincir dışında işler, bunları tek bir ZK ispatına sıkıştırır ve ispatı Layer 1’e gönderir; böylece çok daha düşük gas ücretleriyle çalışırken L1 güvenliğini korur. Öne çıkan projeler zkSync (Matter Labs), StarkNet (StarkWare), Scroll ve Linea’dır; toplam kilitli değer milyarlarca dolara ulaşmıştır. Araştırma tarafında yön bellidir: özyinelemeli (recursive) ispatlar kompozit ispatlara imkân verir, MPC (çok taraflı hesaplama) ile birleşimler üzerinde çalışılır ve donanım hızlandırma (FPGA, ASIC) ispat maliyetini düşürmeyi hedefler.
Türk fintech ve KVKK bağlamı
ZK ispatlar veri minimizasyonu (KVKK Madde 4/2-(ç)) ve “tasarım gereği gizlilik” (GDPR Madde 25) ilkesi için güçlü bir teknik araçtır: örneğin yaş doğrulama veya gelir eşiği için doğum tarihi veya tam gelir paylaşımı gerekmez. Türk fintech’lerin KYC ve risk skorlama mimarilerinde ZK adopsiyonu henüz erken aşamadadır; ancak eIDAS 2.0 (2024/1183 sayılı AB Tüzüğü), Avrupa Dijital Kimlik Cüzdanları bakımından seçici ifşayı ve sıfır-bilgi ispatı gibi gizliliği koruyan kriptografik yöntemleri öngörmektedir.
Yapın: gizlilik koruyan uyum akışları (yaş, ikamet, gelir eşiği) için ZK’yi değerlendirin; ispatlayıcı/doğrulayıcı maliyetlerini karşılaştırın.
Yapmayın: “ZK = anonim” varsaymayın: dikkatli protokol tasarımı gerekir; metadata ve zincir üstü yan kanallar kimliği sızdırabilir.
Değerlendirme soruları danışman için üçlüdür: ispat tam olarak neyi kanıtlıyor (ve neyi gizliyor), ispatın dayandığı veri kaynağına (oracle) kim kefil ve hukuki zorlama hâlinde ispatın arkasındaki veriye erişim mümkün mü? Mevcut dağıtımların katmanlı tasarımda (kullanıcıya ZK mahremiyeti + düzenleyiciye seçici ifşa) kümelenmesinin sebebi bu üç sorudur.
Kaynak. 6698 sayılı Kişisel Verilerin Korunması Kanunu. Kanun bağlantıları mevzuat.gov.tr üzerindeki güncel resmî metinlere gider.