💥🔫 Glocks sind jetzt zollfrei. Einführung von Duty-Free Bits (DFB): eine Technik, die die Bitcoin-Kompatibilitätssteuer auf arithmetisches Garbling entfernt. BABE → 45x kleiner Argo → 20x kleiner Forschung mit UCLA & UIUC.

Jüngste Arbeiten von Argo und BABE zeigten etwas Mächtiges: Die Verifizierung von Groth16 kann als arithmetische Berechnung niedrigen Grades ausgedrückt werden, was extrem effiziente garbled circuits ermöglicht. Diese Erkenntnis reduzierte die Verifizierung von garbled SNARKs von 42 GiB auf einige MiB.

Aber diese Systeme haben immer noch einen hohen Preis gezahlt, um Bitcoin-kompatibel zu werden. Da Bitcoin mit Bits arbeitet, mussten die Feldelemente bit-dekomponiert werden, was die Kodierungsgröße um ~254× multiplizierte.

Duty-Free Bits entfernt die "Kommunikationssteuer." Anstatt eines ~254× multiplikativen Aufblähens, fügt es nur einen kleinen Overhead hinzu. Ergebnisse: 👉 BABE: 22,16 MiB → 500 KiB 👉 Argo: 6,8 MiB → 355 KiB

Die Technik funktioniert für jedes arithmetische Verwirrungsschema mit affinen Kodierungen über Primfeldern. Sie ist auch unter derselben CCRH-Annahme, die von Free-XOR verwendet wird, als sicher erwiesen. Das bedeutet: viel kleinere Glocks, was die Bitcoin-Verifizierungsprotokolle noch praktischer macht.