StarkWare和Herodotus推出技术,可以验证以太坊历史上任意时间点的数据
StarkWare和Herodotus合作推出了一项技术,可以验证以太坊历史上任意时间点的数据
一种新的零知识证明(ZK-proof)技术将改善访问和验证以太坊区块链的历史数据的能力,深度链验证被认为是该网络的可用性障碍。
技术公司Herodotus发布了其链上累加器,该累加器使用存储证明密码学,允许用户在不需要第三方的情况下验证以太坊区块链的任何点的数据。该解决方案利用了StarkWare的STARK证明,这是数学家Eli Ben-Sasson共同发明的ZK-proof技术。
StarkWare向Herodotus提供了其定制的共享证明服务SHARP的实例,该实例使用递归证明实现了先进的扩展效率。后者允许虚拟机通过并行和实时生成交易或块的证明,将它们批处理成后续证明。
相关:更高的TPS,更少的Gas:以太坊L2 Starknet概述性能升级
在稍微更技术的层面上,累加器充当存储块头的缓存。如果累加器的缓存中有一个头部,相应的存储证明计算可以使用它进行验证。
![递归证明可能将各种信息批量验证并缓存为后续验证和缓存证明的可视化表示。来源:StarkWare](https://s3.cointelegraph.com/uploads/2023-09/a9fb83c6-21f9-473a-9f89-84999bf178be.png)
如果头部未被缓存,证明者必须生成一个覆盖请求的块范围的证明,将块头添加到累加器中,然后完成请求的存储证明计算。
正如其名称所示,链上累加器实际上累积了先前证明的证明,大大缩短了验证以太坊区块链和相关数据所需的时间,可以在网络历史的任何点验证。
Herodotus首席技术官Marcello Bardus指出,该技术消除了在区块链上遍历整个区块链的需求:
“我们可以在链外执行,生成一个累加器,并且只从链上选择一个特定的块,而无需在链上遍历整个链。”
StarkWare指出,存储证明可能成为替代跨链桥梁的突破性技术,跨链桥梁依赖第三方预言机来跟踪和验证数据。
相关:StarkNet改进Cairo编程语言以推动开发者采用
Herodotus联合创始人Kacper Koziol补充说,累加器是以太坊长期以来一直需要的创新,以符合区块链的透明性和可访问性原则。该技术将实质上允许任何用户访问以太坊历史的任何时刻。
“这将非常强大。在区块链历史上,人们将能够证明任何人的链上信息的正确性。”
两个团队强调存储证明在构建“Web2等效应用程序”方面的潜力,利用了自主访问和验证以太坊区块链数据的开创性能力。
账户恢复被视为一个潜在的用例,通过验证链上数据可以触发一种俗称的“死人开关”或自动化保险协议,这些协议使用历史的链上事件触发智能合约支付。
将本文收藏为NFT以保留历史时刻,并展示对加密空间独立新闻的支持。
杂志:递归铭记:比特币“超级计算机”和BTC DeFi即将来临
We will continue to update 算娘; if you have any questions or suggestions, please contact us!
Was this article helpful?
93 out of 132 found this helpful
Related articles