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

金色財經報道，以太坊聯合創始人Vitalik Buterin發佈最新博客《Binius：二進製字段的高效證明》。

這篇文章主要麵向大致熟悉2019時代密碼學，pi 幣 怎麼 換錢尤其是SNARKs和STARKs的讀者。在過去的泰達幣臺灣合法嗎？兩年裏，STARKs已成爲一種關鍵的泰達幣、不可替代的技術，可以高效地對非常複雜的語句進行易於驗證的加密證明（例如，證明以太坊區塊是有效的）。 

SNARK和STARK證明計算機程序的方式是通過算術化：將要證明的程序的陳述轉換爲涉及多項式的數學方程。方程的有效解對應於程序的有效執行。一般來說，零知識證明係統的HTX PI工作原理是對多項式進行陳述，同時表示有關基礎評估的陳述。 

 Binius如何影響"SNARK-友好"？瑞波幣下架基本的概括是，如果使用Binius，就不再需要太在意計算是否"算術友好"："常規"哈希值不再比傳統算術哈希值更有效率，乘法模也不再比傳統算術哈希值更有效率。我預計未來幾個月基於二進製字段的證明技術會有更多改進。