Groundhog：基于可交换事务语义的线性可扩展智能合约
分布式、并行与集群计算
2024-04-05 v1
摘要
Groundhog 是一种基于事务块并发执行的智能合约执行引擎的新型设计。与先前的工作不同，Groundhog 中一个块内的事务彼此之间没有排序。相反，我们的关键设计见解首先是设计一组可交换语义，使 Groundhog 运行时能够确定性地解决对共享数据的并发访问。其次，某些存储访问（例如从账户中提取资金）存在无法解决的冲突；因此，Groundhog 通过预留-提交过程对持久化存储访问实施有效性约束。这两个想法赋予了 Groundhog 一套语义，虽然不如传统的顺序语义强大，但足以实现各种重要的应用程序，并且严格比当今某些生产区块链中使用的语义更强大。与先前的智能合约系统不同，事务吞吐量永远不会因事务之间的争用而受到影响。使用 96 个 CPU 核心，无论在 1000 万个账户还是仅仅 2 个账户之间，Groundhog 每秒都能处理超过 50 万笔支付事务。
引用
@article{arxiv.2404.03201,
title = {Groundhog: Linearly-Scalable Smart Contracting via Commutative Transaction Semantics},
author = {Geoffrey Ramseyer and David Mazières},
journal= {arXiv preprint arXiv:2404.03201},
year = {2024}
}