💥🔫 Glocks agora estão isentos de impostos. Apresentando Duty-Free Bits (DFB): uma técnica que remove o imposto de compatibilidade com Bitcoin sobre a ofuscação aritmética. BABE → 45x menor Argo → 20x menor Pesquisa com UCLA e UIUC.

Artigos recentes Argo e BABE mostraram algo poderoso: A verificação Groth16 pode ser expressa como um cálculo aritmético de baixo grau, permitindo circuitos ofuscados extremamente eficientes. Essa percepção reduziu a verificação de SNARK ofuscados de 42 GiB para dezenas de MiB.

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

Duty-Free Bits remove esse "imposto de comunicação." Em vez de um aumento multiplicativo de ~254×, adiciona apenas uma pequena sobrecarga. Resultados: 👉 BABE: 22.16 MiB → 500 KiB 👉 Argo: 6.8 MiB → 355 KiB

A técnica funciona para qualquer esquema de embaralhamento aritmético com codificações afins sobre campos primos. Também foi provada segura sob a mesma suposição CCRH usada pelo Free-XOR. Isto significa: glocks muito menores, tornando os protocolos de verificação do Bitcoin ainda mais práticos.