zk-SNARKs teknolojisi üzerine bir inceleme ve Blok Zinciri alanındaki uygulamaları
Özet
zk-SNARKs(ZKP) teknolojisi, blok zinciri alanındaki en önemli yeniliklerden biri olarak genel kabul görmektedir ve son yıllarda risk sermayesinin odaklandığı bir alan olmuştur. Bu makalede, ZKP teknolojisinin son 40 yıldaki gelişim süreci ve en son araştırmaları sistematik bir şekilde gözden geçirilmektedir.
Öncelikle, ZKP'nin temel kavramı ve tarihsel arka planı tanıtılmıştır. Ardından, devre tabanlı ZKP teknolojileri, zkSNARK, Ben-Sasson, Pinocchio, Bulletproofs ve Ligero gibi modellerin tasarımı, uygulamaları ve optimizasyon yöntemleri üzerinde durulmuştur. Hesaplama ortamı açısından, bu çalışmada ZKVM ve ZKEVM tanıtılmakta, bunların işlem işleme kapasitesini nasıl artırdığı, gizliliği koruduğu ve doğrulama verimliliğini nasıl artırdığı ele alınmaktadır. Makale ayrıca sıfır bilgi Rollup(ZK'yi açıklamaktadır.