【2024-04-29 19:48】23btc报道，以太坊联合创始人Vitalik Buterin发布最新博客《Binius：二进制字段的高效证明》。这篇文章主要面向对2019年密码学有一定了解的读者，特别是那些熟悉SNARKs和STARKs的人。在过去的两年中，STARKs已成为一项至关重要且无法替代的技术，能够以高效方式对非常复杂的语句进行易于验证的加密证明（例如，验证以太坊区块的有效性）。
SNARK和STARK证明计算机程序的方式是通过算术化实现的：将要证明的程序的陈述转换为涉及多项式的数学方程。方程的有效解对应于程序的有效执行。一般而言，零知识证明系统的工作原理是对多项式进行陈述，同时表示关于基础评估的陈述。
Binius如何影响"SNARK-友好"呢？基本概括是，如果使用Binius，就不再需要太过关注计算是否"算术友好"："常规"哈希值的效率不再比传统算术哈希值更高，乘法模也不再比传统算术哈希值更有效。我预计未来几个月，基于二进制字段的证明技术会有更多改进。
Vitalik Buterin的最新博客《Binius：二进制字段的高效证明》提出了一种新的二进制证明技术，它对于加密货币行业以及密码学的发展具有重要意义。
STARKs作为一项无法替代的技术，能够以高效方式对非常复杂的语句进行易于验证的加密证明。然而，在使用STARKs时，一直存在着对计算是否“算术友好”的关注。但是，通过Binius的引入，这种关注可以减少，因为在使用Binius时不再需要过多关注计算是否“算术友好”。
此外，Binius的引入还意味着常规哈希值的效率不再比传统算术哈希值更高，乘法模也不再比传统算术哈希值更有效。这对于加密货币行业而言是一项重要的进展，因为它意味着能够更高效地处理加密证明的计算。
通过Binius的改进，未来几个月内可以预期基于二进制字段的证明技术将得到更多的改进。这将进一步提高加密货币的安全性和效率，为加密货币行业的发展开辟更多可能性。
总体而言，Vitalik Buterin发布的《Binius：二进制字段的高效证明》对于加密货币行业是一项重要的创新。它的引入将减少对计算是否“算术友好”的关注，并提高加密证明计算的效率，为加密货币行业的发展带来更多机会。 
原创文章，作者：海博社，如若转载，请注明出处：https://www.23btc.com/11986/
