Sözlük maddesi
zk-SNARK
infrastructurezk-SNARK'lar küçük ve hızlı doğrulanan sıfır bilgi ispatlarıdır; ZK rollup'larda ve gizlilik coinlerinde kullanılır, kurulum gerektirir.
Tanım
zk-SNARK, özlü ve etkileşimsiz bir sıfır bilgi ispatı türüdür: ispat çok küçüktür ve hızlı doğrulanır, ispatlayan tarafsa onu tek seferde gönderir, karşılıklı mesajlaşma gerekmez. Bu birleşim zk-SNARK'ları blok zincirlerinde kullanışlı kılar, çünkü orada hesaplamanın bedelini her doğrulayıcı öder; birkaç gizlilik odaklı coin ve ZK rollup bu teknolojiye dayanır. Tarihsel bedeli güvenilir kurulumdur (trusted setup): tek seferlik bir tören genel parametreleri üretir ve geriye bazen zehirli atık denen gizli artıklar bırakır; bunlar imha edilmelidir, çünkü elinde tutan kişi sahte ispat üretebilir. Çok taraflı törenler bu riski azaltır, tek bir dürüst katılımcı yeterlidir. zk-SNARK'lar ayrıca kuantuma dayanıklı sayılmayan eliptik eğri varsayımlarına dayanır.
Sırada