[论文解读] An empirical analysis of smart contracts: platforms, applications, and design patterns

Massimo Bartoletti, Livio Pompianu|arXiv (Cornell University)|Mar 18, 2017

Blockchain Technology Applications and Security参考文献 17被引用 43

一句话总结

本文对比特币和以太坊上的智能合约进行了实证分析，探讨了平台差异、应用领域及常见设计模式。通过对834个以太坊合约的分析，发现金融类应用占主导地位（69%使用分叉检查模式，50%使用代币/数学模式），揭示了钱包中广泛使用授权和时间约束机制，并强调了预言机在游戏类合约中的作用，为领域特定的智能合约语言设计提供了洞见。

ABSTRACT

Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in many scenarios, especially in those which require transfers of money to respect certain agreed rules (like in financial services and in games). Over the last few years many platforms for smart contracts have been proposed, and some of them have been actually implemented and used. We study how the notion of smart contract is interpreted in some of these platforms. Focussing on the two most widespread ones, Bitcoin and Ethereum, we quantify the usage of smart contracts in relation to their application domain. We also analyse the most common programming patterns in Ethereum, where the source code of smart contracts is available.

研究动机与目标

• 理解智能合约在不同区块链平台（尤其是比特币和以太坊）上的实现与使用方式。
• 根据功能对以太坊上的智能合约应用进行领域分类并量化其普遍性。
• 识别并分析以太坊智能合约中的常见编程设计模式。
• 将设计模式与应用领域相关联，以指导领域特定智能合约语言的设计。
• 为提升智能合约的安全性分析与工具开发提供实证洞见。

提出的方法

• 从公开代码仓库中收集并分析了834个以太坊智能合约源代码。
• 基于功能和使用场景，将合约分类为应用领域（如金融、游戏、公证、钱包等）。
• 通过静态代码分析识别并分类重复出现的设计模式（如授权、时间约束、预言机、分叉检查等）。
• 测量不同应用领域中各类设计模式的使用频率。
• 比较比特币与以太坊在平台层面的差异，重点关注智能合约的表达能力与使用情况。
• 使用统计分析方法，将模式使用情况与应用类别（如金融或游戏合约）进行关联。

实验结果

研究问题

• RQ1 以太坊上智能合约最常见的应用领域是什么？
• RQ2 以太坊智能合约中最常使用的哪些设计模式？它们在不同应用领域中的使用情况有何差异？
• RQ3 智能合约中的设计模式如何与特定功能需求（如安全性、时间控制、随机性）相关联？
• RQ4 金融类智能合约在多大程度上依赖于代币、数学或分叉检查等特定模式？
• RQ5 钱包和游戏类合约在授权或预言机等设计模式的使用上存在哪些差异？

主要发现

• 使用分叉检查模式的合约中69%为金融类应用，使用代币和数学模式的合约中50%为金融类，表明金融应用场景占主导地位。
• 使用分叉检查模式的合约中69%为金融类，反映出在资金转账前验证分支逻辑的迫切需求。
• 25%的游戏类合约使用预言机模式，且游戏中74%的预言机使用场景用于随机数生成，表明其对外部随机源的依赖。
• 100%的钱包类合约同时实现授权和终止模式，其中94%使用时间约束，凸显对安全性和生命周期管理的高度重视。
• 47%的游戏类合约在无预言机的情况下生成随机数，表明本地随机数生成技术被广泛采用。
• 仅29%的金融类合约使用任何已识别的设计模式，表明许多合约仅执行简单操作而无复杂逻辑。