Sıfır Bilgi Kanıtı (ZKP), modern kriptografinin önemli bir parçasıdır. Kanıtlayıcının, doğrulayıcıya herhangi bir yararlı bilgi sağlamadan doğrulayıcıyı bir hipotezin doğru olduğuna ikna etme becerisini ifade eder.
**Sıfır bilgi kanıtı, temelde iki veya daha fazla tarafı içeren bir anlaşmadır, yani iki veya daha fazla tarafın bir görevi tamamlamak için ihtiyaç duyduğu bir dizi adımdır. **Kanıtlayıcı, doğrulayıcıya ispatlar ve doğrulayıcıyı belirli bir mesajı bildiğine veya taşıdığına inandırır, ancak ispat sürecinde doğrulayıcıya kanıtlanmış mesajla ilgili herhangi bir bilgi vermez. Meslekten olmayan bir ifadeyle, kanıtlayıcı yalnızca kanıtlamak istediğini kanıtlamakla kalmaz, aynı zamanda doğrulayıcıya "sıfır" bilgiyi de ifşa eder.
Daha fazla sıfır bilgi kanıtı kavramını ortaya koyan birçok Çin materyali zaten var, bu yüzden burada ayrıntılara girmeyeceğim.
Blockchain alanındaki sıfır bilgi kanıtının ana uygulaması
Sıfır bilgi kanıtı teknolojisinin iki önemli özelliği, blockchain alanındaki uygulamasının ana faktörleridir:
**Sıfır bilgi kanıtı, veri bilgilerini ifşa etmeden verilerin gizliliğini koruyabilir ve geçerliliğini kanıtlayabilir. **
**Sıfır bilgi kanıtı, az miktarda kanıt oluşturarak büyük miktarda veriyi kanıtlayabilir, bu da veri miktarını sıkıştırmada ve performansı artırmada önemli bir rol oynar. **
Bu nedenle, sıfır bilgi kanıtının iki yönü şunlardır: gizlilik koruması ve blok zinciri genişletme. Aşağıdakiler sırasıyla açıklanmıştır:
Gizlilik koruması
Gizlilik koruması, dağıtılmış bir ağdaki işlemleri ve katılımcıları koruma yeteneğini temsil eden blok zincirinde her zaman son derece önemli bir kavram olmuştur.
Blockchain her zaman anonimliği savunmuştur, katılımcıların çoğu işlemde gerçek adlarını kullanmaları gerekmez, ancak işlem tanımlayıcıları olarak işlem yapanları tanımlamak için ortak anahtar karmalarını yeniden kullanabilirler. Ancak, bu işlemler gerçekten anonim olmaktan ziyade takma adla yapılır. Varsayılan olarak, bir kullanıcının her işlemi herkese açıktır ve bir kullanıcının adresi kilitlendiğinde, fonların kaynağını incelemek, pozisyonun konumunu hesaplamak ve hatta kullanıcının zincir üzerindeki faaliyetlerini analiz etmek için kullanılabilir.
Sıfır bilgi kanıtı teknolojisi, herhangi bir bilgi ifşa etmeden kanıtlar sunarak işlemlerin geçerliliğini doğrulayabilir ve işlem bilgilerinin tamamen anonimleştirilmesini gerçekleştirebilir. Gizlilik konularını vurgulayan şifrelemenin geliştirme aşamasında, birçok geliştirici kendini özel halka açık zincirleri keşfetmeye adamıştır. Sıfır bilgi kanıtının gizlilik koruması ve veri sıkıştırma yetenekleri, halka açık bir zincir bileşen teknolojisi haline gelmenin ana nedenleridir. Bu süre zarfında Zcash ve Monero gibi projeler olağanüstü sonuçlar elde etti. Zcash'i örnek alan Zcash, başlangıçta Pinokyo protokolünü benimsedi ve 2019'da Groth16 ispat sistemine geçti.
Zcash cüzdan adresleri, gizli adresler ve şeffaf adresler olarak ikiye ayrılır. Şeffaf adresler arasındaki işlemler, Bitcoin (BTC) işlemlerinden farklı değildir: gönderen, alıcı ve işlem tutarı herkes tarafından görülebilir; gizli adresler arasındaki işlemler de genel blok zincirinde görünür, ancak işlemin adresi , fon tutarı ve not alanları şifrelenir ve zk-SNARK, ağ mutabakat kurallarına göre işlemin geçerliliğini kanıtlayacaktır, ayrıca gizli adresler ile şeffaf adresler arasında da işlemler yapılabilir.
Zcash, işlem gizliliğini korurken denetim ve düzenleme dostudur. Gizli adresli bir işlemin göndericisi ve alıcısı, işlem ayrıntılarını tanıklık, uyumluluk veya denetim ihtiyaçları için üçüncü taraflara ifşa edebilir.
Ölçeklenebilirlik
"İmkansız üçgen", Ethereum gibi L1 blok zincirlerinin karşılaştığı ebedi bir sorundur. Farklı zincirler her zaman ademi merkeziyet, güvenlik ve ölçeklenebilirlik arasında bir denge bulur.
Ethereum daha çok ademi merkeziyetçilik ve güvenliğe odaklanır, bu nedenle ölçeklenebilirlik sınırlamalarıyla yüzleşmek zorundadır. Ethereum'daki yüksek gaz ücretleri ve uzun işlem onay süreleri, kullanıcı deneyimini ciddi şekilde etkiler. Bu nedenle, çekirdek geliştirme ekibi ve topluluğu, çeşitli ölçeklenebilirlik çözümlerini araştırıyor.
Bir blok zincirini ölçeklendirmenin iki yolu vardır:
**L1 blok zincirini, blok boyutunu artırarak veya parçalayarak ölçeklendirin. **Blockchain ağındaki düğümler, nispeten bağımsız birkaç parçaya bölünmüştür.
Tek bir parçanın işleme ölçeği küçüktür ve hatta ağ durumunun yalnızca bir kısmını depolar. Ancak teoride, birden çok parçanın işlemleri paralel olarak işlemesi koşuluyla, tüm ağın verimi artırılacaktır. Ancak bu yaklaşım ademi merkeziyetçiliği feda ediyor.
2. **L1 ağındaki işlemleri L2 katmanına aktarın, L2 işlemleri toplar ve ardından mutabakat için L1 ağına gönderir. **Bu şekilde, işlem başına gas ödemek yerine, işlem grubu başına yalnızca bir kez gas ödersiniz.
Sonuç olarak, gaz maliyetleri tüm işlemler arasında eşit olarak paylaştırılır ve işlem başına maliyet etkin bir şekilde azaltılır. Bu şekilde L1, L2 üzerinde gerçekleştirilen tüm işlemler için mutabakat katmanı haline gelir. L2 ölçeklendirme çözümleri, yerel yönetim ve güvenlikten ödün vermeden L1 ölçeklenebilirlik sorunlarını çözebilir.
Elbette L2 ölçeklendirme çözümü, durum kanalından Plazma'ya ve ardından Toplama'ya geçiş yaşadı. Şu anda Toplama, en genel ve potansiyel L2 çözümüdür.
Toplama, önce zincir dışında karmaşık hesaplamalar ve durum bakımı gerçekleştirmeyi ve ardından sözleşme çağrıları aracılığıyla daha ucuz CALLDATA kullanarak zincirdeki durum değişiklikleriyle ilgili verileri kaydetmeyi ve çok sayıda işlemi tek bir işlemde özetleyip paketlemeyi ve son olarak TPS'yi iyileştirmeyi ifade eder. veri kullanılabilirliğini sağlama öncülünde.
Toplama çözümlerinin ortak paydası, zincir üstü verilerin kullanılabilirliğine yapılan vurgudur. Diğer bir deyişle, herkes zincirde kaydedilen verilere dayalı olarak küresel durumu geri yükleyebilir ve böylece veri kullanılabilirliği sorunlarından kaynaklanan güvenlik risklerini ortadan kaldırabilir.
Hesaplama miktarını zincir üzerinde sıkıştırmanın yanı sıra sıfır bilgi ispatının bir diğer yönü de verilerin doğruluğunu sağlamaktır.
ZK Toplama çözümü 2018'in ikinci yarısında başladı. Bu çözümün anahtarı ZK'dır. Her ZK Toplama çözümünün durum değişikliği, ana zincirdeki bir sözleşme tarafından sağlanan ve doğrulanan sıfır bilgi kanıtı gerektirir.
Durum yalnızca doğrulanırsa değiştirilebilir. Yani, ZK Rollup'ın durum değişiklikleri kesinlikle kriptografik kanıtlara bağlıdır. (Not: ZK Toplama ilkesinin ayrıntılı açıklaması için lütfen Li Hua'nın "A Clear Perspective on Layered and Cross-chain Methods" bölümüne bakın)
Tabii ki, 2019'un ikinci yarısında oluşan iyimser toplama gibi başka toplama çözümleri de var. Her durum değişikliğinin titiz bir şekilde doğrulanmasını gerektirmez.
Önce iyimser bir tavırla her değişikliğin doğru olduğunu varsayar ve ardından belirli bir süre içinde değişikliğe meydan okur. Meydan okuma başarılı olursa, önceki gönderimde bir sorun olduğunu kanıtlar, gönderen cezalandırılır ve durum geri alınır.
Yani iyimser Toplama'nın durum değişikliği ekonomik teşviklere ve oyunlara bağlıdır.
ZK Rollup'ın göze çarpan sorunu, programlanabilirliği sağlamanın zor olmasıdır, ancak son iki yıldaki teknolojik gelişme bu darboğazı aşacak gibi görünmektedir ve zkEVM'nin uygulanması programlanabilirliği sağlayabilir; iyimser Rollup'ın en endişe verici konusu, görünüşe göre 2. Katmandan fonlar geri döndüğünde, Meydan okuma dönemindeki gecikmeler nedeniyle, ön ödemeli hizmetler sağlamak için aracılar mevcuttur.
Bu nedenle, iyimser Toplama çözümünün uygulanması daha hızlıdır. Ancak zkEVM daha da fazla potansiyele sahip olabilir.
Sıfır Bilgi Kanıtı Yükselen Yıldız Çözümü
İlk sıfır bilgi kanıtı projelerinde, Zcash ve Monero gizlilik koruması açısından iyi performans gösterseler de, yalnızca bir değer depolama aracı olarak kullanılabilirler ve diğer uygulamalarla işbirliği yapmak zordur.
Yukarıda bahsedildiği gibi, birçok geliştiricinin çabaları sayesinde, sıfır bilgi kanıtı teknolojisinin daha büyük potansiyelini keşfetmek için genel bilgi işlem için kullanılabilir ve akıllı sözleşmelerle birleştirilebilir. Aşağıda, esas olarak bu yıl başlatılan iki proje tanıtılmaktadır.
Aleo: Genel Gizlilik Hesaplama Halka Açık Zinciri
Aleo projesi resmi olarak 2019'da kuruldu ve üyeleri arasında Google, Amazon ve Facebook gibi şirketlerin yanı sıra UC Berkeley, Johns Hopkins, NYU gibi araştırma üniversitelerinden birinci sınıf kriptograflar, mühendisler, tasarımcılar ve operatörler yer alıyor. ve Cornell.
Aleo, kimlikleri ve işlemleri korumak için zkCloud sistemini oluşturdu ve korunan kimlikler birbirleriyle doğrudan etkileşim kurabilir (varlık transferleri gibi) veya akıllı sözleşmeler yoluyla programlanabilir. Tipik bir genel blok zincirinde, programlar her bir ağ düğümü tarafından çalıştırılan küresel bir "sanal makine" (VM) üzerinde yürütülür. Bu nedenle, ağdaki her düğüm, belirli bir programın verimsiz, yavaşlayan ve kullanıcılar için maliyetleri artıran her adımını yeniden hesaplamalı (ve toplu olarak onaylamalıdır). zkCloud, uygulamanın çalışmasını blok zincirinin durum bakımından (zincir üzerinde + zincir dışı) ayırarak, yinelemeli sıfır bilgi kanıtlarıyla birleştirerek, Aleo'nun tam programlanabilirlik ve gizlilik koruması elde etmesini sağlayarak ve daha yüksek işlemle bu sınırlamaları çözer. verim.
Aleo, sıfır bilgi kanıtı uygulama geliştiricileri için daha arkadaş canlısı ve daha iyi bir ortam sağlayan Leo adlı bir programlama dili geliştirdi. Leo, samimi uygulamalar yazmak için tasarlanmış, Rust'tan ilham alan statik olarak yazılmış bir programlama dilidir.
Şu anda, Aleo ağı üç tur testten geçti ve şu anda ekolojinin gelişimine aktif olarak rehberlik ediyor ve toplumu puanlar aracılığıyla ekolojik uygulamaların inşasına katılmaya teşvik ediyor.
Aleo bir halka açık zincirdir ve Prover'ı, sıfır bilgi kanıtı aracılığıyla ağ yapımına katılır. Erken Test3'te, teste 400.000'den fazla grafik kartı katıldı. Bir test ağı olarak, bu çok büyük bir ölçektir. Aleo, başlangıçta bu yılın üçüncü çeyreğinde çevrimiçi olmayı planlıyordu, ancak mevcut duruma göre, üçüncü çeyreğin sonunda veya dördüncü çeyreğin sonunda çevrimiçi olabileceği tahmin ediliyor. Sürekli dikkat.
Kaydırma: EVM'nin zk yerel çözümü
Scroll Tech, Ethereum ile uyumlu bir zk-Rollup oluşturmayı ve güçlü bir kanıt ağı oluşturmayı hedefliyor. Aylar süren keşiflerden sonra önemli teknik ilerleme kaydettiler.
Scroll'un hedefleri şunları içerir:
EVM ile tamamen uyumlu bir zk-Toplaması oluşturun. EVM yürütmesi sırasında her işlem kodunun tutarlılığını ve bütünlüğünü doğrulayarak Ethereum bloklarının doğrudan doğrulanmasını destekler. Bu şekilde, L1 akıllı sözleşmeleri herhangi bir değişiklik yapılmadan sorunsuz bir şekilde Scroll'a taşınabilir.
Katman 2 sertifikasyonunun dış kaynak kullanımını gerçekleştirin ve standartlaştırın. Scroll, doğrulayıcıları kendileri için sıfır bilgi kanıtları oluşturmaya teşvik eden güçlü bir dış kaynak kullanımı mekanizması tasarlar. Scroll ekibi, bu şemayı zincir dışı bilgi işlemin daha geniş alanı için standartlaştırmayı planlıyor. Bu yeni bir kanıt pazarı açacaktır. Geliştiriciler, gaz limitini dikkate almadan Scroll'da karmaşık sözleşmeler uygulayabilir. Birçok yeni uygulama zincir dışı uygulanabilir ve kanıtlar zincir üzerinde sunulur. Bu amaçla ekip ayrıca dünyanın en hızlı GPU'sunu ve ASIC kanıtlayıcısını da oluşturdu. Uzun vadeli hedef, tam ademi merkeziyetçiliğe ulaşmak ve MEV'nin etkisini azaltmaktır.
Yeni bir prova sistemine geçin. Scroll, yeni bir katmanlı sıfır bilgi kanıtı sistemi kullanmayı planlıyor. İlk katman, özel devre optimizasyonu ve donanım açısından verimli kanıt algoritmaları ile verimli bir kanıt oluşturma katmanıdır. İkinci katman, EVM ile uyumlu özlü kanıtlar ve doğrulama algoritmaları içeren verimli bir doğrulama katmanıdır. Mevcut çözümlerle karşılaştırıldığında sistem, gizlilik koruması gibi EVM'den daha büyük programları ve daha fazla işlevi destekleme potansiyeline sahiptir.
Scroll Tech'in bu ilerlemeleri, zk-Rollup ve Layer 2 ölçeklendirme çözümleri alanında önemlidir ve uyumluluk, verimlilik ve merkezsizliğe olan bağlılıklarını gösterir.
Scroll, Alpha testinde çok sayıda uygulamayı birbirine bağlayarak EVM uygulamalarının doğrudan Scroll'a taşınabileceği sözünü gerçekleştirdi. Scroll ana ağının 3 ay içinde piyasaya sürülmesi bekleniyor. Scroll ana ağı başlatıldıktan sonra, herkesin katılması için daha fazla fırsat sağlayacak olan merkezi olmayan bir Prover ağı daha da hayata geçirilecek.
View Original
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
Sıfır bilgi kanıtı teknolojisinin uygulanması
Sıfır Bilgi Kanıtı nedir
Sıfır Bilgi Kanıtı (ZKP), modern kriptografinin önemli bir parçasıdır. Kanıtlayıcının, doğrulayıcıya herhangi bir yararlı bilgi sağlamadan doğrulayıcıyı bir hipotezin doğru olduğuna ikna etme becerisini ifade eder.
**Sıfır bilgi kanıtı, temelde iki veya daha fazla tarafı içeren bir anlaşmadır, yani iki veya daha fazla tarafın bir görevi tamamlamak için ihtiyaç duyduğu bir dizi adımdır. **Kanıtlayıcı, doğrulayıcıya ispatlar ve doğrulayıcıyı belirli bir mesajı bildiğine veya taşıdığına inandırır, ancak ispat sürecinde doğrulayıcıya kanıtlanmış mesajla ilgili herhangi bir bilgi vermez. Meslekten olmayan bir ifadeyle, kanıtlayıcı yalnızca kanıtlamak istediğini kanıtlamakla kalmaz, aynı zamanda doğrulayıcıya "sıfır" bilgiyi de ifşa eder.
Daha fazla sıfır bilgi kanıtı kavramını ortaya koyan birçok Çin materyali zaten var, bu yüzden burada ayrıntılara girmeyeceğim.
Blockchain alanındaki sıfır bilgi kanıtının ana uygulaması
Sıfır bilgi kanıtı teknolojisinin iki önemli özelliği, blockchain alanındaki uygulamasının ana faktörleridir:
Bu nedenle, sıfır bilgi kanıtının iki yönü şunlardır: gizlilik koruması ve blok zinciri genişletme. Aşağıdakiler sırasıyla açıklanmıştır:
Gizlilik koruması
Gizlilik koruması, dağıtılmış bir ağdaki işlemleri ve katılımcıları koruma yeteneğini temsil eden blok zincirinde her zaman son derece önemli bir kavram olmuştur.
Blockchain her zaman anonimliği savunmuştur, katılımcıların çoğu işlemde gerçek adlarını kullanmaları gerekmez, ancak işlem tanımlayıcıları olarak işlem yapanları tanımlamak için ortak anahtar karmalarını yeniden kullanabilirler. Ancak, bu işlemler gerçekten anonim olmaktan ziyade takma adla yapılır. Varsayılan olarak, bir kullanıcının her işlemi herkese açıktır ve bir kullanıcının adresi kilitlendiğinde, fonların kaynağını incelemek, pozisyonun konumunu hesaplamak ve hatta kullanıcının zincir üzerindeki faaliyetlerini analiz etmek için kullanılabilir.
Sıfır bilgi kanıtı teknolojisi, herhangi bir bilgi ifşa etmeden kanıtlar sunarak işlemlerin geçerliliğini doğrulayabilir ve işlem bilgilerinin tamamen anonimleştirilmesini gerçekleştirebilir. Gizlilik konularını vurgulayan şifrelemenin geliştirme aşamasında, birçok geliştirici kendini özel halka açık zincirleri keşfetmeye adamıştır. Sıfır bilgi kanıtının gizlilik koruması ve veri sıkıştırma yetenekleri, halka açık bir zincir bileşen teknolojisi haline gelmenin ana nedenleridir. Bu süre zarfında Zcash ve Monero gibi projeler olağanüstü sonuçlar elde etti. Zcash'i örnek alan Zcash, başlangıçta Pinokyo protokolünü benimsedi ve 2019'da Groth16 ispat sistemine geçti.
Zcash cüzdan adresleri, gizli adresler ve şeffaf adresler olarak ikiye ayrılır. Şeffaf adresler arasındaki işlemler, Bitcoin (BTC) işlemlerinden farklı değildir: gönderen, alıcı ve işlem tutarı herkes tarafından görülebilir; gizli adresler arasındaki işlemler de genel blok zincirinde görünür, ancak işlemin adresi , fon tutarı ve not alanları şifrelenir ve zk-SNARK, ağ mutabakat kurallarına göre işlemin geçerliliğini kanıtlayacaktır, ayrıca gizli adresler ile şeffaf adresler arasında da işlemler yapılabilir.
Zcash, işlem gizliliğini korurken denetim ve düzenleme dostudur. Gizli adresli bir işlemin göndericisi ve alıcısı, işlem ayrıntılarını tanıklık, uyumluluk veya denetim ihtiyaçları için üçüncü taraflara ifşa edebilir.
Ölçeklenebilirlik
"İmkansız üçgen", Ethereum gibi L1 blok zincirlerinin karşılaştığı ebedi bir sorundur. Farklı zincirler her zaman ademi merkeziyet, güvenlik ve ölçeklenebilirlik arasında bir denge bulur.
Ethereum daha çok ademi merkeziyetçilik ve güvenliğe odaklanır, bu nedenle ölçeklenebilirlik sınırlamalarıyla yüzleşmek zorundadır. Ethereum'daki yüksek gaz ücretleri ve uzun işlem onay süreleri, kullanıcı deneyimini ciddi şekilde etkiler. Bu nedenle, çekirdek geliştirme ekibi ve topluluğu, çeşitli ölçeklenebilirlik çözümlerini araştırıyor.
Bir blok zincirini ölçeklendirmenin iki yolu vardır:
Tek bir parçanın işleme ölçeği küçüktür ve hatta ağ durumunun yalnızca bir kısmını depolar. Ancak teoride, birden çok parçanın işlemleri paralel olarak işlemesi koşuluyla, tüm ağın verimi artırılacaktır. Ancak bu yaklaşım ademi merkeziyetçiliği feda ediyor. 2. **L1 ağındaki işlemleri L2 katmanına aktarın, L2 işlemleri toplar ve ardından mutabakat için L1 ağına gönderir. **Bu şekilde, işlem başına gas ödemek yerine, işlem grubu başına yalnızca bir kez gas ödersiniz.
Sonuç olarak, gaz maliyetleri tüm işlemler arasında eşit olarak paylaştırılır ve işlem başına maliyet etkin bir şekilde azaltılır. Bu şekilde L1, L2 üzerinde gerçekleştirilen tüm işlemler için mutabakat katmanı haline gelir. L2 ölçeklendirme çözümleri, yerel yönetim ve güvenlikten ödün vermeden L1 ölçeklenebilirlik sorunlarını çözebilir.
Elbette L2 ölçeklendirme çözümü, durum kanalından Plazma'ya ve ardından Toplama'ya geçiş yaşadı. Şu anda Toplama, en genel ve potansiyel L2 çözümüdür.
Toplama, önce zincir dışında karmaşık hesaplamalar ve durum bakımı gerçekleştirmeyi ve ardından sözleşme çağrıları aracılığıyla daha ucuz CALLDATA kullanarak zincirdeki durum değişiklikleriyle ilgili verileri kaydetmeyi ve çok sayıda işlemi tek bir işlemde özetleyip paketlemeyi ve son olarak TPS'yi iyileştirmeyi ifade eder. veri kullanılabilirliğini sağlama öncülünde.
Toplama çözümlerinin ortak paydası, zincir üstü verilerin kullanılabilirliğine yapılan vurgudur. Diğer bir deyişle, herkes zincirde kaydedilen verilere dayalı olarak küresel durumu geri yükleyebilir ve böylece veri kullanılabilirliği sorunlarından kaynaklanan güvenlik risklerini ortadan kaldırabilir.
Hesaplama miktarını zincir üzerinde sıkıştırmanın yanı sıra sıfır bilgi ispatının bir diğer yönü de verilerin doğruluğunu sağlamaktır.
ZK Toplama çözümü 2018'in ikinci yarısında başladı. Bu çözümün anahtarı ZK'dır. Her ZK Toplama çözümünün durum değişikliği, ana zincirdeki bir sözleşme tarafından sağlanan ve doğrulanan sıfır bilgi kanıtı gerektirir.
Durum yalnızca doğrulanırsa değiştirilebilir. Yani, ZK Rollup'ın durum değişiklikleri kesinlikle kriptografik kanıtlara bağlıdır. (Not: ZK Toplama ilkesinin ayrıntılı açıklaması için lütfen Li Hua'nın "A Clear Perspective on Layered and Cross-chain Methods" bölümüne bakın)
Tabii ki, 2019'un ikinci yarısında oluşan iyimser toplama gibi başka toplama çözümleri de var. Her durum değişikliğinin titiz bir şekilde doğrulanmasını gerektirmez.
Önce iyimser bir tavırla her değişikliğin doğru olduğunu varsayar ve ardından belirli bir süre içinde değişikliğe meydan okur. Meydan okuma başarılı olursa, önceki gönderimde bir sorun olduğunu kanıtlar, gönderen cezalandırılır ve durum geri alınır.
Yani iyimser Toplama'nın durum değişikliği ekonomik teşviklere ve oyunlara bağlıdır.
ZK Rollup'ın göze çarpan sorunu, programlanabilirliği sağlamanın zor olmasıdır, ancak son iki yıldaki teknolojik gelişme bu darboğazı aşacak gibi görünmektedir ve zkEVM'nin uygulanması programlanabilirliği sağlayabilir; iyimser Rollup'ın en endişe verici konusu, görünüşe göre 2. Katmandan fonlar geri döndüğünde, Meydan okuma dönemindeki gecikmeler nedeniyle, ön ödemeli hizmetler sağlamak için aracılar mevcuttur.
Bu nedenle, iyimser Toplama çözümünün uygulanması daha hızlıdır. Ancak zkEVM daha da fazla potansiyele sahip olabilir.
Sıfır Bilgi Kanıtı Yükselen Yıldız Çözümü
İlk sıfır bilgi kanıtı projelerinde, Zcash ve Monero gizlilik koruması açısından iyi performans gösterseler de, yalnızca bir değer depolama aracı olarak kullanılabilirler ve diğer uygulamalarla işbirliği yapmak zordur.
Yukarıda bahsedildiği gibi, birçok geliştiricinin çabaları sayesinde, sıfır bilgi kanıtı teknolojisinin daha büyük potansiyelini keşfetmek için genel bilgi işlem için kullanılabilir ve akıllı sözleşmelerle birleştirilebilir. Aşağıda, esas olarak bu yıl başlatılan iki proje tanıtılmaktadır.
Aleo: Genel Gizlilik Hesaplama Halka Açık Zinciri
Aleo projesi resmi olarak 2019'da kuruldu ve üyeleri arasında Google, Amazon ve Facebook gibi şirketlerin yanı sıra UC Berkeley, Johns Hopkins, NYU gibi araştırma üniversitelerinden birinci sınıf kriptograflar, mühendisler, tasarımcılar ve operatörler yer alıyor. ve Cornell.
Aleo, kimlikleri ve işlemleri korumak için zkCloud sistemini oluşturdu ve korunan kimlikler birbirleriyle doğrudan etkileşim kurabilir (varlık transferleri gibi) veya akıllı sözleşmeler yoluyla programlanabilir. Tipik bir genel blok zincirinde, programlar her bir ağ düğümü tarafından çalıştırılan küresel bir "sanal makine" (VM) üzerinde yürütülür. Bu nedenle, ağdaki her düğüm, belirli bir programın verimsiz, yavaşlayan ve kullanıcılar için maliyetleri artıran her adımını yeniden hesaplamalı (ve toplu olarak onaylamalıdır). zkCloud, uygulamanın çalışmasını blok zincirinin durum bakımından (zincir üzerinde + zincir dışı) ayırarak, yinelemeli sıfır bilgi kanıtlarıyla birleştirerek, Aleo'nun tam programlanabilirlik ve gizlilik koruması elde etmesini sağlayarak ve daha yüksek işlemle bu sınırlamaları çözer. verim.
Aleo, sıfır bilgi kanıtı uygulama geliştiricileri için daha arkadaş canlısı ve daha iyi bir ortam sağlayan Leo adlı bir programlama dili geliştirdi. Leo, samimi uygulamalar yazmak için tasarlanmış, Rust'tan ilham alan statik olarak yazılmış bir programlama dilidir.
Şu anda, Aleo ağı üç tur testten geçti ve şu anda ekolojinin gelişimine aktif olarak rehberlik ediyor ve toplumu puanlar aracılığıyla ekolojik uygulamaların inşasına katılmaya teşvik ediyor. Aleo bir halka açık zincirdir ve Prover'ı, sıfır bilgi kanıtı aracılığıyla ağ yapımına katılır. Erken Test3'te, teste 400.000'den fazla grafik kartı katıldı. Bir test ağı olarak, bu çok büyük bir ölçektir. Aleo, başlangıçta bu yılın üçüncü çeyreğinde çevrimiçi olmayı planlıyordu, ancak mevcut duruma göre, üçüncü çeyreğin sonunda veya dördüncü çeyreğin sonunda çevrimiçi olabileceği tahmin ediliyor. Sürekli dikkat.
Kaydırma: EVM'nin zk yerel çözümü
Scroll Tech, Ethereum ile uyumlu bir zk-Rollup oluşturmayı ve güçlü bir kanıt ağı oluşturmayı hedefliyor. Aylar süren keşiflerden sonra önemli teknik ilerleme kaydettiler.
Scroll'un hedefleri şunları içerir:
Scroll Tech'in bu ilerlemeleri, zk-Rollup ve Layer 2 ölçeklendirme çözümleri alanında önemlidir ve uyumluluk, verimlilik ve merkezsizliğe olan bağlılıklarını gösterir.
Scroll, Alpha testinde çok sayıda uygulamayı birbirine bağlayarak EVM uygulamalarının doğrudan Scroll'a taşınabileceği sözünü gerçekleştirdi. Scroll ana ağının 3 ay içinde piyasaya sürülmesi bekleniyor. Scroll ana ağı başlatıldıktan sonra, herkesin katılması için daha fazla fırsat sağlayacak olan merkezi olmayan bir Prover ağı daha da hayata geçirilecek.