據Blockworks報道，以太坊聯合創始人Vitalik Buterin發佈了一篇新的博客文章，討論了一種新的加密證明系統，可以使零知識證明更加高效。這個證明系統被稱爲Binius，設計用於直接在計算機上的二進制代碼上運行。雖然STARKs和Binius之間存在一些相似之處，但Buterin解釋說，使這些不同證明系統得以實現的數學技巧是非常不同的。總的來說，STARKs是一種使複雜聲明能夠輕易地被加密驗證的技術。與STARKs將聲明“算術化”爲多項式方程不同，Binius將數據視爲超立方體和網格，並使用多線性多項式進行加密證明。Binius將單個值轉換爲位並將它們放在一個超立方體和一個正方形中。然後將這個超立方體轉換爲網格，並進行計算以獲得一個輸出矩陣。然後，驗證者將進行自己的計算計算，以確保信息本身匹配，並確保計算列返回由證明者聲稱的值。