За даними Odaily Planet Daily, співзасновник Ethereum нещодавно опублікував «Бініус: Ефективний доказ бінарних полів». У статті стверджується, що SNARK спирається на «арифметизацію», метод перетворення операторів програми в рівняння, що містять поліноми (і іноді вектори та матриці). Щоб утримувати числа в межах розумного розміру, «арифметику» потрібно виконувати на структурах, які називаються «кінцевими полями». У реальних програмах більшість чисел дуже малі, і якщо поле велике, «додаткові» значення, згенеровані під час обчислення доказу, будуть набагато більшими, що є ключовим джерелом неефективності. Plonky2 і подібні протоколи підвищують ефективність, зменшуючи розмір поля з 256 біт до 64 або 31 біт. Але було б ефективніше використовувати двійкові поля безпосередньо. Двійкові поля є математичною структурою з багатьма унікальними властивостями, що є захоплюючим способом їх створення, що додає ще більше переваг.
Переглянути оригінал
Співзасновник Ethereum пише про ефективне підтвердження бінарних полів
![](https://public.bnbstatic.com/image/pgc/202211/ff39a105a210ecd0a61407a69ad82dbd.jpg)
--・3.3k views
Відмова від відповідальності: контент містить думки третіх сторін і не є фінансовою порадою. Перегляньте Правила та умови.
0