The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state of smart contracts is collaboratively maintained by a peer-to-peer network of mutually untrusted nodes, which collect from users a set of transactions (representing the required actions on contracts), and execute them in some order. Once this sequence of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we propose a true concurrent model of smart contract execution. Based on this, we show how static analysis of smart contracts can be exploited to parallelize the execution of transactions.

中文翻译：

---

一个真正的智能合约执行并发模型

区块链技术的发展实现了所谓的智能合约的无信任执行，即规范用户之间资产（例如加密货币）交换的程序。在分散式blockchain，智能合同的状态由对等网络相互不受信任的节点，其中从用户收集一组事务（表示合同所需的操作）中的每一个协作保持，并且在一些顺序执行它们。一旦将此交易序列附加到区块链，其他节点就会对其进行验证，并以相同的顺序重新执行交易。事务的串行执行没有利用现代处理器的多核架构，因此会限制吞吐量。在本文中，我们提出了一个真正的智能合约执行并发模型。