金色財經報道,以太坊聯合創始人Vitalik Buterin發佈最新博客《Binius:二進制字段的高效證明》。
這篇文章主要面向大致熟悉2019時代密碼學,尤其是SNARKs和STARKs的讀者。在過去的兩年裏,STARKs已成爲一種關鍵的、不可替代的技術,可以高效地對非常複雜的語句進行易於驗證的加密證明(例如,證明以太坊區塊是有效的)。
SNARK和STARK證明計算機程序的方式是通過算術化:將要證明的程序的陳述轉換爲涉及多項式的數學方程。方程的有效解對應於程序的有效執行。一般來說,零知識證明系統的工作原理是對多項式進行陳述,同時表示有關基礎評估的陳述。
Binius如何影響"SNARK-友好"?基本的概括是,如果使用Binius,就不再需要太在意計算是否"算術友好":"常規"哈希值不再比傳統算術哈希值更有效率,乘法模也不再比傳統算術哈希值更有效率。我預計未來幾個月 基於二進制字段的證明技術會有更多改進。
* 本文內容僅代表作者個人觀點,讀者不應以本文作為任何投資依據。在做出任何投資決定之前,您應該尋求獨立財務顧問的建議,以確保您了解風險。差價合約(CFD)是槓桿性產品,有可能導致您損失全部資金。這些產品並不適合所有人,請謹慎投資。查閱詳情