11-13, 16:00–16:25 (Turkey), Beyazıt (Yan Sahne)
Sıfır bilgi ispatları nedir? zkSNARK ve zkSTARK nedir? Nerede kullanımaktadırlar? Faydaları nelerdir? Performans problemleri ve çözümleri nasıldır? Gelecekte bu teknoloji için neler beklenmektedir? Güvenlik açıklıkları var mıdır?
ZKP'ler gizlilik ve güvenlik açısından Web3 için çözüm niteliğindedir.
Gizlilik açısından merkeziyetsiz ağlarda verilerin doğrulandığına dair güvenli bir garanti verir, bunu yaparken de kullanıcıların özel olarak bilgi paylaşmasına olanak tanır.
Güvenlik açısından ise kullanıcılara, aracı erişim noktalarına güvenmelerine gerek kalmadan ağdan aldıkları verilerin orijinal olduğunu garanti ederler.
ZKP'lerin blok zincirlerde uygulamaları için etkilişimli olmayan -ispatlayan tarafın doğrulayıcı tarafa tek mesaj ilettiği durum- protokoller gereklidir. Bu nedenle bu ispatlarda Fiat Shamir dönüşümü kullanılmaktadır. Ancak bu dönüşümün yazılımsal olarak yanlış gerçeklenmesi sonucu ispata ortadaki adam saldırısı uygulanabilmektedir.
PLONK bir zkSNARK (sıfır bilgi ispatı kısa etkileşimli olmayan bilgi argümanı) protokolü olup bir çok platformda kullanılan bir protokoldür.
Yukarıda bahsedilen saldırının Trail of Bits tarafından uygulandığı ağlara örnek ZenGo’s zk-paillier, ECBIT Labs’ ckb-zkp, Adjoint, Inc.’s bulletproofs, Dusk Network’s Plonk, Iden3’s SnarkJS, ConsenSys’ gnark.
Tübitak Bilgem Blok Zincir Lab.