Foresight Newsによると、Vitalik Buterin氏は「Binius」として知られるバイナリーフィールドの効率的な証明を紹介した。彼は、今後数ヶ月のうちに、バイナリーフィールドに基づく証明技術が大幅に改善されるだろうと予想している。Biniusは多くの数学的テクニックを採用しており、3年前に導入されたSNARKやSTARKとは明らかに異なっている。
ブテリンはまた、より小さなフィールドが証明生成をより効率的にする理由、バイナリーフィールドのユニークで強力な能力の理由、そしてバイナリーフィールドの証明を効果的に機能させるためにBiniusが使っているテクニックについても説明した。