💥🔫 Las Glock ahora son libres de impuestos. Presentando los Duty-Free Bits (DFB): una técnica que elimina el impuesto de compatibilidad con Bitcoin sobre el distorsión aritmética. BABE → 45 veces más pequeño Argo → 20 veces más pequeño Investigación con UCLA y UIUC.

Artículos recientes de Argo y BABE mostraron algo poderoso: La verificación de Groth16 puede expresarse como cálculo aritmético de bajo grado, lo que permite circuitos distorsionados extremadamente eficientes. Esa información redujo la verificación distorsionada de SNARK de 42 GiB a decenas de MiB.

Pero estos esquemas aun así pagaron un alto coste para ser compatibles con Bitcoin. Como Bitcoin funciona con bits, los elementos de campo tuvieron que ser descompuestos por bits, multiplicando el tamaño de codificación por ~254×.

Duty-Free Bits elimina ese "impuesto a la comunicación". En lugar de una explosión multiplicativa de ~254×, solo añade una pequeña sobrecarga. Resultados: 👉 BABE: 22,16 MiB → 500 KiB 👉 Argo: 6,8 MiB → 355 KiB

La técnica funciona para cualquier esquema de distorsión aritmética con codificaciones afines sobre campos primos. También se ha demostrado que es seguro bajo la misma suposición CCRH que utiliza Free-XOR. Esto significa: glocks mucho más pequeñas, haciendo que los protocolos de verificación de Bitcoin sean aún más prácticos.