zk-SNARKs üç ana alanı kapsamlı bir şekilde analiz ediyor: Tarih, Uygulama ve Teknik Prensipler

2025-08-04 17:38:39

zk-SNARKs'in Tarihi, Uygulamaları ve Prensibi

Bir. zk-SNARKs'in Gelişim Süreci

Sıfır Bilgi Kanıtları, 1985 yılında Goldwasser, Micali ve Rackoff'un makalesine dayanmaktadır. Bu makale, etkileşimli sistemlerde bir ifadenin doğruluğunu kanıtlamak için gereken bilgi miktarını araştırmaktadır. Eğer sıfır bilgi değişimi yapılabiliyorsa, buna sıfır bilgi kanıtı denir. İlk dönem sıfır bilgi kanıtı sistemleri etkinlik ve kullanılabilirlik açısından yetersizdi ve esasen teorik düzeyde kaldı. Son on yılda, kriptografinin kripto para alanındaki yükselişi ile sıfır bilgi kanıtları hızlı bir gelişim sürecine girdi.

Sıfır Bilgi İspatı'nın kilit atılımı, Groth'un 2010 yılında önerdiği zk-SNARK teorisidir. 2015 yılında, Zcash sıfır bilgi ispatını işlem gizliliği korumasında uygulayarak daha geniş uygulama senaryolarının kapısını açtı. Diğer önemli gelişmeler şunlardır:

2013 Pinocchio Protokolü: Kanıt ve doğrulama süresini sıkıştırdı
2016 Groth16: Kanıt boyutunu küçültmüş, doğrulama verimliliğini artırmıştır
2017 Bulletproofs: Kısa, etkileşimsiz zk-SNARKs önerildi.
2018 yılında zk-STARKs: Güvenilir bir kurulum gerektirmeyen protokol

Ayrıca, PLONK, Halo2 gibi projeler de zk-SNARKs üzerinde önemli iyileştirmeler yapmıştır.

İki, zk-SNARKs'ın Ana Uygulamaları

zk-SNARKs şu anda esas olarak gizlilik koruma ve ölçeklendirme olmak üzere iki alanda kullanılmaktadır.

gizlilik koruma

Erken dönem gizlilik ticareti projeleri olan Zcash ve Monero büyük ilgi görmüştü, ancak talebin azalmasıyla birlikte giderek ikinci plana düştü. Başlıca gizlilik ticareti projeleri şunlardır:

Zcash: zk-SNARKs kullanıyor
Monero: Bulletproof kullanıyor
Tornado Cash: Ethereum tabanlı karıştırıcı havuz

genişletme

Sıfır bilgili kanıtların ölçeklenebilirlik konusundaki uygulamaları esas olarak zk-rollup'tır. zk-rollup, İkincil ve Toplayıcı olmak üzere iki tür rol içerir:

Sequencer, işlemleri paketlemekten sorumludur.
Aggregatör, işlemleri birleştirmek ve zk-SNARKs oluşturmakla sorumludur.

zk-rollup'un avantajları düşük maliyet ve hızlı nihai sonuçtur, dezavantajları ise yüksek hesaplama yükü ve güvenilir ayar gerektirmesidir.

Ana akım zk-rollup projeleri şunlardır: StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll vb. Bunlar, SNARK/STARK seçiminde ve EVM uyumluluğunda farklılık göstermektedir.

Üç, ZK-SNARK'ların Temel Prensipleri

zk-SNARK, sıfır bilgi, kısa, etkileşimsiz bilgi kanıtı anlamına gelir ve aşağıdaki özelliklere sahiptir:

Zero Knowledge: Kanıt süreci ek bilgi sızdırmaz.
Kısa: Doğrulama basit
Non-interaktif:非交互
Bilgi Argümanları: Kanıtlayıcının geçerli bilgilere sahip olması gerekir

Groth16'nın zk-SNARK kanıtlama süreci aşağıdaki gibidir:

Sorunu devreye dönüştür
Devreyi R1CS biçimine dönüştür
R1CS'nin QAP formuna dönüştürülmesi
Güvenilir ayar parametrelerini oluşturma
Kanıtları Üretme ve Doğrulama

zk-SNARKs hâlâ hızlı bir şekilde gelişiyor ve gelecekte daha fazla alanda önemli bir rol oynaması bekleniyor.

ZK1.36%

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.

7 Likes