zk-SNARKs'in Gelişim Süreci, Uygulamaları ve Temel Prensipleri
Bir, zk-SNARKs'in Tarihsel Gelişimi
Sıfır Bilgi Kanıtı sisteminin modern kavramı 1985 yılına kadar uzanmaktadır. O zamanlar, Goldwasser, Micali ve Rackoff işbirliği yaparak, etkileşimli sistemlerde bir ifadenin doğruluğunu en az bilgi alışverişi ile kanıtlama fikrini ortaya koydular. Bu düşünce 1989 yılında resmi olarak yayımlandı ve sıfır bilgi kanıtının teorik temelini oluşturdu.
Erken dönem zk-SNARKs sistemleri, pratiklik açısından sınırlamalara sahipti ve esasen teorik düzeyde kaldı. Son on yıl içinde, kriptografinin kripto para alanındaki yükselişi ile birlikte, zk-SNARKs gerçekten öne çıktı ve önemli bir araştırma yönü haline geldi. Bu bağlamda, genel, etkileşimsiz ve sınırlı kanıt ölçeğine sahip zk-SNARKs protokollerinin geliştirilmesi temel bir hedeftir.
Sıfır bilgi kanıtlarının büyük bir aşaması 2010 yılında gerçekleşti, Groth'un yayımladığı makale zk-SNARK'ların teorik temelini oluşturdu. 2015 yılında, Zcash sıfır bilgi kanıtlarını işlem gizliliğini korumak için uyguladı ve sıfır bilgi kanıtlarının pratik senaryolarda geniş kapsamlı kullanımının kapılarını açtı.
Bu süre zarfında, bazı önemli akademik sonuçlar şunlardır:
2013 yılındaki Pinocchio protokolü, kanıtlama ve doğrulama verimliliğini önemli ölçüde artırdı.
2016 yılında Groth16, kanıt boyutu ve doğrulama hızını daha da optimize etti.
2017'deki Bulletproofs, güvenilir bir kurulum gerektirmeyen kısa kanıt algoritmalarını önerdi.
2018'deki zk-STARKs, kuantum hesaplamaya karşı yeni bir kanıt sistemi önerdi.
Ayrıca, PLONK, Halo2 gibi yeni protokoller de zk-SNARK'ların geliştirilmesine önemli katkılarda bulunmuştur.
İki, zk-SNARKs'in Uygulama Özeti
zk-SNARKs'ın şu anda en yaygın iki uygulama alanı gizlilik koruma ve blockchain ölçeklenmesi.
Gizlilik koruma açısından, erken dönem Zcash ve Monero gibi projeler gizli işlemlerin gelişimini teşvik etti. Gizlilik talebi beklenildiği kadar belirgin olmasa da, bu tür projeler hala belirli bir pazar konumunu korumaktadır.
Ölçeklenme alanında, Ethereum'un rollup merkezli bir yöne geçişiyle birlikte, zk-SNARKs tabanlı ölçeklenme çözümleri yeniden odak noktası haline geldi.
gizli işlemler
Şu anda gerçekleştirilen gizlilik ticareti projeleri şunlardır:
SNARK kullanan Zcash ve Tornado
Bulletproof kullanarak Monero
Zcash örneğinde, zk-SNARKs uygulayan işlem süreci şunları içerir: sistem kurulumu, anahtar oluşturma, madencilik, işlem kanıtı oluşturma, doğrulama ve alma gibi adımlar.
Ancak Zcash gibi projelerin bazı sınırlamaları da vardır; örneğin, diğer uygulamalarla entegrasyon zorluğu ve gizli işlem özelliklerinin gerçek kullanım oranının düşük olması. Buna karşılık, Tornado'nun benimsediği tek bir büyük karıştırıcı havuz tasarımı daha fazla evrensellik sunmaktadır.
genişletme
zk-SNARKs'in ölçeklenebilirlikteki uygulamaları esas olarak ZK rollup ile kendini göstermektedir. ZK rollup, Sequencer ve Aggregator olmak üzere iki tür rol içerir:
Sequencer işlemleri paketlemekten sorumludur.
Aggregatör, işlemleri birleştirir ve zk-SNARKs oluşturur.
ZK rollup'un avantajları düşük maliyet, hızlı nihai sonuç ve gizlilik koruma iken, aynı zamanda büyük hesaplama yükü, güvenlik ve uyumluluk gibi zorluklarla da karşı karşıyadır.
Şu anda piyasada öne çıkan ZK rollup projeleri arasında StarkNet, zkSync, Aztec Connect, Polygon Hermez/Miden, Loopring ve Scroll bulunmaktadır. Bu projeler, teknik yol haritalarında SNARK( ve onun geliştirilmiş versiyonları ) ile STARK arasında seçim yaparken, aynı zamanda Ethereum Sanal Makinesi ( EVM) desteğine de dikkat etmektedir.
Üç, ZK-SNARKs'in Temel Prensibi
zk-SNARKs, bütünlük, güvenilirlik ve sıfır bilgi gibi üç özelliği karşılamalıdır. Örneğin, zk-SNARKs, "sıfır bilgi, basit ve etkileşimsiz bilgi kanıtı" olarak adlandırılır ve uygulama prensipleri aşağıdaki adımları içerir:
Sorunu devreye dönüştürün
Devreyi R1CS biçimine dönüştürmek
R1CS'yi QAP biçimine dönüştür
Güvenilir bir kurulum oluşturun, kanıt anahtarını ve doğrulama anahtarını oluşturun
zk-SNARKs kanıtlarının üretilmesi ve doğrulanması
Bu süreç, kilit bilgileri ifşa etmeden bir ifade doğruluğunu kanıtlamak için karmaşık kriptografi prensiplerini içerir.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
14 Likes
Reward
14
8
Share
Comment
0/400
RugResistant
· 18h ago
önceki zk kanıtlarında yüksek riskli bir desen tespit edildi, dürüst olmak gerekirse... kapsamlı bir kod denetimi gerektiriyor
View OriginalReply0
BearMarketGardener
· 07-21 23:55
Yıllar çok uzun zaman önceydi ki, 85 yılında ne olduğunu bile hatırlayamıyorum.
View OriginalReply0
WinterWarmthCat
· 07-21 15:48
Güzel, izlemeye değer.
View OriginalReply0
ChainMelonWatcher
· 07-19 17:23
Sıfır bilgiyi mi sardın? Muz
View OriginalReply0
MEVictim
· 07-19 17:23
Vay canına, bu teori çoktan vardı.
View OriginalReply0
ProposalDetective
· 07-19 17:23
belalı Just study this to make money
View OriginalReply0
TeaTimeTrader
· 07-19 17:21
Kriptografi ne kadar derin, kimin anlattığına bağlı...
zk-SNARKs: Teorik atılımdan ZK Rollup pratiğine evrimin yolculuğu
zk-SNARKs'in Gelişim Süreci, Uygulamaları ve Temel Prensipleri
Bir, zk-SNARKs'in Tarihsel Gelişimi
Sıfır Bilgi Kanıtı sisteminin modern kavramı 1985 yılına kadar uzanmaktadır. O zamanlar, Goldwasser, Micali ve Rackoff işbirliği yaparak, etkileşimli sistemlerde bir ifadenin doğruluğunu en az bilgi alışverişi ile kanıtlama fikrini ortaya koydular. Bu düşünce 1989 yılında resmi olarak yayımlandı ve sıfır bilgi kanıtının teorik temelini oluşturdu.
Erken dönem zk-SNARKs sistemleri, pratiklik açısından sınırlamalara sahipti ve esasen teorik düzeyde kaldı. Son on yıl içinde, kriptografinin kripto para alanındaki yükselişi ile birlikte, zk-SNARKs gerçekten öne çıktı ve önemli bir araştırma yönü haline geldi. Bu bağlamda, genel, etkileşimsiz ve sınırlı kanıt ölçeğine sahip zk-SNARKs protokollerinin geliştirilmesi temel bir hedeftir.
Sıfır bilgi kanıtlarının büyük bir aşaması 2010 yılında gerçekleşti, Groth'un yayımladığı makale zk-SNARK'ların teorik temelini oluşturdu. 2015 yılında, Zcash sıfır bilgi kanıtlarını işlem gizliliğini korumak için uyguladı ve sıfır bilgi kanıtlarının pratik senaryolarda geniş kapsamlı kullanımının kapılarını açtı.
Bu süre zarfında, bazı önemli akademik sonuçlar şunlardır:
Ayrıca, PLONK, Halo2 gibi yeni protokoller de zk-SNARK'ların geliştirilmesine önemli katkılarda bulunmuştur.
İki, zk-SNARKs'in Uygulama Özeti
zk-SNARKs'ın şu anda en yaygın iki uygulama alanı gizlilik koruma ve blockchain ölçeklenmesi.
Gizlilik koruma açısından, erken dönem Zcash ve Monero gibi projeler gizli işlemlerin gelişimini teşvik etti. Gizlilik talebi beklenildiği kadar belirgin olmasa da, bu tür projeler hala belirli bir pazar konumunu korumaktadır.
Ölçeklenme alanında, Ethereum'un rollup merkezli bir yöne geçişiyle birlikte, zk-SNARKs tabanlı ölçeklenme çözümleri yeniden odak noktası haline geldi.
gizli işlemler
Şu anda gerçekleştirilen gizlilik ticareti projeleri şunlardır:
Zcash örneğinde, zk-SNARKs uygulayan işlem süreci şunları içerir: sistem kurulumu, anahtar oluşturma, madencilik, işlem kanıtı oluşturma, doğrulama ve alma gibi adımlar.
Ancak Zcash gibi projelerin bazı sınırlamaları da vardır; örneğin, diğer uygulamalarla entegrasyon zorluğu ve gizli işlem özelliklerinin gerçek kullanım oranının düşük olması. Buna karşılık, Tornado'nun benimsediği tek bir büyük karıştırıcı havuz tasarımı daha fazla evrensellik sunmaktadır.
genişletme
zk-SNARKs'in ölçeklenebilirlikteki uygulamaları esas olarak ZK rollup ile kendini göstermektedir. ZK rollup, Sequencer ve Aggregator olmak üzere iki tür rol içerir:
ZK rollup'un avantajları düşük maliyet, hızlı nihai sonuç ve gizlilik koruma iken, aynı zamanda büyük hesaplama yükü, güvenlik ve uyumluluk gibi zorluklarla da karşı karşıyadır.
Şu anda piyasada öne çıkan ZK rollup projeleri arasında StarkNet, zkSync, Aztec Connect, Polygon Hermez/Miden, Loopring ve Scroll bulunmaktadır. Bu projeler, teknik yol haritalarında SNARK( ve onun geliştirilmiş versiyonları ) ile STARK arasında seçim yaparken, aynı zamanda Ethereum Sanal Makinesi ( EVM) desteğine de dikkat etmektedir.
Üç, ZK-SNARKs'in Temel Prensibi
zk-SNARKs, bütünlük, güvenilirlik ve sıfır bilgi gibi üç özelliği karşılamalıdır. Örneğin, zk-SNARKs, "sıfır bilgi, basit ve etkileşimsiz bilgi kanıtı" olarak adlandırılır ve uygulama prensipleri aşağıdaki adımları içerir:
Bu süreç, kilit bilgileri ifşa etmeden bir ifade doğruluğunu kanıtlamak için karmaşık kriptografi prensiplerini içerir.