Sıfır Bilgi Kanıtı sisteminin modernleşme süreci 1985 yılında başladı. Goldwasser, Micali ve Rackoff, makalelerinde etkileşimli sistemlerde sıfır bilgi kanıtı kavramını ilk kez ortaya koydular. Bu teori, etkileşim sürecinde bir ifadenin doğruluğunu kanıtlamak için en az bilgi alışverişi ile nasıl yapılacağını araştırmaktadır. Bu yöntem olasılık açısından doğru olsa da, hala bazı sınırlamaları vardır.
Sonrasında, etkileşimsiz sistemlerin gelişimi zk-SNARKs'ı daha da mükemmel hale getirdi. Ancak, erken dönem zk-SNARKs sistemleri pratiklik açısından hala yetersizdi ve esasen teorik düzeyde kalıyordu. Son on yılda, kriptografinin kripto para alanındaki yükselişi ile zk-SNARKs gerçekten öne çıkmaya başladı ve önemli bir araştırma yönü haline geldi.
Sıfır bilgi kanıtının önemli bir atılımı 2010 yılında gerçekleşti. Groth'un yayımladığı makale, daha sonra geniş çapta bilinen zk-SNARK'ların teorik temelini oluşturdu. 2015 yılında, Z-cash projesi sıfır bilgi kanıtını işlem gizliliği koruma amacıyla uygulayarak, sıfır bilgi kanıtı ile akıllı sözleşmelerin birleşiminde bir ilki başlattı ve uygulama alanlarını büyük ölçüde genişletti.
Bu süre zarfında bazı önemli akademik bulgular şunlardır:
2013 yılında Pinocchio protokolü, kanıt ve doğrulama verimliliğini önemli ölçüde artırmıştır.
2016 yılında Groth16 algoritması, kanıt boyutunu daha da küçültmüş ve doğrulama verimliliğini artırmıştır.
2017'de önerilen Bulletproofs algoritması, hızlı bir etkileşimsiz zk-SNARKs gerçekleştirdi.
2018 yılında ZK-STARKs'ın ortaya atılması, güvenilir bir kurulum gerektirmeyen yeni bir yön açtı.
Ayrıca, PLONK, Halo2 gibi yeni protokoller de zk-SNARK'lara önemli iyileştirmeler getirmiştir.
zk-SNARKs'in Ana Uygulamaları
zk-SNARKs şu anda esas olarak gizlilik koruma ve ölçeklendirme alanlarında kullanılmaktadır.
Gizlilik koruma açısından, erken dönem Zcash ve Monero gibi projeler geniş bir ilgi uyandırmıştı. Ancak, gizli işlemlere olan gerçek talep beklentileri karşılamadı ve bu tür projeler giderek ana akım görüşden uzaklaştı.
Karşılaştırıldığında, ölçeklenme talebi giderek daha acil hale geliyor. Özellikle 2020'de Ethereum'un rollup merkezli ölçeklenme yoluna geçmesinden bu yana, sıfır bilgi kanıtına dayalı ölçeklenme çözümleri sektörün odak noktası haline geldi.
gizlilik ticareti uygulaması
Gerçekleştirilen gizlilik ticareti projeleri şunlardır:
SNARK teknolojisi kullanan Zcash ve Tornado
Bulletproof kullanan Monero
Zcash örneğinde olduğu gibi, zk-SNARKs işlem süreci sistem kurulumu, anahtar oluşturma, madencilik, transfer, doğrulama ve alma gibi adımları içerir. Ancak, Zcash'in diğer uygulamalarla entegrasyonunun zor olması gibi bazı sınırlamaları da vardır ve gerçekten gizli işlemler kullananların oranı çok yüksek değildir.
Buna karşılık, Tornado, tek bir büyük karıştırıcı havuz tasarımını daha evrensel hale getiriyor ve Ethereum ağı üzerinde çalışıyor. Tornado Cash, yalnızca yatırılan tokenlerin çekilebileceğini ve her tokenin yalnızca bir kez çekilebileceğini garanti ederken, yüksek güvenliği de sağlamaktadır.
Dikkate değer olan, sektördeki uzmanların, ölçeklenmenin aksine, gizlilik koruma teknolojisinin uygulanmasının nispeten basit olduğunu düşünmesidir. Eğer ölçeklenme planı başarılı olursa, gizlilik koruma da artık bir sorun olmayacaktır.
genişletme uygulamaları
zk-SNARKs'in ölçeklendirme üzerindeki uygulamaları, birinci katman ağları (, örneğin Mina ) ve ikinci katman ağları ( yani zk-rollup ) olarak ikiye ayrılabilir. zk-rollup kavramı muhtemelen Vitalik'in 2018'deki bir makalesinden kaynaklanmaktadır.
zk-rollup esas olarak iki tür rol içerir: Sequencer, işlemleri paketlemekten sorumludur; Aggregator, işlemleri birleştirir ve zk-SNARKs üretir. Bu kanıt, bir katman ağının durumu ile karşılaştırılır ve böylece Ethereum'un durum ağacı güncellenir.
zk-rollup'un avantajları düşük maliyet, hızlı nihai sonuç ve gizlilik korumasıdır, ancak büyük hesaplama yükü, güvenilir ayar gereksinimi gibi zorluklar da vardır.
Şu anda piyasada rekabetçi olan zk-rollup projeleri arasında StarkNet, zkSync, Aztec Connect, Polygon Hermez, Miden, Loopring ve Scroll bulunmaktadır. Bu projeler, teknik yönelimlerinde genellikle SNARK( ve onun geliştirilmiş versiyonları ) ile STARK arasında bir seçim yaparken, EVM'ye olan destek seviyesine de dikkat etmektedir.
Önemli bir nokta, zk-SNARKs sisteminin EVM ile uyumluluğunun her zaman bir zorluk olmasıdır. Projeler genellikle ikisi arasında bir denge kurmak zorunda kalır veya uyumluluğu sağlamak için yeni sanal makineler tasarlamak zorundadır. Son yıllarda, teknolojideki hızlı ilerlemeler EVM uyumluluğunu önemli ölçüde artırmış ve bu, zk-SNARKs'ın geliştirme ekosistemine ve rekabet ortamına önemli bir etki yapacaktır.
zk-SNARK'ların Temel Prensibi
zk-SNARKs, bütünlük, güvenilirlik ve sıfır bilgi özelliklerini karşılamalıdır. zk-SNARK( sıfır bilgi kısa etkileşimsiz bilgi kanıtı), şu anda yaygın olarak kullanılan sıfır bilgi kanıtı çözümlerinden biridir.
zk-SNARKs'ın kanıtlama süreci esasen aşağıdaki adımları içerir:
Sorunu devreye dönüştür
Devreyi R1CS biçimine dönüştürmek
R1CS'yi QAP biçimine dönüştürmek
Güvenilir bir yapı oluşturmak, kanıt anahtarını ve doğrulama anahtarını oluşturmak
zk-SNARKs kanıtı oluşturma ve doğrulama
Bu süreç, kanıtın sıfır bilgi, özlü ve etkileşimsiz olmasını sağlarken, hesaplamanın güvenilirliğini ve bilgeliğini de garanti eder.
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.
12 Likes
Reward
12
6
Share
Comment
0/400
AirdropworkerZhang
· 07-09 12:10
Aha, bu şey er ya da geç patlayacak!
View OriginalReply0
OnChainArchaeologist
· 07-09 10:56
Akademik makaleleri anlamak zordur.
View OriginalReply0
WenAirdrop
· 07-08 20:58
Herhangi bir $ZK projesi patates kızartmasını bırak.
View OriginalReply0
MemecoinResearcher
· 07-08 20:57
ser, zk kanıtları üzerinde duygu analizi yapıyor... ay ile korelasyon: 420% (trust me bro)
Derinlik analizi: zk-SNARKs'ın evrimi ve Web3'teki uygulama potansiyeli
zk-SNARKs'ın Gelişim Süreci ve Uygulama Geleceği
zk-SNARKs'in Tarihçesi
Sıfır Bilgi Kanıtı sisteminin modernleşme süreci 1985 yılında başladı. Goldwasser, Micali ve Rackoff, makalelerinde etkileşimli sistemlerde sıfır bilgi kanıtı kavramını ilk kez ortaya koydular. Bu teori, etkileşim sürecinde bir ifadenin doğruluğunu kanıtlamak için en az bilgi alışverişi ile nasıl yapılacağını araştırmaktadır. Bu yöntem olasılık açısından doğru olsa da, hala bazı sınırlamaları vardır.
Sonrasında, etkileşimsiz sistemlerin gelişimi zk-SNARKs'ı daha da mükemmel hale getirdi. Ancak, erken dönem zk-SNARKs sistemleri pratiklik açısından hala yetersizdi ve esasen teorik düzeyde kalıyordu. Son on yılda, kriptografinin kripto para alanındaki yükselişi ile zk-SNARKs gerçekten öne çıkmaya başladı ve önemli bir araştırma yönü haline geldi.
Sıfır bilgi kanıtının önemli bir atılımı 2010 yılında gerçekleşti. Groth'un yayımladığı makale, daha sonra geniş çapta bilinen zk-SNARK'ların teorik temelini oluşturdu. 2015 yılında, Z-cash projesi sıfır bilgi kanıtını işlem gizliliği koruma amacıyla uygulayarak, sıfır bilgi kanıtı ile akıllı sözleşmelerin birleşiminde bir ilki başlattı ve uygulama alanlarını büyük ölçüde genişletti.
Bu süre zarfında bazı önemli akademik bulgular şunlardır:
Ayrıca, PLONK, Halo2 gibi yeni protokoller de zk-SNARK'lara önemli iyileştirmeler getirmiştir.
zk-SNARKs'in Ana Uygulamaları
zk-SNARKs şu anda esas olarak gizlilik koruma ve ölçeklendirme alanlarında kullanılmaktadır.
Gizlilik koruma açısından, erken dönem Zcash ve Monero gibi projeler geniş bir ilgi uyandırmıştı. Ancak, gizli işlemlere olan gerçek talep beklentileri karşılamadı ve bu tür projeler giderek ana akım görüşden uzaklaştı.
Karşılaştırıldığında, ölçeklenme talebi giderek daha acil hale geliyor. Özellikle 2020'de Ethereum'un rollup merkezli ölçeklenme yoluna geçmesinden bu yana, sıfır bilgi kanıtına dayalı ölçeklenme çözümleri sektörün odak noktası haline geldi.
gizlilik ticareti uygulaması
Gerçekleştirilen gizlilik ticareti projeleri şunlardır:
Zcash örneğinde olduğu gibi, zk-SNARKs işlem süreci sistem kurulumu, anahtar oluşturma, madencilik, transfer, doğrulama ve alma gibi adımları içerir. Ancak, Zcash'in diğer uygulamalarla entegrasyonunun zor olması gibi bazı sınırlamaları da vardır ve gerçekten gizli işlemler kullananların oranı çok yüksek değildir.
Buna karşılık, Tornado, tek bir büyük karıştırıcı havuz tasarımını daha evrensel hale getiriyor ve Ethereum ağı üzerinde çalışıyor. Tornado Cash, yalnızca yatırılan tokenlerin çekilebileceğini ve her tokenin yalnızca bir kez çekilebileceğini garanti ederken, yüksek güvenliği de sağlamaktadır.
Dikkate değer olan, sektördeki uzmanların, ölçeklenmenin aksine, gizlilik koruma teknolojisinin uygulanmasının nispeten basit olduğunu düşünmesidir. Eğer ölçeklenme planı başarılı olursa, gizlilik koruma da artık bir sorun olmayacaktır.
genişletme uygulamaları
zk-SNARKs'in ölçeklendirme üzerindeki uygulamaları, birinci katman ağları (, örneğin Mina ) ve ikinci katman ağları ( yani zk-rollup ) olarak ikiye ayrılabilir. zk-rollup kavramı muhtemelen Vitalik'in 2018'deki bir makalesinden kaynaklanmaktadır.
zk-rollup esas olarak iki tür rol içerir: Sequencer, işlemleri paketlemekten sorumludur; Aggregator, işlemleri birleştirir ve zk-SNARKs üretir. Bu kanıt, bir katman ağının durumu ile karşılaştırılır ve böylece Ethereum'un durum ağacı güncellenir.
zk-rollup'un avantajları düşük maliyet, hızlı nihai sonuç ve gizlilik korumasıdır, ancak büyük hesaplama yükü, güvenilir ayar gereksinimi gibi zorluklar da vardır.
Şu anda piyasada rekabetçi olan zk-rollup projeleri arasında StarkNet, zkSync, Aztec Connect, Polygon Hermez, Miden, Loopring ve Scroll bulunmaktadır. Bu projeler, teknik yönelimlerinde genellikle SNARK( ve onun geliştirilmiş versiyonları ) ile STARK arasında bir seçim yaparken, EVM'ye olan destek seviyesine de dikkat etmektedir.
Önemli bir nokta, zk-SNARKs sisteminin EVM ile uyumluluğunun her zaman bir zorluk olmasıdır. Projeler genellikle ikisi arasında bir denge kurmak zorunda kalır veya uyumluluğu sağlamak için yeni sanal makineler tasarlamak zorundadır. Son yıllarda, teknolojideki hızlı ilerlemeler EVM uyumluluğunu önemli ölçüde artırmış ve bu, zk-SNARKs'ın geliştirme ekosistemine ve rekabet ortamına önemli bir etki yapacaktır.
zk-SNARK'ların Temel Prensibi
zk-SNARKs, bütünlük, güvenilirlik ve sıfır bilgi özelliklerini karşılamalıdır. zk-SNARK( sıfır bilgi kısa etkileşimsiz bilgi kanıtı), şu anda yaygın olarak kullanılan sıfır bilgi kanıtı çözümlerinden biridir.
zk-SNARKs'ın kanıtlama süreci esasen aşağıdaki adımları içerir:
Bu süreç, kanıtın sıfır bilgi, özlü ve etkileşimsiz olmasını sağlarken, hesaplamanın güvenilirliğini ve bilgeliğini de garanti eder.