İçeriğe geç
parazade
Kripto

Sıfır Bilgi İspatı (ZK Proof) Nedir?

İngilizce: Zero-Knowledge Proof

Yayın: · Son güncelleme:

Sıfır Bilgi İspatı (ZK Proof) Nedir? Kısaca

Sıfır bilgi ispatı (zero-knowledge proof), bir tarafın bir ifadenin doğru olduğunu, o ifadeyle ilgili gizli bilgiyi karşı tarafa hiç açıklamadan kriptografik olarak kanıtlamasını sağlayan yöntemdir.

Sıfır Bilgi İspatı nedir?
İçindekiler
  1. Günlük hayattan bir benzetme
  2. İyi bir sıfır bilgi ispatının özellikleri
  3. Blokzincirde kullanımı
  4. Sınırları

Sıfır bilgi ispatı, "biliyorum ama sana ne bildiğimi göstermeden bunu kanıtlayabilirim" fikrine dayanır. Kanıtlayan taraf, doğrulayıcıyı bir iddianın doğru olduğuna ikna eder; ancak doğrulayıcı bu süreçte iddianın doğruluğu dışında yeni bir bilgi öğrenmez.

Günlük hayattan bir benzetme

Bir mekâna girmek için 18 yaşından büyük olduğunu kanıtlaman gerektiğini düşün. Normalde kimliğini gösterirsin ve doğum tarihin, adın, adresin de görülür. Sıfır bilgi ispatıyla ise yalnızca "18 yaşından büyük" olduğun doğrulanır; diğer bilgilerin paylaşılmaz.

İyi bir sıfır bilgi ispatının özellikleri

  • Tamlık: İddia doğruysa dürüst kanıtlayan doğrulayıcıyı ikna edebilir.
  • Sağlamlık: İddia yanlışsa hile yapan taraf doğrulayıcıyı (ihmal edilebilir bir olasılık dışında) ikna edemez.
  • Sıfır bilgi: Doğrulayıcı, iddianın doğru olduğu dışında bir şey öğrenmez.

Blokzincirde kullanımı

  • Ölçeklenme: ZK rollup çözümleri çok sayıda işlemi zincir dışında işler ve doğru işlendiklerine dair kısa bir kanıtı ana zincire gönderir. Böylece ana zincir tüm işlemleri tek tek yeniden yapmak zorunda kalmaz.
  • Gizlilik: Bazı gizlilik odaklı kripto paralar işlem tutarını ve tarafları gizlerken işlemin geçerli olduğunu bu yöntemle kanıtlar.
  • Kimlik doğrulama: Kişisel bilgileri açıklamadan belirli şartları sağladığını kanıtlamak için kullanılabilir.

Sınırları

Sıfır bilgi sistemleri karmaşıktır. Kanıt üretmek yüksek hesaplama gücü gerektirebilir ve uygulamadaki hatalar ciddi güvenlik açıklarına yol açabilir. Bazı sistemler ilk kurulumda gizli tutulması gereken parametrelere dayanır; bu da ek bir güven varsayımı getirir.

Sıkça Sorulan Sorular

Sıfır bilgi ispatı yalnızca kriptoda mı kullanılır?

Hayır. Kimlik doğrulama, oylama ve veri gizliliği gibi alanlarda da araştırılır ve kullanılır. Blokzincir, en görünür uygulama alanlarından biridir.

ZK rollup ne demek?

İşlemleri ana zincirin dışında toplu olarak işleyen ve bu işlemlerin doğruluğunu sıfır bilgi ispatıyla ana zincire kanıtlayan bir katman 2 çözümüdür.

İlgili terimler

RollupRollup, çok sayıda işlemi ana blokzincirin dışında işleyip bunları paketleyerek sıkıştırılmış veri ve geçerlilik bilgisiyle birlikte ana zincire yazan, böylece ücretleri düşürüp kapasiteyi artıran bir katman 2 çözümüdür.Gizlilik Odaklı Kripto Para(Privacy Coin)Gizlilik odaklı kripto para (privacy coin), işlemlerdeki gönderici, alıcı ve tutar bilgilerini blokzincirde herkese açık biçimde göstermemek için özel kriptografik yöntemler kullanan kripto para türüdür.Katman 2(Layer 2)Katman 2 (Layer 2), işlemleri ana blokzincirin dışında daha hızlı ve ucuz şekilde işleyip sonuçları ya da kanıtları katman 1'e kaydeden, böylece güvenliğinden yararlanmayı amaçlayan ölçeklenme çözümüdür.Hash Fonksiyonu(Hash Function)Hash fonksiyonu, her uzunluktaki veriyi sabit uzunlukta, benzersize yakın bir özet değere dönüştüren matematiksel işlemdir; blokzincirde blokları birbirine bağlamak, veriyi doğrulamak ve madencilik yapmak için kullanılır.Doğrulayıcı(Validator)Doğrulayıcı (validator), hisse ispatı kullanan bir blokzincirde varlık kilitleyerek yeni blok öneren, başkalarının önerdiği blokları onaylayan ve karşılığında ödül alan, kural ihlalinde ise cezalandırılabilen katılımcıdır.Mikro Ödeme(Micropayment)Mikro ödeme, genellikle bir kuruşun altına kadar inebilen çok küçük tutarlı ödemelerdir; kriptoda bu ödemeler ödeme kanalları ve Lightning Network gibi düşük ücretli katman 2 çözümleriyle mümkün hâle getirilmeye çalışılır.