一种新的零知识证明（防ZK）技术旨在提高访问和验证以太坊历史数据的能力（以太坊）区块链，深度链验证被认为是网络的可用性障碍。
技术公司希罗多德（Herodotus）发布了其链上累加器，该累加器使用存储证明密码学，允许用户验证来自以太坊区块链任何点的数据，而无需第三方。 该解决方案利用了 StarkWare 的 STARK 证明，即由数学家 Eli Ben-Sasson 共同发明的 ZK 证明技术。
StarkWare 向希罗多德展示了其共享证明者服务 SHARP 的定制实例，该实例可以使用以下方式实现高级扩展效率： 递归证明。 后者允许虚拟机通过并行实时生成交易或块的证明并将其批处理为后续证明来提供“证明的证明”。
相关：更多 TPS，更少 Gas：以太坊 L2 Starknet 概述性能升级
在技术层面上，累加器充当存储块头的缓存。 如果累加器的缓存中有标头，则相应的存储证明计算可以使用它进行验证。
如果标头没有被缓存，那么证明者必须生成一个证明来覆盖所请求的块范围，将块头添加到累加器中，然后完成所请求的存储证明计算。
顾名思义，链上累加器本质上是累积先前证明的证明，从而大大减少了在网络历史上任何时刻验证以太坊区块链和相关数据所需的时间。
希罗多德首席技术官 Marcello Bardus 指出，该技术消除了在区块链本身上遍历整个区块链的需要：
“我们可以在链下完成此操作，生成一个累加器，然后只挑选一个特定的块，而无需从链本身的整个链进行迭代。”
Starkware 指出，存储证明可能被证明是突破性的，作为需要依赖第三方预言机来跟踪和验证数据的跨链桥的替代方案。
相关：StarkNet 彻底改革 Cairo 编程语言以推动开发人员采用
希罗多德联合创始人 Kacper Koziol 补充说，累加器是以太坊长期以来需要的一项创新，以与区块链的透明度和可访问性原则保持一致。 该技术本质上将允许任何用户访问以太坊历史上的任何点。
“这将非常强大。 在区块链历史上，人们第一次将能够证明任何人的链上信息的任何方面的正确性。”
两个团队强调了存储证明构建“Web2 等效应用程序”的潜力，利用自主访问和验证以太坊区块链数据的开创性能力。
账户恢复被认为是一种潜在的用例，其中验证链上数据的能力可用于触发众所周知的死人开关，或自动化使用历史链上事件触发智能合约支付的保险协议。
