Odaily Planet Daily によると、イーサリアムの共同創設者は最近「Binius: Efficient Proof of Binary Fields」を出版しました。この記事では、SNARK は「算術化」、つまりプログラムのステートメントを多項式 (場合によってはベクトルや行列) を含む方程式に変換する方法に依存していると述べています。数値を適切なサイズに保つには、「有限体」と呼ばれる構造に対して「算術」を実行する必要があります。実際のプログラムでは、ほとんどの数値は非常に小さく、フィールドが大きい場合、証明計算中に生成される「余分な」値がはるかに大きくなり、これが非効率の主な原因となります。 Plonky2 および同様のプロトコルは、フィールド サイズを 256 ビットから 64 ビットまたは 31 ビットに削減することで効率を向上させます。ただし、バイナリ フィールドを直接使用する方が効率的です。バイナリ フィールドは多くのユニークな特性を持つ数学的構造であり、それを作成するための魅力的な方法であるため、さらに多くの利点が得られます。