Odaily星球日報訊 以太坊聯合創始人發文《Binius：二進制字段的高效證明》，其中指出，SNARK 依賴於“算術化”，一種將有關程序的語句轉換爲涉及多項式（有時是向量和矩陣）的方程方法，爲了將數字保持在合理的大小內，“算術”必須不是在常規整數上完成，而是在稱爲“有限域”的結構上完成。模算術是有限域最簡單的例子，但還有其他例子。在實際程序中，大多數數字都非常小：for 循環索引、True/False 值、數組索引、計數器...如果字段很大，則在證明計算過程中生成的“額外”值會大得多，這是低效率的一個關鍵根源，Plonky2 和類似協議減少了字段大小，從 256 位降至 64 或 31 位。但直接使用二進制字段會更有效，二元域是一種令人着迷的數學結構，具有許多獨特的屬性。塔式結構是一種令人着迷的生產方式，這增加了更多的優勢。