以太坊联合创始人Vitalik Buterin发布最新博客《Binius:二进制字段的高效证明》。这篇文章主要面向大致熟悉2019时代密码学,尤其是SNARKs和STARKs的读者。在过去的两年里,STARKs已成为一种关键的、不可替代的技术,可以高效地对非常复杂的语句进行易于验证的加密证明(例如,证明以太坊区块是有效的)。 SNARK和STARK证明计算机程序的方式是通过算术化:将要证明的程序的陈述转换为涉及多项式的数学方程。方程的有效解对应于程序的有效执行。一般来说,零知识证明系统的工作原理是对多项式进行陈述,同时表示有关基础评估的陈述。 Binius如何影响"SNARK-友好"?基本的概括是,如果使用Binius,就不再需要太在意计算是否"算术友好":"常规"哈希值不再比传统算术哈希值更有效率,乘法模也不再比传统算术哈希值更有效率。我预计未来几个月基于二进制字段的证明技术会有更多改进。
【相关文章】
★ 日本比特币4月初溢价最高升至1.49%,创2020年3月以来新高
★ Polygon创始人:AggLayer不能归类为L1或L2,它是一个 "MetaLayer"
★ 某鲸鱼向Binance存入33,383 ETH,约合1.0636亿美元
本文地址:https://www.qubaike.com/hotnews/mzykl14n.html
声明:本文信息为网友自行发布旨在分享与大家阅读学习,文中的观点和立场与本站无关,如对文中内容有异议请联系处理。
2023-08-19
2023-08-31
2023-08-30
2023-05-15
2023-06-01
usdt实时汇率(人民币对usdt实时汇率)-08.13已更新
2023-08-13
core币中本聪今日主网进展(btcs币2023最新消息6月)
2023-06-16
2023-04-04