Modern zk-SNARKs sistemi, 1985 yılında Goldwasser, Micali ve Rackoff'un ortak yazdığı makaleden kaynaklanmaktadır. Bu makale, etkileşimli sistemlerde, sınırlı sayıda etkileşim yoluyla bir ifadenin doğruluğunu kanıtlamak için gereken bilgi miktarını araştırmaktadır. Eğer sıfır bilgi alışverişi mümkünse, buna sıfır bilgi kanıtı denir. Bu etkileşimli sistem yalnızca olasılık anlamında doğruluğa ulaşabilir, matematiksel olarak tamamen kanıtlanamaz.
Bu açığı aşmak için, etkileşimsiz sistemler ortaya çıktı ve bu sistemler tamlık özelliğine sahip olarak sıfır bilgi kanıtı sistemleri için ideal bir seçim haline geldi. Erken dönem sıfır bilgi kanıtı sistemleri verimlilik ve pratiklik açısından yetersizlikler taşıyordu ve esasen teorik düzeyde kalmıştı. Son on yılda, kriptografinin kripto para alanındaki yükselişi ile birlikte, sıfır bilgi kanıtı giderek önemli bir araştırma yönü haline geldi.
Sıfır bilgi kanıtlarının önemli bir atılımı, Groth'un 2010 yılında önerdiği kısa eşleme etkileşimsiz sıfır bilgi kanıtıdır ve zk-SNARK'ların teorik temelini oluşturur. 2015 yılında, Zcash sıfır bilgi kanıtını işlem gizliliği koruma amacıyla ilk kez uygulayarak, zk-SNARK ile akıllı sözleşmelerin birleşimini başlatmış ve uygulama alanlarını büyük ölçüde genişletmiştir.
Diğer önemli akademik成果lar arasında: 2013'teki Pinocchio protokolü, 2016'daki Groth16 algoritması, 2017'deki Bulletproofs ve 2018'de önerilen zk-STARKs gibi gelişmeler bulunmaktadır. Bu ilerlemeler, sıfır bilgi kanıtlarının teoriden pratiğe geçişini büyük ölçüde hızlandırmıştır.
zk-SNARKs'in Ana Uygulamaları
zk-SNARKs şu anda en yaygın iki uygulaması gizlilik koruma ve ölçeklendirmedir. Erken dönem gizlilik işlemleri büyük ilgi gördü, temsilci projeler arasında Zcash ve Monero gibi projeler bulunmaktadır. Ethereum'un rollup merkezli ölçeklendirme yoluna geçmesiyle, zk-SNARKs tabanlı ölçeklendirme çözümleri yeniden sektörün odak noktası haline geldi.
gizli işlem
Gizli işlemler, SNARK kullanan Zcash ve Tornado, Bulletproof kullanan Monero gibi birçok uygulama projesine sahiptir. Zcash örneğinde, zk-SNARKs işlem süreci sistem kurulumu, anahtar üretimi, madencilik, transfer, doğrulama ve alma gibi aşamaları içerir ve işlem miktarının ve adresinin gizliliğinin korunmasını sağlar.
Ancak, Zcash gibi projelerin bazı sınırlamaları hala vardır. Örneğin, Zcash UTXO modeline dayandığı için bazı işlem bilgileri sadece gizlenmiş değil, tamamen kaybolmuş durumdadır. Ayrıca, kullanım oranı düşük olduğu için gizlilik odaklı işlemlere olan gerçek talebin beklentilerin altında olabileceğini göstermektedir. Buna karşılık, Tornado'nun benimsediği tek büyük karıştırma havuzu tasarımı daha evrenseldir ve Ethereum ağına dayandığı için daha iyi ölçeklenebilirlik sunmaktadır.
genişletme uygulaması
Sıfır bilgi kanıtının ölçeklenebilirlikteki uygulamaları esas olarak zk-rollup'ta kendini gösterir. zk-rollup, İki tür rol içerir: Sequencer ve Aggregator. Sequencer işlemleri paketlemekten sorumluyken, Aggregator birçok işlemi birleştirip sıfır bilgi kanıtı üreterek ana zincir durumunu günceller.
zk-rollup'un avantajları arasında düşük maliyet, hızlı nihai sonuç ve gizlilik koruma gibi özellikler bulunurken, hesaplama yükü ve güvenilir kurulum gerekliliği gibi dezavantajları da vardır. Şu anda piyasada öne çıkan başlıca zk-rollup projeleri arasında StarkNet, zkSync, Aztec Connect ve Polygon Hermez bulunmaktadır; bu projelerin her biri teknik yolları ve EVM uyumluluğu açısından farklı önceliklere sahiptir.
EVM uyumluluğu, sıfır bilgi sistemlerinin karşılaştığı bir sorun olmuştur. Şu anda sektörde iki ana çözüm bulunmaktadır: tamamen Solidity opcode'larına uyum sağlamak veya yeni bir ZK dostu sanal makine tasarlayıp Solidity ile uyumlu hale getirmek. Son yıllarda teknolojinin hızlı evrimi ile EVM uyumluluğu önemli ölçüde artmıştır, bu da sıfır bilgi kanıtlarının geliştirme ekosistemini ve rekabet ortamını önemli ölçüde etkileyecektir.
zk-SNARK'ların Uygulama Prensibi Özeti
zk-SNARK( zk-SNARKs), şu anda en yaygın kullanılan sıfır bilgi kanıtı çözümlerinden biridir. Sıfır bilgi, sade, etkileşimsiz, güvenilir ve bilgiye sahip olma gibi özelliklere sahiptir.
Groth16'nın zk-SNARK kanıt süreci temel olarak aşağıdaki adımları içerir:
Güvenilir ayarlar oluşturmak, kanıt anahtarı ve doğrulama anahtarı oluşturmak
zk-SNARKs kanıtlarını oluşturma ve doğrulama
zk-SNARKs teknolojisi hızla gelişiyor, gelecekte daha fazla alanda önemli bir rol oynaması bekleniyor. EVM uyumluluğunun artması ve yeni algoritmaların ortaya çıkmasıyla, zk-SNARKs'in blok zinciri ve diğer alanlarda daha fazla yenilikçi uygulama getirmesini bekleyebiliriz.
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.
17 Likes
Reward
17
5
Share
Comment
0/400
retroactive_airdrop
· 07-14 21:54
Hepsi GMX ve SNX'in bedava kurtarıcısı değil mi?
View OriginalReply0
HappyMinerUncle
· 07-12 06:03
Ah, bu kadar karmaşık anlatılırsa kimse anlamaz.
View OriginalReply0
MetaMisery
· 07-12 06:03
Yüksek lisans öğrencisi kan kusarak tez yazıyor, yine zk-SNARKs görüyorum..
View OriginalReply0
MetaMaximalist
· 07-12 05:55
lmao groth 2017'deydi... hepinizin gerçekten recursive snarks hakkında güncellenmesi gerekiyor
zk-SNARKs: Teoriden Pratiğe Teknik Yenilik ve Uygulama Beklentileri
zk-SNARKs'in Gelişim Süreci ve Uygulamaları
zk-SNARKs'in Tarihsel Gelişimi
Modern zk-SNARKs sistemi, 1985 yılında Goldwasser, Micali ve Rackoff'un ortak yazdığı makaleden kaynaklanmaktadır. Bu makale, etkileşimli sistemlerde, sınırlı sayıda etkileşim yoluyla bir ifadenin doğruluğunu kanıtlamak için gereken bilgi miktarını araştırmaktadır. Eğer sıfır bilgi alışverişi mümkünse, buna sıfır bilgi kanıtı denir. Bu etkileşimli sistem yalnızca olasılık anlamında doğruluğa ulaşabilir, matematiksel olarak tamamen kanıtlanamaz.
Bu açığı aşmak için, etkileşimsiz sistemler ortaya çıktı ve bu sistemler tamlık özelliğine sahip olarak sıfır bilgi kanıtı sistemleri için ideal bir seçim haline geldi. Erken dönem sıfır bilgi kanıtı sistemleri verimlilik ve pratiklik açısından yetersizlikler taşıyordu ve esasen teorik düzeyde kalmıştı. Son on yılda, kriptografinin kripto para alanındaki yükselişi ile birlikte, sıfır bilgi kanıtı giderek önemli bir araştırma yönü haline geldi.
Sıfır bilgi kanıtlarının önemli bir atılımı, Groth'un 2010 yılında önerdiği kısa eşleme etkileşimsiz sıfır bilgi kanıtıdır ve zk-SNARK'ların teorik temelini oluşturur. 2015 yılında, Zcash sıfır bilgi kanıtını işlem gizliliği koruma amacıyla ilk kez uygulayarak, zk-SNARK ile akıllı sözleşmelerin birleşimini başlatmış ve uygulama alanlarını büyük ölçüde genişletmiştir.
Diğer önemli akademik成果lar arasında: 2013'teki Pinocchio protokolü, 2016'daki Groth16 algoritması, 2017'deki Bulletproofs ve 2018'de önerilen zk-STARKs gibi gelişmeler bulunmaktadır. Bu ilerlemeler, sıfır bilgi kanıtlarının teoriden pratiğe geçişini büyük ölçüde hızlandırmıştır.
zk-SNARKs'in Ana Uygulamaları
zk-SNARKs şu anda en yaygın iki uygulaması gizlilik koruma ve ölçeklendirmedir. Erken dönem gizlilik işlemleri büyük ilgi gördü, temsilci projeler arasında Zcash ve Monero gibi projeler bulunmaktadır. Ethereum'un rollup merkezli ölçeklendirme yoluna geçmesiyle, zk-SNARKs tabanlı ölçeklendirme çözümleri yeniden sektörün odak noktası haline geldi.
gizli işlem
Gizli işlemler, SNARK kullanan Zcash ve Tornado, Bulletproof kullanan Monero gibi birçok uygulama projesine sahiptir. Zcash örneğinde, zk-SNARKs işlem süreci sistem kurulumu, anahtar üretimi, madencilik, transfer, doğrulama ve alma gibi aşamaları içerir ve işlem miktarının ve adresinin gizliliğinin korunmasını sağlar.
Ancak, Zcash gibi projelerin bazı sınırlamaları hala vardır. Örneğin, Zcash UTXO modeline dayandığı için bazı işlem bilgileri sadece gizlenmiş değil, tamamen kaybolmuş durumdadır. Ayrıca, kullanım oranı düşük olduğu için gizlilik odaklı işlemlere olan gerçek talebin beklentilerin altında olabileceğini göstermektedir. Buna karşılık, Tornado'nun benimsediği tek büyük karıştırma havuzu tasarımı daha evrenseldir ve Ethereum ağına dayandığı için daha iyi ölçeklenebilirlik sunmaktadır.
genişletme uygulaması
Sıfır bilgi kanıtının ölçeklenebilirlikteki uygulamaları esas olarak zk-rollup'ta kendini gösterir. zk-rollup, İki tür rol içerir: Sequencer ve Aggregator. Sequencer işlemleri paketlemekten sorumluyken, Aggregator birçok işlemi birleştirip sıfır bilgi kanıtı üreterek ana zincir durumunu günceller.
zk-rollup'un avantajları arasında düşük maliyet, hızlı nihai sonuç ve gizlilik koruma gibi özellikler bulunurken, hesaplama yükü ve güvenilir kurulum gerekliliği gibi dezavantajları da vardır. Şu anda piyasada öne çıkan başlıca zk-rollup projeleri arasında StarkNet, zkSync, Aztec Connect ve Polygon Hermez bulunmaktadır; bu projelerin her biri teknik yolları ve EVM uyumluluğu açısından farklı önceliklere sahiptir.
EVM uyumluluğu, sıfır bilgi sistemlerinin karşılaştığı bir sorun olmuştur. Şu anda sektörde iki ana çözüm bulunmaktadır: tamamen Solidity opcode'larına uyum sağlamak veya yeni bir ZK dostu sanal makine tasarlayıp Solidity ile uyumlu hale getirmek. Son yıllarda teknolojinin hızlı evrimi ile EVM uyumluluğu önemli ölçüde artmıştır, bu da sıfır bilgi kanıtlarının geliştirme ekosistemini ve rekabet ortamını önemli ölçüde etkileyecektir.
zk-SNARK'ların Uygulama Prensibi Özeti
zk-SNARK( zk-SNARKs), şu anda en yaygın kullanılan sıfır bilgi kanıtı çözümlerinden biridir. Sıfır bilgi, sade, etkileşimsiz, güvenilir ve bilgiye sahip olma gibi özelliklere sahiptir.
Groth16'nın zk-SNARK kanıt süreci temel olarak aşağıdaki adımları içerir:
zk-SNARKs teknolojisi hızla gelişiyor, gelecekte daha fazla alanda önemli bir rol oynaması bekleniyor. EVM uyumluluğunun artması ve yeni algoritmaların ortaya çıkmasıyla, zk-SNARKs'in blok zinciri ve diğer alanlarda daha fazla yenilikçi uygulama getirmesini bekleyebiliriz.