以太坊智能合约开发的安全检查清单：模式与最佳实践
密码学与安全
2020-08-12 v1 软件工程
摘要
近年来，得益于区块链技术的特性，智能合约与去中心化应用 (DApps) 正变得日益重要且广泛普及。在大多数情况下，DApps 具有业务关键性，应满足非常严格的安全要求。然而，开发安全可靠智能合约并非易事。已有若干研究者对安全问题进行了研究，但这些研究均未提供简单直观的工具来克服这些问题。本文收集了面向 DApps 的一系列安全模式。此外，基于这些模式，我们为读者提供安全评估检查清单，可轻松用于智能合约 (SCs) 的开发。我们覆盖了软件生命周期中的设计、编码、测试与部署阶段。借此，我们使开发者能轻松核验是否已将相关安全模式应用于其智能合约。我们将全部分析聚焦于最流行的以太坊区块链及 Solidity 语言。
引用
@article{arxiv.2008.04761,
title = {Security checklists for Ethereum smart contract development: patterns and best practices},
author = {Lodovica Marchesi and Michele Marchesi and Livio Pompianu and Roberto Tonelli},
journal= {arXiv preprint arXiv:2008.04761},
year = {2020}
}
备注
13 pages, 5 tables. To be submitted to a Journal. arXiv admin note: substantial text overlap with arXiv:1912.09074