Віталік Бутерін розкриває «Бініус» як спосіб прискорити докази з нульовим знанням

Співзасновник Ethereum Віталік Бутерін обговорив нову систему криптографічного підтвердження, яка має на меті досягти більшої ефективності підтвердження з нульовим знанням.

У дописі в блозі від 29 квітня Бутерін пояснив систему для високоефективного криптографічного підтвердження над двійковими полями під назвою «Binius», яка має на меті забезпечити значний приріст продуктивності в порівнянні з традиційними системами підтвердження, такими як zk-SNARK.

Binius прагне досягти більшої ефективності, виконуючи обчислення безпосередньо над окремими двійковими бітами — нулями та одиницями — замість великих чисел.

Мотивація системи походить від традиційних криптографічних систем доказів, таких як SNARK (стислий неінтерактивний аргумент знань) і STARK (масштабований прозорий аргумент знань), які працюють з більшими числами, такими як 64-бітні або 256-бітні цілі числа.

Базові дані, що обробляються, часто складаються з невеликих значень, таких як лічильники, індекси та логічні прапорці, однак, оперуючи безпосередньо бітами, Binius може обробляти ці дані більш ефективно, сказав Бутерін.

За словами Бутеріна, нова система перевірки пропонує такі вдосконалення, як представлення даних у вигляді багатовимірного «гіперкуба» бітів і використання бінарних «кінцевих полів», щоб забезпечити ефективні арифметичні операції над бітами та бітовими послідовностями.

Він також використовує спеціальний процес кодування та декодування, який перетворює дані бітового рівня у форму, придатну для «поліноміальної» обробки та доказів Merkle, зберігаючи переваги ефективності роботи в двійковому форматі.

Двійкова система відкриває значні покращення для основної арифметики систем криптографічного підтвердження, що робить складні додатки для криптовалют більш ефективними та масштабованими.

Поліноми часто використовуються в zk-доказах для кодування даних і обчислень у спосіб, який дозволяє перевіряти докази без розкриття основної інформації, отже, термін «нульове знання».

Бутерін продемонстрував протокол Binius зі складною математикою, що виходить за рамки цієї статті, щоб показати, як він кодує дані, генерує докази та дозволяє верифікаторам ефективно перевіряти ці докази.

За темою: ZK-докази створюють проблеми безпеки для розробників

Концепція спочатку була запропонована криптографами Бенджаміном Е. Даймондом і Джимом Позеном у технічному документі 2023 року під назвою «Стислі аргументи над вежами бінарних полів».

Загалом Binius прагне значно підвищити продуктивність порівняно з більш традиційними системами перевірки, особливо для обчислень, що включають невеликі значення та операції на бітовому рівні.

«Я очікую ще багато покращень у методах перевірки на основі бінарних полів у найближчі місяці», — підсумував Бутерін.