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