💥🔫 As Glocks agora são duty-free. Apresentando os Duty-Free Bits (DFB): uma técnica que remove o imposto de compatibilidade com Bitcoin sobre distorção aritmética. BABE → 45x menor Argo → 20 vezes menor Pesquisa com UCLA e UIUC.

Artigos recentes como Argo e BABE mostraram algo poderoso: A verificação Groth16 pode ser expressa como computação aritmética de baixo grau, permitindo circuitos distorsionados extremamente eficientes. Essa percepção reduziu a verificação do SNARK distorcido de 42 GiB para dezenas de MiB.

Mas esses esquemas ainda pagaram um custo alto para se tornarem compatíveis com o Bitcoin. Como o Bitcoin funciona com bits, os elementos do campo precisavam ser decompostos por bits, multiplicando o tamanho da codificação por ~254×.

Duty-Free Bits elimina esse "imposto sobre comunicação". Em vez de uma ampliação multiplicativa de ~254×, ele adiciona apenas um pequeno overhead. Resultados: 👉 BEBÊ: 22,16 MiB → 500 KiB 👉 Argo: 6,8 MiB → 355 KiB

A técnica funciona para qualquer esquema de distorção aritmética com codificações afins sobre corpos primos. Também se comprovou seguro sob a mesma suposição de CCRH usada pelo Free-XOR. Isso significa: glocks muito menores, tornando os protocolos de verificação do Bitcoin ainda mais práticos.