AQUAREUM：基于可信计算与区块链的具有非歧义与审查可见性的 EVM 可验证执行集中式账本
密码学与安全
2026-01-06 v2 分布式、并行与集群计算
摘要
分布式账本系统（即区块链）已受到大量关注。它们承诺使相互不信任的参与者能够执行交易，同时提供数据不可变性与抗审查性。尽管去中心化账本是一项颠覆性创新，但迄今为止它们仍存在可扩展性、隐私或治理问题。因此，它们不适用于许多重要用例，而在这些用例中，集中式账本系统可能会获得采用。遗憾的是，集中式账本也有缺陷，例如缺乏高效可验证性或更高的审查与歧义（equivocation）风险。本文中，我们提出 AQUAREUM，一种消除集中式账本主要局限性的新框架。通过将可信执行环境（TEE）与公共区块链独特结合，AQUAREUM 提供了公开可验证的、非歧义的、审查可见的私有高性能账本。AQUAREUM 与图灵完备虚拟机（如 EVM）集成，允许任意交易处理逻辑，例如转账或客户指定的智能合约。AQUAREUM 已完整实现，可在商用 PC 上每秒处理超过 400 笔交易。此外，我们使用通用可组合（Universal Composability）框架对 AQUAREUM 建模并证明其安全性。
引用
@article{arxiv.2005.13339,
title = {AQUAREUM: Non-Equivocating Censorship-Evident Centralized Ledger with EVM-Based Verifiable Execution using Trusted Computing and Blockchain},
author = {Ivan Homoliak and Mario Larangeira and Martin Peresini and Pawel Szalachowski},
journal= {arXiv preprint arXiv:2005.13339},
year = {2026}
}