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:

  • 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.

HashKey ZK 101 İlk Dönem: Tarihsel İlkeler ve Sektör

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.

HashKey ZK 101 İlk Dönem: Tarihsel İlkeler ve Sektö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.

HashKey ZK 101 1. Dönem: Tarihsel İlkeler ve Sektö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:

  1. Sorunu devreye dönüştür
  2. Devreyi R1CS biçimine dönüştürmek
  3. R1CS'yi QAP biçimine dönüştürmek
  4. Güvenilir bir yapı oluşturmak, kanıt anahtarını ve doğrulama anahtarını oluşturmak
  5. 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.

HashKey ZK 101 İlk Dönem: Tarihsel Prensipler ve Sektör

HashKey ZK 101 İlk Dönem: Tarihsel Prensipler ve Sektör

ZK-2.08%
View Original
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.
  • Reward
  • 6
  • Share
Comment
0/400
AirdropworkerZhangvip
· 07-09 12:10
Aha, bu şey er ya da geç patlayacak!
View OriginalReply0
OnChainArchaeologistvip
· 07-09 10:56
Akademik makaleleri anlamak zordur.
View OriginalReply0
WenAirdropvip
· 07-08 20:58
Herhangi bir $ZK projesi patates kızartmasını bırak.
View OriginalReply0
MemecoinResearchervip
· 07-08 20:57
ser, zk kanıtları üzerinde duygu analizi yapıyor... ay ile korelasyon: 420% (trust me bro)
View OriginalReply0
SignatureDeniedvip
· 07-08 20:39
Teori çok, biraz uyudum.
View OriginalReply0
JustHereForMemesvip
· 07-08 20:35
Bunları anlamıyorsan endişelenme.
View OriginalReply0
Trade Crypto Anywhere Anytime
qrCode
Scan to download Gate app
Community
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)