Odaily Planet Daily'ye göre, Ethereum'un kurucu ortağı yakın zamanda "Binius: Verimli İkili Alan Kanıtı" yayınladı. Makale, SNARK'ın bir programın ifadelerini polinomları (ve bazen vektörleri ve matrisleri) içeren denklemlere dönüştürme yöntemi olan "aritmetikleştirmeye" dayandığını belirtiyor. Sayıları makul bir büyüklükte tutmak için "sonlu alanlar" adı verilen yapılar üzerinde "aritmetik" yapılması gerekir. Gerçek programlarda çoğu sayı çok küçüktür ve alan büyükse, ispat hesaplaması sırasında oluşturulan "ekstra" değerler çok daha büyük olacaktır, bu da verimsizliğin temel kaynağıdır. Plonky2 ve benzeri protokoller, alan boyutunu 256 bitten 64 veya 31 bit'e düşürerek verimliliği artırır. Ancak ikili alanları doğrudan kullanmak daha verimli olacaktır. İkili alanlar, birçok benzersiz özelliğe sahip matematiksel bir yapıdır ve bunları üretmenin büyüleyici bir yoludur ve bu da daha fazla avantaj sağlar.