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