За даними Odaily Planet Daily, співзасновник Ethereum нещодавно опублікував «Бініус: Ефективний доказ бінарних полів». У статті стверджується, що SNARK спирається на «арифметизацію», метод перетворення операторів програми в рівняння, що містять поліноми (і іноді вектори та матриці). Щоб утримувати числа в межах розумного розміру, «арифметику» потрібно виконувати на структурах, які називаються «кінцевими полями». У реальних програмах більшість чисел дуже малі, і якщо поле велике, «додаткові» значення, згенеровані під час обчислення доказу, будуть набагато більшими, що є ключовим джерелом неефективності. Plonky2 і подібні протоколи підвищують ефективність, зменшуючи розмір поля з 256 біт до 64 або 31 біт. Але було б ефективніше використовувати двійкові поля безпосередньо. Двійкові поля є математичною структурою з багатьма унікальними властивостями, що є захоплюючим способом їх створення, що додає ще більше переваг.