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