💥🔫 Les Glocks sont maintenant sans droits de douane. Présentation de Duty-Free Bits (DFB) : une technique qui supprime la taxe de compatibilité Bitcoin sur le brouillage arithmétique. BABE → 45x plus petit Argo → 20x plus petit Recherche avec UCLA et UIUC.

Des articles récents, Argo et BABE, ont montré quelque chose de puissant : La vérification de Groth16 peut être exprimée comme un calcul arithmétique de faible degré, permettant des circuits masqués extrêmement efficaces. Cette idée a réduit la vérification des SNARK masqués de 42 GiB à des dizaines de MiB.

Mais ces schémas ont tout de même payé un lourd prix pour devenir compatibles avec Bitcoin. Parce que Bitcoin fonctionne avec des bits, les éléments de champ devaient être décomposés en bits, multipliant la taille de l'encodage par ~254×.

Duty-Free Bits supprime cette "taxe de communication". Au lieu d'un ~254× d'augmentation multiplicative, cela n'ajoute qu'un petit surcoût. Résultats : 👉 BABE : 22,16 MiB → 500 KiB 👉 Argo : 6,8 MiB → 355 KiB

La technique fonctionne pour tout schéma de brouillage arithmétique avec des encodages affines sur des corps premiers. Elle est également prouvée sécurisée sous la même hypothèse CCRH utilisée par Free-XOR. Cela signifie : des glocks beaucoup plus petits, rendant les protocoles de vérification de Bitcoin encore plus pratiques.