Odaily スタージャーナルによると イーサリアムの共同創設者は、「Binius: Efficient Proof of Binary Fields」を出版し、SNARK がプログラムに関するステートメントを多項式 (場合によってはベクトルや行列) を含む方程式に変換する方法である「算術化」に依存していると指摘しました。数値を適切なサイズ内に保つには、「算術」は通常の整数ではなく、「有限体」と呼ばれる構造で実行する必要があります。モジュラー演算は有限体の最も単純な例ですが、他にも例があります。実際のプログラムでは、ほとんどの数値は非常に小さくなります: for ループ インデックス、True/False 値、配列インデックス、カウンター...フィールドが大きい場合、証明計算中に生成される「余分な」値ははるかに大きくなります。は非効率の主な原因であり、Plonky2 および同様のプロトコルはフィールド サイズを 256 ビットから 64 ビットまたは 31 ビットに削減します。ただし、バイナリ フィールドを直接使用する方が効率的です。バイナリ フィールドは、多くの固有の特性を持つ魅力的な数学的構造です。タワー建設は魅力的な生産方法であり、さらに多くの利点をもたらします。