💥🔫 グロックは現在免税です。 免税ビット(DFB)の導入:算術のガブリングに対するビットコイン互換性税を取り除く技術です。 ベイブ→45倍小さい アルゴ→20倍小さい UCLAとUIUCでの研究。

最近の論文『アルゴ』と『BABE』は強力なことを示しました: Groth16検証は低次数算術計算として表現でき、非常に効率的なガブル回路を可能にします。 その洞察により、SNARKの検証は42 GiBから数十MiBに縮小しました。

しかし、これらの手法はビットコイン互換化に大きな代償を払いました。 ビットコインはビット単位で動作するため、フィールド要素はビット分解され、エンコードサイズに~254×倍で処理されなければなりませんでした。

免税ビットはその「通信税」を廃止します。 ~254×の乗算ブローアップの代わりに、わずかなオーバーヘッドしか加わりません。 結果: 👉 ベイブ:22.16 MiB → 500 KiB 👉 アルゴ:6.8 MiB → 355 KiB

この手法は素体上のアフィン符号化を含む任意の算術加えリングスキームに有効である。 また、FreeXORが用いるのと同じCCRH仮定の下で安全であることも証明されています。 つまり、はるかに小型のグロックが使われ、ビットコインの検証プロトコルがさらに実用的になるということです。