以太坊联合创始人发文《Binius：二进制字段的高效证明》，其中指出，SNARK 依赖于“算术化”，一种将有关程序的语句转换为涉及多项式（有时是向量和矩阵）的方程方法，为了将数字保持在合理的大小内，“算术”必须不是在常规整数上完成，而是在称为“有限域”的结构上完成。模算术是有限域最简单的例子，但还有其他例子。在实际程序中，大多数数字都非常小：for 循环索引、True/False 值、数组索引、计数器…如果字段很大，则在证明计算过程中生成的“额外”值会大得多，这是低效率的一个关键根源，Plonky2 和类似协议减少了字段大小，从 256 位降至 64 或 31 位。但直接使用二进制字段会更有效，二元域是一种令人着迷的数学结构，具有许多独特的属性。塔式结构是一种令人着迷的生产方式，这增加了更多的优势。
Gate.io - 芝麻交易所，又称芝麻开门交易所，是原比特儿交易所国际版本，是全球第二大交易所 支持人民币OTC交易 让财富更自由一点
文章采集自互联网，本站不对其真实性负责，如需删除，请发送链接至oem1012@qq.com
发表评论
电子邮件地址不会被公开。 必填项已用*标注
文章评论已关闭！