zk-SNARKs(ZKP), önemli bir kriptografi teknolojisi olarak, modern teorik sistemi 1985 yılında Goldwasser, Micali ve Rackoff'un yayımladığı öncü makale ile başlamıştır. Bu makale, etkileşimli kanıt sistemlerinde, 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. Eğer sıfır bilgi alışverişi yapılabiliyorsa, buna sıfır bilgi kanıtı denir.
Erken dönem zk-SNARKs sistemleri pratiklik açısından yetersizdi ve esasen teorik düzeyde kalıyordu. Son 10 yıl içinde, kriptografinin kripto para alanında yaygın şekilde uygulanmasıyla birlikte, zk-SNARKs teknolojisi gelişmeye başladı ve önemli bir araştırma yönü haline geldi. Bu süreçte, genel, etkileşimsiz ve kanıt boyutu küçük zk-SNARKs protokollerinin inşası temel hedeflerden biri olmuştur.
Sıfır Bilgi Kanıtlarının ana突破 noktası, Groth'un 2010 yılında ortaya koyduğu zk-SNARK teorisidir. 2015 yılında, Zcash sıfır bilgi kanıtlarını işlem gizliliğini korumak için uygulamış ve ZKP'nin blockchain alanındaki pratik uygulamasını başlatmıştır. Bunun ardından, zk-SNARK, akıllı sözleşmelerle birleştirilerek uygulama senaryolarını daha da genişletmiştir.
Bu süreçteki bazı önemli akademik bulgular şunlardır:
2013 yılında Pinocchio protokolü: kanıt ve doğrulama sürelerini azalttı.
2017 Bulletproofs: Güvenilir bir kurulum gerektirmeyen kısa kanıtlar önerildi.
2018 yılında zk-STARKs: Güvenilir bir kurulum gerektirmeyen yeni bir protokol önerildi.
Ayrıca, PLONK, Halo2 gibi teknolojilerin ortaya çıkması zk-SNARK'lara daha fazla iyileştirme getirmiştir.
zk-SNARKs'ın Ana Uygulamaları
zk-SNARKs şu anda en yaygın iki uygulama alanı gizlilik koruma ve blok zinciri ölçeklenmesidir.
Gizlilik koruma açısından, Zcash, Monero gibi gizli işlem projeleri erken dönemde ortaya çıktı. Gizli işlemlerin gerekliliği beklenenin altında kalmış olsa da, yine de belirli bir piyasa konumunu korumaktadır. Ölçeklenme açısından, Ethereum'un rollup merkezli ölçeklenme yoluna geçmesiyle birlikte, ZKP tabanlı ölçeklenme çözümleri yeniden sektördeki odak noktası haline geldi.
gizli işlem
Gizli işlemler için birden fazla olgun proje bulunmaktadır, bunlar arasında:
zk-SNARKs kullanan Zcash ve Tornado Cash
Bulletproof kullanarak Monero
Zcash örneğinde, zk-SNARK işlem süreci şunları içerir: sistem kurulumu, anahtar oluşturma, madencilik, transfer, doğrulama ve alma gibi adımlar. Ancak, Zcash UTXO modeline dayandığı için gizlilik korumasında belirli sınırlamalar vardır ve gerçekten gizli işlemler kullananların oranı oldukça düşüktür.
Buna karşılık, Tornado Cash tek bir büyük karıştırma havuzu kullanarak daha iyi bir evrensellik sunmaktadır. Ethereum ağında temel işlevlerin gizliliğini sağlamak için zk-SNARK teknolojisini kullanarak para yatırma, çekme gibi önemli işlevleri gerçekleştirmektedir.
ölçeklendirme uygulamaları
ZKP'nin ölçeklenebilirlikteki uygulamaları esas olarak zk-rollup olarak kendini gösterir. Temel fikir, çok sayıda işlemi paketlemek, bir zk-SNARKs oluşturmak ve ardından bu kanıtı ana zincirde doğrulayarak durumu güncellemektir.
zk-rollup'un başlıca avantajları arasında: düşük maliyet, hızlı nihai onay, gizliliği koruma gibi özellikler bulunmaktadır. Ancak, büyük hesaplama yükü, güvenilir ayarlara ihtiyaç gibi zorluklar da mevcuttur.
Şu anda piyasadaki başlıca zk-rollup projeleri arasında: StarkNet, zkSync, Aztec Connect, Polygon Hermez/Miden, Loopring, Scroll gibi projeler bulunmaktadır. Bu projeler, teknik yol haritalarında esas olarak SNARK/STARK seçimleri ve EVM destek seviyeleri etrafında rekabet etmektedir.
EVM uyumluluğu önemli bir konudur. Bazı projeler tamamen Solidity opcode'ları ile uyumlu olmayı tercih ederken, diğerleri ZKP dostu ve Solidity uyumlu yeni sanal makineler tasarlamaktadır. Son zamanlarda EVM uyumluluğundaki hızlı ilerleme, geliştiricilere daha rahat bir geçiş yolu sağlamış ve bu da ZKP ekosisteminin rekabet ortamını etkileyecektir.
zk-SNARKs'ın Temel Prensibi
zk-SNARK, şu anda en yaygın kullanılan zk-SNARKs teknolojilerinden biridir. Tam adı "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge" (, aşağıdaki özelliklere sahiptir:
zk-SNARKs: Ek bilgi sızdırmadan
Basit: Doğrulama hacmi küçük
Etkileşimsiz: Birden fazla etkileşime gerek yok
Bilgi: Kanıtlayıcının geçerli bilgileri bilmesi gerekmektedir.
zk-SNARK'ların temel uygulama prensibi aşağıdaki adımları içerir:
Güvenilir ayarlar oluşturma, kanıt anahtarı ve doğrulama anahtarı dahil.
zk-SNARKs oluşturun ve doğrulayın
Bu süreç, zk-SNARKs'in bütünlüğünü, güvenilirliğini ve sıfır bilgi niteliğini sağlar. Her aşamanın sürekli olarak optimize edilmesiyle, zk-SNARK teknolojisi pratiklik açısından önemli ilerlemeler kaydetmiştir.
![HashKey ZK 101 İlk Dönem: Tarihsel İlkeler ve Sektör])https://img-cdn.gateio.im/webp-social/moments-264bb4794c44616e81f149e535302d5a.webp(
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.
20 Likes
Reward
20
5
Share
Comment
0/400
CryptoCrazyGF
· 07-02 04:21
Kabak çekirdeği yerken kriptografi öğrenmek
View OriginalReply0
RuntimeError
· 07-02 04:10
Eh, bu l2'nin eski hali değil mi?
View OriginalReply0
ChainSherlockGirl
· 07-02 04:09
Ahah～Veri ifşa meraklısı geliyor, bu sıfır bilgi ile zengin olma hikayesi tam anlamıyla bir kripto dünyası Büyük Yatırımcılar görünmez yolu. Herkes sakin olsun, yavaş yavaş anlatayım.
View OriginalReply0
AllTalkLongTrader
· 07-02 04:09
L2 ölçeklenmesini destekliyor! Bu şey tam anlamıyla harika!
Sıfır Bilgi Kanıtı Teknolojisinin Evrimi: Teoriden zk-rollup Ölçeklenebilirlik Uygulamalarına
zk-SNARKs teknolojisinin gelişimi ve uygulamaları
zk-SNARKs'in Tarihsel Gelişimi
zk-SNARKs(ZKP), önemli bir kriptografi teknolojisi olarak, modern teorik sistemi 1985 yılında Goldwasser, Micali ve Rackoff'un yayımladığı öncü makale ile başlamıştır. Bu makale, etkileşimli kanıt sistemlerinde, 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. Eğer sıfır bilgi alışverişi yapılabiliyorsa, buna sıfır bilgi kanıtı denir.
Erken dönem zk-SNARKs sistemleri pratiklik açısından yetersizdi ve esasen teorik düzeyde kalıyordu. Son 10 yıl içinde, kriptografinin kripto para alanında yaygın şekilde uygulanmasıyla birlikte, zk-SNARKs teknolojisi gelişmeye başladı ve önemli bir araştırma yönü haline geldi. Bu süreçte, genel, etkileşimsiz ve kanıt boyutu küçük zk-SNARKs protokollerinin inşası temel hedeflerden biri olmuştur.
Sıfır Bilgi Kanıtlarının ana突破 noktası, Groth'un 2010 yılında ortaya koyduğu zk-SNARK teorisidir. 2015 yılında, Zcash sıfır bilgi kanıtlarını işlem gizliliğini korumak için uygulamış ve ZKP'nin blockchain alanındaki pratik uygulamasını başlatmıştır. Bunun ardından, zk-SNARK, akıllı sözleşmelerle birleştirilerek uygulama senaryolarını daha da genişletmiştir.
Bu süreçteki bazı önemli akademik bulgular şunlardır:
Ayrıca, PLONK, Halo2 gibi teknolojilerin ortaya çıkması zk-SNARK'lara daha fazla iyileştirme getirmiştir.
zk-SNARKs'ın Ana Uygulamaları
zk-SNARKs şu anda en yaygın iki uygulama alanı gizlilik koruma ve blok zinciri ölçeklenmesidir.
Gizlilik koruma açısından, Zcash, Monero gibi gizli işlem projeleri erken dönemde ortaya çıktı. Gizli işlemlerin gerekliliği beklenenin altında kalmış olsa da, yine de belirli bir piyasa konumunu korumaktadır. Ölçeklenme açısından, Ethereum'un rollup merkezli ölçeklenme yoluna geçmesiyle birlikte, ZKP tabanlı ölçeklenme çözümleri yeniden sektördeki odak noktası haline geldi.
gizli işlem
Gizli işlemler için birden fazla olgun proje bulunmaktadır, bunlar arasında:
Zcash örneğinde, zk-SNARK işlem süreci şunları içerir: sistem kurulumu, anahtar oluşturma, madencilik, transfer, doğrulama ve alma gibi adımlar. Ancak, Zcash UTXO modeline dayandığı için gizlilik korumasında belirli sınırlamalar vardır ve gerçekten gizli işlemler kullananların oranı oldukça düşüktür.
Buna karşılık, Tornado Cash tek bir büyük karıştırma havuzu kullanarak daha iyi bir evrensellik sunmaktadır. Ethereum ağında temel işlevlerin gizliliğini sağlamak için zk-SNARK teknolojisini kullanarak para yatırma, çekme gibi önemli işlevleri gerçekleştirmektedir.
ölçeklendirme uygulamaları
ZKP'nin ölçeklenebilirlikteki uygulamaları esas olarak zk-rollup olarak kendini gösterir. Temel fikir, çok sayıda işlemi paketlemek, bir zk-SNARKs oluşturmak ve ardından bu kanıtı ana zincirde doğrulayarak durumu güncellemektir.
zk-rollup'un başlıca avantajları arasında: düşük maliyet, hızlı nihai onay, gizliliği koruma gibi özellikler bulunmaktadır. Ancak, büyük hesaplama yükü, güvenilir ayarlara ihtiyaç gibi zorluklar da mevcuttur.
Şu anda piyasadaki başlıca zk-rollup projeleri arasında: StarkNet, zkSync, Aztec Connect, Polygon Hermez/Miden, Loopring, Scroll gibi projeler bulunmaktadır. Bu projeler, teknik yol haritalarında esas olarak SNARK/STARK seçimleri ve EVM destek seviyeleri etrafında rekabet etmektedir.
EVM uyumluluğu önemli bir konudur. Bazı projeler tamamen Solidity opcode'ları ile uyumlu olmayı tercih ederken, diğerleri ZKP dostu ve Solidity uyumlu yeni sanal makineler tasarlamaktadır. Son zamanlarda EVM uyumluluğundaki hızlı ilerleme, geliştiricilere daha rahat bir geçiş yolu sağlamış ve bu da ZKP ekosisteminin rekabet ortamını etkileyecektir.
zk-SNARKs'ın Temel Prensibi
zk-SNARK, şu anda en yaygın kullanılan zk-SNARKs teknolojilerinden biridir. Tam adı "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge" (, aşağıdaki özelliklere sahiptir:
zk-SNARK'ların temel uygulama prensibi aşağıdaki adımları içerir:
Bu süreç, zk-SNARKs'in bütünlüğünü, güvenilirliğini ve sıfır bilgi niteliğini sağlar. Her aşamanın sürekli olarak optimize edilmesiyle, zk-SNARK teknolojisi pratiklik açısından önemli ilerlemeler kaydetmiştir.
![HashKey ZK 101 İlk Dönem: Tarihsel İlkeler ve Sektör])https://img-cdn.gateio.im/webp-social/moments-264bb4794c44616e81f149e535302d5a.webp(