Vitalik, Ethereum için ZK kanıtlarını 'anlaşılır' hale getirmenin gerekli olduğunu söylüyor

Ethereum kurucu ortağı Vitalik Buterin 26 Ekim'de tweet attı; sıfır bilgi kanıtlarını (ZKP'ler) insanlar için "anlaşılabilir ve erişilebilir" hale getirmek, Ethereum ekosistemini matematik diploması olmayan insanlara "açık ve misafirperver" tutmak için gerekli.

ZKP'lere karmaşıklıklarından dolayı sıklıkla "ay matematiği" adı verilir.

Buterin şunu ekledi: "Merkeziyetsizlik pes etmemeyi ve "bu bir kara kutu, biz akıllıyız, bize güvenin" diyerek doktora derecesini sallamamayı gerektirir."

Sıfır bilgi katmanı 2 Ethereum ölçeklendirme çözümü olan Scroll, bir makalede açıklanmıştır. blog Çeşitli ZKP'lerin kritik bir parçası olan polinom taahhüt planlarının nasıl çalıştığını ve Ethereum'un ölçeklendirilmesine nasıl yardımcı olabileceklerini.

Polinomlar ikiden fazla cebirsel terimi temsil eden matematiksel ifadelerdir. Scroll bloguna göre polinomlar büyük verilerin verimli bir şekilde temsil edilmesine yardımcı olabilir.

Taahhüt şeması, kişinin bir mesajı taahhüt ettiği ve onu gizli tuttuğu ancak mesajı daha sonra açığa çıkarabildiği bir şifreleme protokolüdür. Ancak taahhütte bulunan kişi, taahhütte bulunduktan sonra mesajı değiştiremez, bu da taahhüt planlarını bağlayıcı hale getirir.

Bir polinom taahhüt şemasında, kişi bir mesaj yerine bir polinom taahhüt eder. Polinom taahhüt şeması normal taahhüt şemalarının tüm özelliklerini karşılar. Ancak taahhüt edenin, polinomun kendisini açıklamadan gerekli özellikleri karşılayan belirli bir polinomu taahhüt ettiğini kanıtlamasına olanak tanıyan ek bir özelliği vardır.

Ethereum'u Ölçeklendirmede KZG

Farklı polinom taahhüt şemaları olsa da, Kate-Zaverucha-Goldberg (KZG) blockchain alanında popülerdir ve Scroll'un kanıt sistemleri tarafından kullanılır. KZG'nin ayrıca Proto-Danksharding ile Ethereum'a entegre edilmesi planlanıyor. EIP-4844Şubat 2022'de önerildi.

Proto-Danksharding, toplamaların kullanımını daha ucuz hale getirebilecek Danksharding uygulanıncaya kadar geçici bir çözümdür. Proto-Danksharding, "blob taşıma işlemi" adı verilen yeni bir işlem türünü tanıtıyor. Bu işlemler, Ethereum yürütme katmanından erişilemeyen 128 kb'lik bir veri bloğu taşır. Bunun yerine Ethereum'dan yalnızca veri bloğuna yönelik taahhütlere erişilebilecek.

Veri bloğu bir polinom olarak temsil edilir ve verilere yönelik bir taahhüt oluşturmak için KZG polinom taahhüt şeması kullanılır. Bu, veri blobunun özelliklerinin, veri blobunun tamamını açığa çıkarmadan doğrulanmasına olanak tanır.

Bu nedenle KZG'nin kullanımı, tam Danksharding'e giden yolda uygulanacak olan veri kullanılabilirliği örneklemesini (DAS) mümkün kılabilir. DAS, temel olarak doğrulayıcıların veri bloğunun tamamını okumak zorunda kalmadan veri bloğunun kullanılabilir ve doğru olduğundan emin olmalarını sağlar.

Bu da doğrulayıcıların daha az veriyle uğraşması gerektiğinden Ethereum'un ölçeklenebilirliğini artırmaya önemli ölçüde yardımcı olabilir.

Kaynak: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/