据Blockworks报道，以太坊联合创始人Vitalik Buterin发布了一篇新的博客文章，讨论了一种新的加密证明系统，可以使零知识证明更加高效。这个证明系统被称为Binius，设计用于直接在计算机上的二进制代码上运行。虽然STARKs和Binius之间存在一些相似之处，但Buterin解释说，使这些不同证明系统得以实现的数学技巧是非常不同的。总的来说，STARKs是一种使复杂声明能够轻易地被加密验证的技术。与STARKs将声明“算术化”为多项式方程不同，Binius将数据视为超立方体和网格，并使用多线性多项式进行加密证明。Binius将单个值转换为位并将它们放在一个超立方体和一个正方形中。然后将这个超立方体转换为网格，并进行计算以获得一个输出矩阵。然后，验证者将进行自己的计算计算，以确保信息本身匹配，并确保计算列返回由证明者声称的值。