💥🔫 Глоки теперь беспошлинные. Представляем Duty-Free Bits (DFB): метод, который устраняет налог на совместимость с Bitcoin при арифметическом запутывании. BABE → в 45 раз меньше Argo → в 20 раз меньше Исследования с UCLA и UIUC.

Недавние работы Argo и BABE показали нечто мощное: Проверка Groth16 может быть выражена как вычисление с низкой степенью арифметики, что позволяет создавать чрезвычайно эффективные запутанные схемы. Это понимание сократило проверку запутанных SNARK с 42 ГиБ до десятков МиБ.

Но эти схемы все равно понесли большие затраты, чтобы стать совместимыми с Bitcoin. Поскольку Bitcoin работает с битами, элементы поля должны были быть разбиты на биты, что увеличивало размер кодирования примерно в 254 раза.

Duty-Free Bits устраняет этот "налог на коммуникацию." Вместо ~254-кратного увеличения, он добавляет лишь небольшую накладную часть. Результаты: 👉 BABE: 22.16 MiB → 500 KiB 👉 Argo: 6.8 MiB → 355 KiB

Эта техника работает для любой схемы арифметического искажения с аффинными кодировками над простыми полями. Она также доказана безопасной при том же предположении CCRH, которое используется в Free-XOR. Это означает: гораздо меньшие глоки, что делает протоколы верификации Bitcoin еще более практичными.