💥🔫 Glock тепер безмитні. Представляємо Duty-Free Bits (DFB): техніку, яка знімає податок на сумісність Bitcoin, що впливає на арифметичне спотворення. БЕЙБ → у 45 разів менша Argo → у 20 разів менший Дослідження з UCLA та UIUC.

Останні статті Argo та BABE показали щось потужне: Верифікація Groth16 може бути виражена як арифметичні обчислення низького ступеня, що дозволяє створювати надзвичайно ефективні спотворені схеми. Це відкриття скоротило перевірку SNARK з 42 ГіБ до десятків МіБ.

Але ці схеми все одно заплатили високу ціну, щоб стати сумісними з Bitcoin. Оскільки біткоїн працює з бітами, елементи поля мали розкладатися на біти, множачи розмір кодування на ~254×.

Duty-Free Bits скасовує цей «податок на зв'язок». Замість ~254× множного наддувного збільшення, він додає лише невеликий накладний витрату. Результати: 👉 КОХАНА: 22,16 MiB → 500 KiB 👉 Argo: 6,8 MiB → 355 KiB

Ця техніка працює для будь-якої арифметичної схеми спотворення з афінними кодуваннями над простими полями. Також доведено, що він безпечний за тією ж CCRH-припущенням, що використовується у Free-XOR. Це означає: значно менші glock-і, що робить протоколи верифікації біткоїна ще практичнішими.