💥🔫 Glocks zijn nu belastingvrij. Introductie van Duty-Free Bits (DFB): een techniek die de Bitcoin-compatibiliteitsbelasting op aritmetische garbling verwijdert. BABE → 45x kleiner Argo → 20x kleiner Onderzoek met UCLA & UIUC.

Recente papers Argo en BABE toonden iets krachtigs aan: Groth16 verificatie kan worden uitgedrukt als een laag-graad rekenkundige berekening, wat extreem efficiënte garbled circuits mogelijk maakt. Die inzicht heeft de garbled SNARK verificatie verkleind van 42 GiB naar tientallen MiB.

Maar deze schema's betaalden nog steeds een hoge prijs om Bitcoin-compatibel te worden. Omdat Bitcoin werkt met bits, moesten veldelementen bit-gecomprimeerd worden, waardoor de coderinggrootte met ~254× werd vermenigvuldigd.

Duty-Free Bits verwijdert die "communicatietaks." In plaats van een ~254× vermenigvuldigingsvergroting, voegt het slechts een kleine overhead toe. Resultaten: 👉 BABE: 22,16 MiB → 500 KiB 👉 Argo: 6,8 MiB → 355 KiB

De techniek werkt voor elk rekenkundige verhaspelingsschema met affiene coderingen over priemvelden. Het is ook bewezen veilig onder dezelfde CCRH-aanname die door Free-XOR wordt gebruikt. Dit betekent: veel kleinere glocks, waardoor Bitcoin-verificatieprotocollen nog praktischer worden.