Vitalik Buterin 谈论如何提高 zk 证明的效率

以太坊联合创始人 Vitalik Buterin 发布了一篇新博文，讨论了一种可以使零知识证明更高效的新加密证明系统。

该证明系统名为 Binius，旨在直接在计算机上对二进制代码进行操作。二进制代码是一种计算机可以理解的语言，它用于存储信息并使用符号零和一（也称为位）表示数据。

尽管 STARK 和 Binius 之间存在一些相似之处，但 Buterin 解释说，实现这些不同证明系统的数学技巧非常不同。

总体来说，STARKs 是一种能够轻松通过密码验证复杂语句的技术。它被设计成当数值较小时可以轻松计算数字，当数值较大时，STARKs 会生成额外的值，这会导致效率低下。

与将语句“算术化”为多项式方程（一种对块中变量之间关系进行建模的数学表达式）的 STARK 不同，Binius 将数据视为超立方体和网格，并使用多线性多项式执行加密证明。

Binius 将单个值转换为位，并将它们放在超立方体和正方形中。然后，将此超立方体转换为网格并执行计算以接收输出矩阵。

然后，验证者将执行自己的计算，以确保信息本身匹配，并确保计算列返回证明者声称的值。

“我强烈鼓励大家去理解和探索！最近 ZK 证明领域出现了很多创新。我预计很快还会有更多创新出现，”Buterin 在X 帖子中写道。

以 David Canellis 和 Katherine Ross 的顶级加密货币见解开启您的一天。订阅 Empire 时事通讯。