Ekim ayındaki gönderimizde, açık kaynaklı ZK araştırmasını ilerletme taahhüdümüzü paylaştık. O zamandan beri 2 ana cephede muazzam ilerleme kaydettik: zkTree ve… bugün, Polymer'in tüm büyük zincirlerde IBC'yi optimize eden çözümü zkMint'i sunmaktan heyecan duyuyoruz.

Bağlam ve Arka Plan

En son makalemizde Polymer gibi bir IBC taşıma merkezi üzerinden çok sekmeli IBC'nin IBC taşıma katmanını Ethereum'a ve onun toplama ekosistemine nasıl getirebileceğini gösterdik. IBC'yi Ethereum'a getirmek için EVM'de Tendermint fikir birliğini kanıtlayabilmemiz gerekiyor.

Genel olarak, daha merkezi çözümler yerine mutabakat kanıtlarını doğrulamaya yönelik endüstri çapında bir geçiş olmuştur . Bu, durum katmanındaki güven varsayımlarını geliştirir. Ancak, zincir üzerinde mutabakat kanıtlarını doğrulamanın 2 temel zorluğu vardır:

1. Bir karşı taraf zincirinin durumunu doğrulamak için verimli hafif istemci algoritmaları var mı?
2. Doğrulamanın zincir üstü gaz maliyetleri pratik mi?

Yolculuk

zkMint'e giriş yapmadan önce ekibimiz, EVM'de Tendermint mutabakatını kanıtlama sorununa yönelik birkaç olası çözümü değerlendirdi.

İlk yaklaşımımız, zincir üzerinde Tendermint mutabakatını doğrudan doğrulamaktı. Sağlamlıkta bir Tendermint hafif istemci uygulaması mevcut olsa da , gaz maliyetleri nedeniyle pratik değildir. Bitişik olmayan başlık doğrulaması, başlık başına 26 milyondan fazla gaza mal olur.

Daha sonra, tendmint light istemci algoritmasının imza şemasını daha EVM dostu olacak şekilde optimize etmeye çalıştık. ed25519 imzalarını secp256k1 imzalarıyla değiştirerek gaz maliyetlerini başlık başına 1,3 milyon gaza indirmeyi başardık. Bu güzel bir gelişmeydi ama yine de pratik olmak için yeterli değil.

Ek olarak, eşik imzalarını ve BLS m-of-n imza toplamasını değerlendirdik. İmzalama algoritması, bu seçeneği dışlayan eşik imzalarında imza kümesinin boyutuyla son derece zayıf bir şekilde ölçeklendi. Her imza için Polimer onaylayıcılarımızın küçük bir alt kümesinin kullanılmasını zorunlu kılıyordu. Şu anda mevcut olmayan EVM BLS ön derlemeleri ile zincir üzerinde doğrulama çok pahalıdır. BLS imza toplamanın kullanılması, her imzalayanın oylama gücünün eşit olmasını da gerektiriyordu. Bu, kaçınmak istediğimiz bir şey olan CosmosSDK staking modülü değişikliklerini gerektirecekti.

Son olarak, sıfır bilgi kanıtlarını kullanmaya baktık. Tendermint hafif istemci algoritmasını bir devreye dönüştürmekle ilgili zorluklar vardı. Varsayılan algoritma, protobuf serileştirme, birkaç merkle kanıtı dahil etme kontrolü, merkle kökü hesaplamaları ve ek malzeme değişiklikleri gerektirir. Bunun yerine, Tendermint'in mutabakat algoritmasını SNARK dostu olacak şekilde değiştirerek zkMint adını verdiğimiz şeyi oluşturduk. Bu, ~%98,8'lik önemli bir optimizasyon olan 300 bin gazın zincir üstü maliyetiyle sonuçlandı.

zkMint: Cosmos ve Ethereum'u Bağlamanın Çözümü

zkMint, Polymer'in çoklu imzalı Tendermint BFT konsensüs motorudur ve konsensüs turu başına birden çok imzalı başlık üretebilir. Polymer, zkMint ile Polymer'in bağlandığı herhangi bir yürütme ortamı için başlık formatını optimize edebilir. Örneğin, EVM'ye bağlanırken zkMint, bn128 gibi EVM dostu olan eliptik bir eğri seçebilir. zkMint aynı zamanda Polymer'ın hali hazırda vahşi ortamda dağıtılan hafif istemcilerle geriye doğru uyumlu olmasını da sağlar . Polymer gibi bir IBC taşıma merkezi için mutabakat motorunun , zkMint'i ideal çözüm haline getiren çeşitli yürütme hedeflerine uyarlanması gerekir .

Polymer'ın yakında yayınlayacağı zkMint teknik incelemesini takip edin. Belge, Tendermint BFT konsensüsüne genel bir bakış ve çoklu imzalı Tendermint'in güvenliğine ilişkin resmi kanıtlar içermektedir. Ayrıca, kurucu ortağımız Bo Du'yu 27 Şubat günü saat 12:20'de #BuidlHUB ​​Mainstage'de ETH Denver'da zkMint'i sunarken bulabilirsiniz.

Polimer Hakkında

Polimer , ilk modüler IBC ağ protokolüdür. Polimer zinciri, hafif istemci durum kanıtı doğrulamasına dayalı güveni en aza indirilmiş bir mimariyle tüm entegre zincirlerde ZK-IBC bağlantısını etkinleştirecektir. Polymer, öncelikle bir açık kaynaklı, topluluk tarafından geliştirilen ve sürdürülen endüstri standardı olan IBC x Polymer ile bağlanan çok zincirli bir geleceğe inanıyor.

Twitter'ımızı takip edin , Web sitemizi ziyaret edin ve Discord'daki topluluğumuza katılın !