Vitalik:预计未来几个月基于二进制字段的证明技术会有更多改进

作者:BitGet栏目:bitget百科 时间:2024年05月02日 07:06:15
bitget

Bitget交易所

Bitget交易所是全球前4大交易所之一、打新活动多、领空投到手软,新用户注册即可领取BGB空投

bitget最新消息:以太坊联合创始人VitalikButerin发布最新博客《Binius:二进制字段的高效证明》。SNARK和STARK证明计算机程序的方式是通过算术化:将要证明的程序的陈述转换为涉及多项式的数学方程。方程的有效解对应于程序的有效执行。一般来说,零知识证明系统的工作原理是对多项式进行陈述,同时表示有关基础评估的陈述。Binius使用了许多数学技巧,使其与三年前的SNARK和STARK截然不同。VitalikButerin还介绍了小字段使证明生成更高效的原因、二进制字段具有独特强大功能的原因,以及Binius用于使二进制字段的证明能够有效地工作的技巧。预计未来几个月基于二进制字段的证明技术会有更多改进。

bitget

Bitget交易所

Bitget交易所是全球前4大交易所之一、打新活动多、领空投到手软,新用户注册即可领取BGB空投

相关阅读