#VitalikButerin Дослідження Binius: швидший підхід до доказів із нульовим знанням
#Ethereum співзасновник #Vitalik Бутерін досліджує "Бініус", новий метод, спрямований на суттєве прискорення доказів із нульовим знанням. Binius зосереджується на ефективності, виконуючи обчислення безпосередньо на двійкових бітах (0 і 1) замість більших чисел, які використовуються в традиційних системах, таких як zk-SNARK. Цей підхід обслуговує часто використовувані типи даних, такі як лічильники та логічні прапорці, що потенційно призводить до швидшого підтвердження.
Binius використовує «бінарні кінцеві поля» для ефективних арифметичних операцій над бітами та використовує багатовимірне представлення даних «гіперкуб». Крім того, він використовує унікальний процес кодування/декодування для підтримки ефективності, уможливлюючи обробку за допомогою поліномів і #Merkle доказів.
Ці досягнення в основній арифметиці системи криптографічної перевірки обіцяють покращену масштабованість і ефективність для складних криптододатків. #zero-knowledge докази часто використовують поліноми, щоб приховати дані та обчислення під час перевірки, забезпечуючи підтвердження лише дійсності доказів, а не основної інформації.
Хоча технічні деталі шифрування Binius і створення доказів виходять за рамки цієї сфери, Бутерін підкреслює його потенціал для значного підвищення швидкості, особливо для обчислень, що включають невеликі значення та операції на рівні бітів. Ця технологія базується на документі Posen and Diamond від 2023 року.
Загалом Binius прагне суттєво перевершити існуючі системи доказів щодо швидкості, прокладаючи шлях для швидших доказів із нульовим знанням у майбутньому. Бутерін очікує подальших удосконалень у «методах перевірки бінарних полів» у найближчі місяці.
