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