但erin指出，過去兩年來，STARKs技術(shù)已成為一項(xiàng)不可替代的技術(shù)，可以高效地對復(fù)雜語句進(jìn)行加密證明，例如驗(yàn)證以太坊區(qū)塊的有效性。SNARK和STARK證明計(jì)算機(jī)程序的方式是通過算術(shù)化，將程序的陳述轉(zhuǎn)換成數(shù)學(xué)方程。而Binius技術(shù)則對"SNARK-友好"產(chǎn)生了影響，不再需要過多關(guān)注計(jì)算是否"算術(shù)友好"，傳統(tǒng)哈希值和乘法模都不再比傳統(tǒng)算術(shù)哈希值更有效率。預(yù)計(jì)未來幾個(gè)月，基于二進(jìn)制字段的證明技術(shù)將會(huì)迎來更多的改進(jìn)。