AQUAREUM：非矛盾的、具有审查证据的集中式账本，结合基于EVM的可验证执行使用可信计算和区块链
AQUAREUM: Non-Equivocating Censorship-Evident Centralized Ledger with EVM-Based Verifiable Execution using Trusted Computing and Blockchain
AI总结：
AQUAREUM通过结合可信计算和区块链，提供了一种非矛盾、具有审查证据的高性能集中式账本解决方案。
摘要：
分布式账本系统（即区块链）受到了广泛关注。它们承诺让互不信任的参与者能够执行交易，同时提供数据的不可变性和抗审查性。尽管去中心化账本是一种颠覆性创新，但截至目前，它们仍面临可扩展性、隐私或治理问题。因此，它们在许多重要的使用案例中并不适用，而有趣的是，集中式账本可能会获得采用。不幸的是，集中式账本也有缺点，例如缺乏高效的可验证性或更高的审查和矛盾风险。在本文中，我们提出了AQUAREUM，一种新的集中式账本框架，以消除其主要限制。通过将可信执行环境（TEE）与公共区块链的独特结合，AQUAREUM提供了公开可验证的非矛盾、具有审查证据的私有且高性能的账本。AQUAREUM集成了一个图灵完备的虚拟机（例如EVM），允许任意的交易处理逻辑，如转账或客户端指定的智能合约。AQUAREUM完全实现，并且可以在普通PC上每秒处理超过400个交易。此外，我们使用通用可组合性框架对AQUAREUM进行了建模，并证明了其安全性。
英文摘要：
Distributed ledger systems (i.e., blockchains) have received a lot of attention. They promise to enable mutually untrusted participants to execute transactions while providing the immutability of the data and censorship resistance. Although decentralized ledgers are a disruptive innovation, as of today, they suffer from scalability, privacy, or governance issues. Therefore, they are inapplicable for many important use cases, where interestingly, centralized ledger systems might gain adoption. Unfortunately, centralized ledgers have also drawbacks, e.g., a lack of efficient verifiability or a higher risk of censorship and equivocation. In this paper, we present AQUAREUM, a novel framework for centralized ledgers removing their main limitations. By a unique combination of a trusted execution environment (TEE) with a public blockchain, AQUAREUM provides publicly verifiable non-equivocating censorship-evident private and high-performance ledgers. AQUAREUM is integrated with a Turing-complete virtual machine (e.g., EVM), allowing arbitrary transaction processing logic, such as transfers or client-specified smart contracts. AQUAREUM is fully implemented and can process over 400 transactions per second on a commodity PC. Furthermore, we modeled AQUAREUM using the Universal Composability framework and proved its security.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
