Ethereum’un kurucularından biri olan Vitalik Buterin, önümüzdeki aylarda ikili alan tabanlı kanıt tekniklerinde “birçok daha fazla iyileştirme” beklediğini belirtti.
Ethereum’un kurucularından biri olan Vitalik Buterin, sıfır bilgi kanıtları için daha büyük verimlilik sağlamayı hedefleyen yeni bir kriptografik kanıt sistemi olan “Binius” hakkında konuştu.
29 Nisan’da bir blog yazısında, Buterin, “Binius” adı verilen ikili alanlar üzerinde son derece verimli kriptografik kanıtlar için bir sistem açıkladı. Bu sistem, geleneksel kanıt sistemleri olan zk-SNARK’lar gibi sistemlere kıyasla önemli performans kazanımları sağlamayı amaçlıyor.
Binius, daha büyük sayılar yerine bireysel ikili bitler – sıfırlar ve birler – üzerinde doğrudan hesaplamalar yaparak daha büyük bir verimlilik elde etmeyi hedefliyor.
Sistemin motivasyonu, SNARK’lar (Succinct Non-Interactive Argument of Knowledge) ve STARK’lar (Scalable Transparent Argument of Knowledge) gibi geleneksel kriptografik kanıt sistemlerinin genellikle 64-bit veya 256-bit gibi daha büyük sayılarla çalışmasından kaynaklanıyor.
Ancak, işlenen temel veriler genellikle sayaçlar, indisler ve mantıksal bayraklar gibi küçük değerlerden oluşur. Buterin’e göre, Binius, bu verileri doğrudan bitler üzerinde işleyerek daha verimli bir şekilde işleyebilir.
Buterin’e göre, yeni kanıt sistemi, verileri bitlerin çok boyutlu bir “hiperküp” olarak temsil etme ve bitler ve bit dizileri üzerinde verimli aritmetik işlemlere izin vermek için ikili “sonlu alanlar” kullanma gibi iyileştirmeler sunmaktadır.
Ayrıca, bit düzeyindeki verileri “polinom” işleme ve Merkle kanıtları için uygun bir forma dönüştüren özel bir kodlama ve kod çözme işlemi kullanırken, ikili sistemde çalışmanın verimlilik avantajlarını korur.
Bu ikili sistem, kriptografik kanıt sistemlerinin temel aritmetiği için önemli iyileştirmeler sağlar ve karmaşık kripto uygulamalarını daha verimli ve ölçeklenebilir hale getirir.
Polinomlar, sıfır bilgi sağlaması nedeniyle sıkça kullanılır. Bu, kanıtların doğrulanması için altta yatan bilgileri ifşa etmeden verileri ve hesaplamaları kodlama yeteneği sağlar.
Buterin, Binius protokolünü, verileri nasıl kodladığını, kanıtların nasıl üretildiğini ve doğrulayıcıların bu kanıtları verimli bir şekilde kontrol edebilmesini göstermek için bu makalenin kapsamının ötesinde karmaşık matematikle sundu.
Bu kavram, ilk olarak 2023 yılında “Succinct Arguments over Towers of Binary Fields” başlıklı bir beyaz kağıtta kriptograflar Benjamin E. Diamond ve Jim Posen tarafından önerilmiştir.
Genel olarak, Binius, özellikle küçük değerler ve bit düzeyi operasyonlarını içeren hesaplamalar için daha geleneksel kanıt sistemleri üzerinde önemli performans kazanımları sağlamayı hedefliyor.
“Önümüzdeki aylarda ikili alan tabanlı kanıt tekniklerinde birçok daha fazla iyileştirme bekliyorum,” diye sonuçlandı Buterin.