Vitalik Buterin, sıfır bilgi kanıtlarını hızlandırmanın bir yolu olarak ‘Binius’u parçalıyor

Deneyimli bir kriptografi analisti olarak Vitalik Buterin’in Binius adlı yeni bir sistem için yaptığı son teklif ilgimi çekti. Kriptografik kanıt sistemlerine yönelik bu yenilikçi yaklaşım, özellikle küçük değerlerin ve bit düzeyindeki işlemlerin ele alınması söz konusu olduğunda verimlilikte önemli iyileştirmeler sağlama potansiyeline sahiptir.


Bir kriptanaliz uzmanı olarak, Ethereum’un parlak kurucu ortağı Vitalik Buterin’in bazı ilgi çekici görüşlerini paylaşmak istiyorum. Yakın zamanda sıfır bilgi kanıtlarının verimliliğini artırmak için tasarlanmış yeni bir kriptografik kanıtlama sistemi planlarını açıkladı. Bu yenilik, blockchain ağlarındaki işlemleri doğrulama yöntemimizde potansiyel olarak devrim yaratarak onları daha hızlı ve daha güvenli hale getirebilir.

Bir analist olarak 29 Nisan’da yayınlanan bir blog yazısında Binius’tan bahsettim. Bu yazıda Binius’un ikili alanları kullanarak yüksek verimli kriptografik kanıtlar oluşturmaya yönelik nasıl yeni bir sistem olduğunu açıkladım. Bu sistem, zk-SNARK’lar gibi geleneksel kanıt sistemlerinden daha iyi performans göstererek önemli performans kazanımları sağlayacak şekilde tasarlanmıştır.

Binius, daha büyük sayısal değerlerle uğraşmak yerine doğrudan sıfırlardan ve birlerden oluşan ikili rakamlar veya bitler üzerinde hesaplamalar gerçekleştirerek verimliliği artırmaya çalışır.

Bu sistemin ilham kaynağı, 64 bit veya 256 bit sayılar gibi daha büyük tamsayı boyutlarını işleyebilen SNARK’lar (Etkileşimli Olmayan Kısa Bilgi Argümanları) ve STARK’lar (Ölçeklenebilir Şeffaf Bilgi Argümanları) gibi gelişmiş şifreleme yöntemlerinden gelir.

Veri işleme yöntemleri üzerinde çalışan bir araştırmacı olarak, temeldeki verilerin önemli bir kısmının sayaçlar, endeksler ve boole bayrakları gibi küçük değerlerden oluştuğunu fark ettim. Ancak Vitalik Buterin’e göre Binius’un doğrudan bitlerle çalışarak bu tür verileri daha verimli bir şekilde işleyebileceğini keşfettim.

Vitalik Buterin, sıfır bilgi kanıtlarını hızlandırmanın bir yolu olarak 'Binius'u parçalıyor

Buterin, en son kanıtlanmış sistemin, verileri karmaşık bir bit “hiperküpü” olarak temsil etme biçiminde iyileştirmeler sunduğunu ve birden çok boyutta karmaşık düzenlemelere olanak sağladığını açıklıyor. Ek olarak, bireysel bitler ve bit dizileri üzerinde kolaylaştırılmış aritmetik hesaplamalar için ikili “sonlu alanlar”ı kullanır.

Bu yöntem, bit düzeyindeki bilgiyi “polinom” hesaplamaları ve Merkle kanıtlarıyla uyumlu bir forma dönüştüren benzersiz bir kodlama ve kod çözme sistemi kullanır ve aynı zamanda ikili olarak çalışmanın avantajlarını korur.

İkili sistem, kriptografik kanıt sistemlerinin ardındaki temel matematikteki önemli ilerlemelerin anahtarını elinde tutuyor ve daha karmaşık kripto uygulamalarının daha verimli çalışmasına ve daha büyük iş yükleriyle başa çıkmasına olanak tanıyor.

Sıfır bilgi kanıtlarında polinomlar, verileri kodlamak ve hesaplama adımları için temel araçlar olarak hizmet eder. Bu işlevleri kullanarak, gizli bilgileri gizli tutarken delillerin geçerliliğini doğrulamak mümkün hale gelir. Bu başarılır çünkü doğrulama süreci girdi verilerinin kendisinden ziyade yalnızca polinom fonksiyonlarının çıktısına odaklanmaktadır.

Buterin, Binius protokolünün inceliklerini, bu tartışmanın kapsamını aşan gelişmiş matematiksel kavramları kullanarak açıkladı. Bu protokolün verileri nasıl kodladığını, doğrulanabilir kanıtlar ürettiğini ve bu kanıtların doğrulayıcılar tarafından etkili bir şekilde kontrol edilmesini sağladığını gösterdi.

Kriptograflar Benjamin E. Diamond ve Jim Posen, 2023 tarihli “İkili Alan Kuleleri Üzerine Kısa Argümanlar” adlı teknik incelemelerinde bu fikri ilk kez ortaya attılar.

Binius, özellikle daha küçük değerli hesaplamalar ve karmaşık bit düzeyindeki işlemlerle uğraşırken, geleneksel kanıt sistemleriyle karşılaştırıldığında performansta önemli iyileştirmeler elde etmeyi amaçlıyor.

Buterin, deliller için ikili alanları kullanan tekniklerde önemli ilerlemelerin önümüzdeki aylarda ortaya çıkmaya devam edeceğini öngördü.

2024-05-01 09:06