💥🔫 Glocks är nu taxfree. Introducing Told-Free Bits (DFB): en teknik som tar bort Bitcoin-kompatibilitetsskatten på aritmetisk förvrängning. BABE → 45 gånger mindre Argo → 20 gånger mindre Forskning med UCLA och UIUC.

Nyligen publicerade artiklar från Argo och BABE visade något kraftfullt: Groth16-verifiering kan uttryckas som låggradig aritmetisk beräkning, vilket möjliggör extremt effektiva förvrängda kretsar. Den insikten minskade den förvrängda SNARK-verifieringen från 42 GiB till tiotals MiB.

Men dessa system betalade ändå ett högt pris för att bli Bitcoin-kompatibla. Eftersom Bitcoin arbetar med bitar måste fältelementen bitdekomponeras, vilket multiplicerar kodningsstorleken med ~254×.

Tullfria bitar tar bort den "kommunikationsskatten." Istället för en multiplikativ uppblåsning på ~254× lägger den bara till en liten överheadkostnad. Resultat: 👉 BABE: 22,16 MiB → 500 KiB 👉 Argo: 6,8 MiB → 355 KiB

Tekniken fungerar för alla aritmetiska förvrängningsscheman med affina kodningar över primkroppar. Det har också visat sig vara säkert enligt samma CCRH-antagande som används av Free-XOR. Detta innebär: mycket mindre glocks, vilket gör Bitcoin-verifieringsprotokoll ännu mer praktiska.