Vitalik Buterin詳細介紹了Binius,這是一個基於二進制字段的高效證明系統。文章首先回顧了有限域和算術化的概念,解釋了SNARK和STARK證明系統的工作原理,即將程序陳述轉換爲多項式方程。Vitalik指出,盡管Plonky2證明了使用較小的64位和31位字段可以大幅提高證明生成的效率,但Binius通過直接在零和一上操作,利用二進制字段的特性,進一步提升了效率。Binius使用多元多項式表示計算軌跡,並採用了一系列數學技巧,包括超立方體的概念和Reed-Solomon編碼,來構建證明。Vitalik認爲,二進制字段的直接計算能力和對位的操作是Binius高效的關鍵。
5/16/2024, 8:13:43 AM