Bir hizmetin kullanıcıdan yalnızca 18 yaşından büyük olduğunu doğrulamasını istediğini düşünelim. Doğum tarihini, kimlik numarasını ve belgenin tamamını paylaşmak, bu işlem için gerekenden fazla bilgi açığa çıkarabilir.

Zero-Knowledge Proof (ZKP), uygun bir sistemde yalnızca gerekli koşulun sağlandığını kanıtlamayı mümkün kılar. Doğrulayıcı, iddiayı kontrol ederken bu koşulu sağlayan gizli verinin tamamını öğrenmek zorunda kalmaz.

Ancak burada kritik bir ayrım vardır: Kanıt, tanımlanmış bir matematiksel ilişkinin sağlandığını gösterir. Sisteme girilen verinin gerçek dünyada doğru olduğunu kendiliğinden garanti etmez.

Zero-Knowledge Proof Nedir?

Sıfır bilgi kanıtı, bir tarafın belirli bir iddiayı, doğrulayıcıya iddianın doğruluğu dışında ek bilgi vermeden kanıtlayabildiği kriptografik yaklaşımdır.

Sistemde iki temel rol bulunur:

• Kanıtlayıcı: İddianın geçerliliğini göstermek için kanıt oluşturur.
• Doğrulayıcı: Kanıtı kontrol ederek kabul veya ret kararı verir.

Kanıtlayıcının kullandığı gizli girdiye çoğunlukla witness, yani tanık denir. Doğrulanan iddia ise statement olarak adlandırılır.

Örneğin iddia, belirli bir açık anahtarla ilişkili gizli anahtarın bilindiği olabilir. Gizli anahtar açıklanmadan bu ilişki kanıtlanabilir.

“Sıfır Bilgi” Ne Demek?

Bu ifade, doğrulayıcının hiçbir şey öğrenmediği anlamına gelmez. Doğrulayıcı, zaten kanıtlanmak istenen iddianın geçerli olduğunu öğrenir.

Gizli tutulan şey, iddiayı sağlayan özel veridir.

Yaş doğrulama örneğinde sistem, “kullanıcı 18 yaşından büyük” bilgisini açığa çıkarabilir. Fakat doğum tarihini paylaşmak zorunda olmayabilir.

Gizlilik kapsamı, hangi bilgilerin açık girdi olarak tanımlandığına bağlıdır. Tasarımda açık bırakılan veri, sıfır bilgi özelliğiyle gizlenmez.

Temel Özellikleri Neler?

Sıfır bilgi kanıtları üç temel özellik üzerinden açıklanır.

Bazı pratik sistemlerin güvenliği, saldırganın hesaplama kapasitesine ve belirli kriptografik varsayımlara dayanır. Bu nedenle literatürde proof ve argument terimleri teknik olarak farklı anlamlar taşıyabilir.

Günlük kullanımda ise ZK proof ifadesi daha geniş bir yöntem ailesini anlatmak için kullanılabilir.

ZK Kanıtı Nasıl Oluşturuluyor?

Uygulama, doğrulanacak koşulu matematiksel işlemler ve kısıtlarla ifade eder. Kanıtlayıcı, gizli girdilerin bu koşulları sağladığını gösteren bir kanıt üretir.

Genel süreç şöyle ilerler:

1. Kanıtlanacak iddia tanımlanır.
2. Açık ve gizli girdiler belirlenir.
3. Doğrulanacak hesaplama veya ilişki hazırlanır.
4. Kanıtlayıcı gizli girdilerle kanıt oluşturur.
5. Doğrulayıcı, kanıtı ve açık girdileri kontrol eder.

Doğrulayıcı gizli girdiyi görmeden kontrol yapabilir. Ancak yanlış tanımlanmış bir koşulun doğru biçimde kanıtlanması mümkündür. Bu nedenle uygulamanın gerçekten gerekli kuralı doğrulaması önemlidir.

Etkileşimli ve Etkileşimsiz Kanıtlar

Bazı sıfır bilgi protokollerinde taraflar arasında birden fazla mesaj alışverişi yapılır. Doğrulayıcı sorular veya rastgele meydan okumalar gönderir; kanıtlayıcı bunlara yanıt verir.

Etkileşimsiz kanıtlarda ise kanıt, doğrulayıcının ayrıca bir konuşma yürütmesine gerek kalmadan kontrol edilebilir.

Blockchain uygulamalarında bu özellik önemlidir. Bir kanıtın ağa gönderilmesi ve farklı katılımcılar tarafından doğrulanması mümkün olabilir.

Ancak etkileşimsiz yapının güvenlik varsayımları ve kurulum gereksinimleri, kullanılan yönteme göre değişir.

Dijital Kimlikte Ne Sağlayabilir?

Bir kullanıcı, kimlik belgesindeki bütün alanları açıklamak yerine belirli bir koşulu kanıtlayabilir.

Örnekler arasında şunlar bulunabilir:

• Belirli yaş sınırını karşılamak.
• Geçerli bir üyeliğe sahip olmak.
• Yetkili bir kuruluşun verdiği belgeyi taşımak.
• Belirli erişim koşullarını sağlamak.

Fakat kullanıcının kendi yazdığı doğum tarihini gizleyerek kanıtlaması yeterli değildir. Verinin güvenilir bir kaynağa veya doğrulanabilir belgeye bağlanması gerekir.

ZK kanıtı, güvenilir belge düzenleme ve kimlik süreçlerinin yerine geçmez. Bu süreçlerde gereksiz bilgi paylaşımını azaltabilir.

Blockchain’de Gizlilik Nasıl Sağlanabilir?

