[论文解读] The Use of Smart Contracts and Challenges.

Yining Hu, Madhusanka Liyanage+5 more|arXiv (Cornell University)|Sep 26, 2018

Blockchain Technology Applications and Security被引用 5

一句话总结

本文全面回顾了智能合约，重点分析其机制、现实世界应用——以CryptoKitties作为关键案例研究——以及其所面临的挑战。文章分析了以太坊等区块链上的智能合约功能，识别出关键技术与系统性问题，并概述了该领域尚未解决的研究问题。

ABSTRACT

In December 2017, CryptoKitties, a game on the Ethereum blockchain became an instant success shortly after its launch. It attracted 180,000 users with over $20 million of spend in Ether, and was at one point taking up 12% of all Ethereum transactions. Technically speaking, CryptoKitties is a smart contract - a piece of code with storage capability that resides on a blockchain. Smart contracts are gaining increasing popularity in recent years. We present a comprehensive review of smart contracts with a focus on existing applications and challenges they face. We have covered the smart contract mechanisms, promising use cases, as well as relevant research work and the open issues.

研究动机与目标

• 探讨智能合约在以太坊等区块链平台上的技术机制及其执行方式。
• 通过CryptoKitties等高影响力应用分析智能合约采用的兴起，展示其在可扩展性与用户参与方面的潜力。
• 识别并分类智能合约面临的主要挑战，包括性能、安全性和形式化验证问题。
• 综述现有研究，突出智能合约设计、部署与验证中的开放性问题。

提出的方法

• 对智能合约实现进行系统性回顾，重点关注以太坊系统及CryptoKitties dApp作为代表性案例。
• 分析智能合约的技术架构，包括其代码执行模型、状态持久化以及与区块链账本的交互机制。
• 调研智能合约安全、形式化验证与可扩展性方面的现有文献，以识别重复出现的研究主题与研究空白。
• 评估来自实际部署的交易负载与性能指标，例如CryptoKitties曾占以太坊总交易量的12%。
• 基于当前实现中的观察到的局限性，将挑战划分为技术、经济与监管三个维度。

实验结果

研究问题

• RQ1 智能合约在以太坊等区块链生态系统中如何实现技术运作？
• RQ2 以CryptoKitties为例，智能合约采用的关键驱动力与现实世界影响是什么？
• RQ3 当前智能合约系统面临的主要技术、安全与可扩展性挑战有哪些？
• RQ4 智能合约设计与验证中仍存在哪些研究空白与未解决的开放问题？

主要发现

• CryptoKitties揭示了以太坊的可扩展性极限，其峰值时期占用了全部以太坊交易的12%。
• 该游戏吸引了180,000名用户，产生了超过2000万美元的以太币交易额，凸显了用户对基于区块链应用的浓厚兴趣。
• 智能合约作为自执行代码实现，具备区块链上的持久化存储，从而支持去中心化应用的构建。
• 尽管前景广阔，智能合约在安全性、形式化验证以及高负载下的性能方面仍面临重大挑战。
• 本文识别出智能合约开发在形式化验证与工具支持方面存在空白，表明该领域亟需进一步研究。
• 现有研究表明，形式化方法与静态分析在提升智能合约可靠性方面日益受到关注，但实际应用仍有限。