💥🔫 格洛克现在免税。 介绍免税比特币（DFB）：一种消除算术混淆中比特币兼容税的技术。 BABE → 小 45 倍 Argo → 小 20 倍 与 UCLA 和 UIUC 的研究。

最近的论文 Argo 和 BABE 显示了一些强大的东西： Groth16 验证可以表示为低度数的算术计算，从而实现极其高效的加密电路。 这一见解将加密 SNARK 验证的大小从 42 GiB 缩小到几十 MiB。

但这些方案仍然付出了沉重的代价以实现与Bitcoin的兼容。 因为Bitcoin使用位，字段元素必须进行位分解，编码大小乘以约254倍。

免税比特币消除了那种“沟通税”。 它只增加了少量开销，而不是 ~254× 的乘法膨胀。 结果： 👉 BABE: 22.16 MiB → 500 KiB 👉 Argo: 6.8 MiB → 355 KiB

该技术适用于任何在素数域上使用仿射编码的算术混淆方案。 它在与 Free-XOR 使用的相同 CCRH 假设下被证明是安全的。 这意味着：更小的 glocks，使得 Bitcoin 验证协议更加实用。