Vitalik：預計未來幾個月基於二進制字段的證明技術會有更多改進

以太坊聯合創始人Vitalik Buterin發布最新博客《Binius：二進制字段的高效證明》。SNARK和STARK證明計算機程序的方式是通過算術化：將要證明的程序的陳述轉換為涉及多項式的數學方程。方程的有效解對應於程序的有效執行。一般來說，零知識證明系統的工作原理是對多項式進行陳述，同時表示有關基礎評估的陳述。Binius使用了許多數學技巧，使其與三年前的SNARK和STARK截然不同。
Vitalik Buterin還介紹了小字段使證明生成更高效的原因、二進制字段具有獨特強大功能的原因，以及Binius用於使二進制字段的證明能夠有效地工作的技巧。預計未來幾個月基於二進制字段的證明技術會有更多改進。