zk-SNARK Nedir?

zk-SNARK, "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge" ifadesinin kısaltmasıdır. Türkçeye kabaca "sıfır bilgili, kısa ve etkileşimsiz bilgi kanıtı" olarak çevrilebilir. Kanıtlayan taraf, bir bilgiye sahip olduğunu ya da bir hesaplamanın doğru yapıldığını, o bilginin kendisini göstermeden kanıtlar.

zk-SNARK nedir?

Adın her parçası bir özelliği anlatır:

• Zero-knowledge (sıfır bilgi): Doğrulayıcı, ifadenin doğru olduğu dışında hiçbir şey öğrenmez.
• Succinct (kısa): Kanıt küçüktür ve hızlı doğrulanır; karmaşık bir hesaplamanın kanıtı bile birkaç yüz bayt mertebesinde olabilir.
• Non-interactive (etkileşimsiz): Kanıtlayan ve doğrulayan arasında karşılıklı soru-cevap gerekmez; tek bir kanıt yeterlidir.

Genel kavram için sıfır bilgi ispatı maddesine bakabilirsin.

Nerede kullanılır?

• Gizlilik: Bazı gizlilik odaklı kripto paralar, gönderen, alıcı ve tutarı gizlerken işlemin kurallara uygun olduğunu zk-SNARK ile kanıtlar.
• Ölçekleme: ZK rollup ağları binlerce işlemin doğru yürütüldüğünü tek bir kısa kanıtla ana zincire bildirir.
• Kimlik: Örneğin bir kişinin yaşını açıklamadan reşit olduğunu kanıtlamak gibi senaryolar üzerinde çalışılmaktadır.

Sınırları

Birçok zk-SNARK sistemi bir güvenilir kurulum (trusted setup) töreni gerektirir. Bu törende üretilen gizli değerler yok edilmezse sahte kanıt üretilebilir. Bu nedenle çok katılımcılı törenler düzenlenir ve kurulum gerektirmeyen yeni sistemler geliştirilir. Ayrıca kanıt üretmek yoğun hesaplama gücü ister ve kullanılan bazı kriptografik varsayımlar, gelecekteki kuantum bilgisayarlara karşı dayanıklı kabul edilmez.