复制成功

分享至

主页 > Web3.0 >

Vitalik Buterin:Binius二进制字段证明会更高效

2024.04.29

博链财经BroadChain获悉,4月29日,以太坊联合创始人Vitalik Buterin发文《Binius:二进制字段的高效证明》,其中指出,SNARK 依赖于“算术化”,一种将有关程序的语句转换为涉及多项式(有时是向量和矩阵)的方程方法,为了将数字保持在合理的大小内,“算术”必须不是在常规整数上完成,而是在称为“有限域”的结构上完成。模算术是有限域最简单的例子,但还有其他例子。

在实际程序中,大多数数字都非常小:for 循环索引、True/False 值、数组索引、计数器...如果字段很大,则在证明计算过程中生成的“额外”值会大得多,这是低效率的一个关键根源,Plonky2 和类似协议减少了字段大小,从 256 位降至 64 或 31 位。

但直接使用二进制字段会更有效,二元域是一种令人着迷的数学结构,具有许多独特的属性,塔式结构是一种令人着迷的生产方式,这增加了更多的优势。


免责声明:数字资产交易涉及重大风险,本资料不应作为投资决策依据,亦不应被解释为从事投资交易的建议。请确保充分了解所涉及的风险并谨慎投资。OKEx学院仅提供信息参考,不构成任何投资建议,用户一切投资行为与本站无关。

加⼊OKEx全球社群

和全球数字资产投资者交流讨论

扫码加入OKEx社群

相关推荐

industry-frontier