💥🔫 I Glocks sono ora esenti da dazi. Presentiamo Duty-Free Bits (DFB): una tecnica che rimuove la tassa sulla compatibilità con Bitcoin per il garbling aritmetico. BABE → 45 volte più piccolo Argo → 20 volte più piccolo Ricerca con UCLA e UIUC.

Documenti recenti Argo e BABE hanno mostrato qualcosa di potente: La verifica di Groth16 può essere espressa come un calcolo aritmetico di basso grado, consentendo circuiti garbled estremamente efficienti. Questa intuizione ha ridotto la verifica di SNARK garbled da 42 GiB a decine di MiB.

Ma questi schemi hanno comunque pagato un prezzo elevato per diventare compatibili con Bitcoin. Poiché Bitcoin funziona con i bit, gli elementi del campo dovevano essere decomposti in bit, moltiplicando la dimensione della codifica per ~254×.

Duty-Free Bits rimuove quella "tassa di comunicazione." Invece di un'esplosione moltiplicativa di ~254×, aggiunge solo un piccolo sovraccarico. Risultati: 👉 BABE: 22.16 MiB → 500 KiB 👉 Argo: 6.8 MiB → 355 KiB

La tecnica funziona per qualsiasi schema di distorsione aritmetica con codifiche affini su campi primi. È anche dimostrata sicura sotto la stessa assunzione CCRH utilizzata da Free-XOR. Questo significa: glocks molto più piccoli, rendendo i protocolli di verifica di Bitcoin ancora più pratici.