Vitalik Buterin：Binius二進位字段證明會更有效率

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