Podle Odaily Planet Daily nedávno spoluzakladatel Etherea zveřejnil „Binius: Efficient Proof of Binary Fields“. Článek uvádí, že SNARK spoléhá na „aritmetizaci“, metodu převodu příkazů programu do rovnic zahrnujících polynomy (a někdy i vektory a matice). Aby se čísla udržela v rozumné velikosti, "aritmetika" musí být provedena na strukturách nazývaných "konečná pole". Ve skutečných programech je většina čísel velmi malých, a pokud je pole velké, „extra“ hodnoty generované během výpočtu důkazu budou mnohem větší, což je klíčový zdroj neefektivity. Plonky2 a podobné protokoly zlepšují efektivitu snížením velikosti pole z 256 bitů na 64 nebo 31 bitů. Efektivnější by však bylo použít binární pole přímo.