Gizlilik odaklı bir işlem tasarımında, belirli değerler doğrudan yayımlanmak yerine kriptografik taahhütlerle temsil edilebilir.

Kanıt, gizli değerleri açıklamadan şu tür kuralların sağlandığını gösterebilir:

• Harcama için gerekli yetkinin bulunması.
• İşlem değerlerinin uygun biçimde dengelenmesi.
• Aynı hakkın tekrar kullanılmaması.
• Protokolün belirlediği koşulların karşılanması.

Ancak gizlilik bütün sistem üzerinden değerlendirilmelidir. İşlem zamanı, ağ trafiği, açık adresler veya uygulama kayıtları kullanıcı hakkında bilgi verebilir.

İşlem içeriğinin gizlenmesi, bütün metadata’nın gizlendiği anlamına gelmez.

ZK-Rollup Kullanmak İşlemleri Gizler mi?

Her zaman değil. Bu, en sık karıştırılan konulardan biridir.

ZK-rollup veya geçerlilik kanıtı kullanan bazı sistemler, çok sayıda işlemin kurallara uygun işlendiğini ana zincire kanıtlar. Amaç, her hesaplamanın ana zincirde yeniden yürütülmesi ihtiyacını azaltmaktır.

Bu sistemlerde işlem verileri veya sonuçlar kamuya açık olabilir. Dolayısıyla kanıt teknolojisinin ZK ailesine ait olması, uygulamanın gizlilik sunduğunu göstermez.

Hesaplama doğrulaması ile veri gizliliği ayrı tasarım hedefleridir.

Ayrıca kanıt, verilerin kullanıcıların erişimine açık olduğunu tek başına göstermez. Veri erişilebilirliği ve sistemden çıkış mekanizmaları da değerlendirilmelidir.

zk-SNARK ve zk-STARK Arasındaki Fark

Bu isimler, farklı kanıt sistemlerini ve yaklaşımlarını ifade eder.

zk-SNARK, kısa ve hızlı doğrulanabilir etkileşimsiz bilgi argümanları için kullanılan bir terimdir. Bazı tasarımlar güvenilir kurulum gerektirirken bazıları farklı kurulum modelleri kullanır.

zk-STARK, ölçeklenebilir ve şeffaf kurulum yaklaşımıyla ilişkilidir. Yaygın tasarımlarında hash tabanlı yapılardan yararlanır.

Her SNARK aynı özellikleri sunmaz; her STARK uygulaması da aynı performansa sahip değildir. Seçim, gerçek kullanım koşullarına göre yapılmalıdır.

Hız ve Maliyet Dengesi

Bir hesaplamayı kanıtlamak, onu yalnızca çalıştırmaktan daha fazla kaynak gerektirebilir. Buna karşılık kanıtın doğrulanması, hesaplamayı yeniden yürütmekten daha ucuz olabilir.

Bu dengenin anlamlı olduğu uygulamalarda hesaplama yükü farklı taraflar arasında yeniden dağıtılır.

Ancak toplam maliyet; kanıt üretimi, veri aktarımı, zincir ücretleri ve işletme altyapısını birlikte içerir. Daha ucuz doğrulama, bütün sürecin otomatik olarak ucuz olduğu anlamına gelmez.

Geliştirmede En Önemli Riskler

ZK uygulamalarında yalnızca kriptografik algoritma doğru olmak zorunda değildir. Kanıtlanan devre veya program da doğru hazırlanmalıdır.

Eksik bir kısıt, geçersiz bir işlemin kabul edilmesine yol açabilir. Açık girdilerin yanlış bağlanması veya uygulama katmanındaki hata da güvenliği etkileyebilir.

Bu nedenle test, bağımsız inceleme ve uçtan uca doğrulama önemlidir. Kanıtın matematiksel olarak geçerli olması, uygulamanın bütün kurallarının doğru uygulandığını tek başına göstermez.

Sık Sorulan Sorular

ZK Proof şifreleme ile aynı şey mi?

Hayır. Şifreleme veriyi gizlemeye, ZK kanıtı ise belirli bir iddiayı gizli girdileri açıklamadan doğrulamaya odaklanır. Birlikte kullanılabilirler.

Blockchain olmadan kullanılabilir mi?

Evet. Kimlik doğrulama ve hesaplama doğrulaması gibi uygulamalarda blockchain zorunlu değildir.

Kanıt, gizli bilginin kopyasını içerir mi?

Amaç, gizli girdiyi açıklamadan doğrulama yapmaktır. Güvence kullanılan protokole ve uygulamanın doğru kurulmasına bağlıdır.

ZK kullanan her proje anonim midir?

Hayır. Açık girdiler, metadata ve uygulamanın diğer bileşenleri kimlik veya işlem bilgisi açığa çıkarabilir.

Kaynaklar: Shafi Goldwasser, Silvio Micali ve Charles Rackoff — The Knowledge Complexity of Interactive Proof Systems; Jens Groth — On the Size of Pairing-Based Non-interactive Arguments; Eli Ben-Sasson ve diğerleri — Scalable, Transparent, and Post-Quantum Secure Computational Integrity.

Editör Notu

Bu içerik, sıfır bilgi kanıtlarının çalışma mantığını ve gizlilik ile hesaplama doğrulamasındaki rolünü ele alan bir araştırma ve değerlendirme yazısıdır. İçerikte yer alan değerlendirmeler editoryal yorum niteliğindedir. Güvenlik ve gizlilik; kullanılan kanıt sistemine, açık girdilere, kurulum koşullarına ve uygulamanın doğru tasarlanmasına bağlıdır. ZK kanıtı kullanılması, bütün verilerin gizlendiğini veya gerçek dünya bilgilerinin kendiliğinden doğrulandığını garanti etmez.