Vitalik:在接下来的几个月里,基于二进制字段的证明技术将会有所改进

金色财经报道,以太坊联合创始人Vitalik Buterin发布最新博客《Binius:二进制字段的高效证明》,深度阐述了STARKs和SNARKs在2019年密码学领域的重要性。该文章面向了解密码学领域的读者,特别是对于STARKs和SNARKs技术感兴趣的人群。

但erin指出,过去两年来,STARKs技术已成为一项不可替代的技术,可以高效地对复杂语句进行加密证明,例如验证以太坊区块的有效性。SNARK和STARK证明计算机程序的方式是通过算术化,将程序的陈述转换成数学方程。而Binius技术则对"SNARK-友好"产生了影响,不再需要过多关注计算是否"算术友好",传统哈希值和乘法模都不再比传统算术哈希值更有效率。预计未来几个月,基于二进制字段的证明技术将会迎来更多的改进。

相关推荐