火幣HTX報道，以太坊聯(lián)合創(chuàng)始人Vitalik Buterin發(fā)布最新博客《Binius：二進(jìn)制字段的高效證明》。這篇文章主要面向大致熟悉2019時代密碼學(xué)，尤其是SNARKs和STARKs的讀者。在過去的兩年里，STARKs已成為一種關(guān)鍵的、不可替代的技術(shù)，可以高效地對非常復(fù)雜的語句進(jìn)行易于驗證的加密證明（例如，證明以太坊區(qū)塊是有效的）。 SNARK和STARK證明計算機(jī)程序的方式是通過算術(shù)化：將要證明的程序的陳述轉(zhuǎn)換為涉及多項式的數(shù)學(xué)方程。方程的有效解對應(yīng)于程序的有效執(zhí)行。一般來說，零知識證明系統(tǒng)的工作原理是對多項式進(jìn)行陳述，同時表示有關(guān)基礎(chǔ)評估的陳述。 Binius如何影響"SNARK-友好"？基本的概括是，如果使用Binius，就不再需要太在意計算是否"算術(shù)友好"："常規(guī)"哈希值不再比傳統(tǒng)算術(shù)哈希值更有效率，乘法模也不再比傳統(tǒng)算術(shù)哈希值更有效率。我預(yù)計未來幾個月基于二進(jìn)制字段的證明技術(shù)會有更多改進(jìn)。