智能合约从入门到精通：智能合约的前世此生

简介：区块链技术由来已久。2008年，神秘的日裔美国人中本聪天才设计出来的电子货币系统：比特币，为人类打开了区块链的大门。2009年，他发布了首个比特币软件，并正式启动了比特币金融系统。依靠POW算法的比特币随着人们认知，2016年之后区块链也为人们所追捧。而以太坊的快速发展，区块链已经进化出智能合约、DApp等新的技术，区块链2.0、3.0时代也正在来临。本文将详细介绍智能合约是什么。

区块链是分布式数据存储、点对点传输、共识机制、加密算法等计算机技术的新型应用模式。所谓共识机制是区块链系统中实现不一样节点之间创建信任、获取权益的数学算法。这套理论由中本聪在2008年提出，并在2009年发布了首个比特币软件。

比特币基于Pow算法：经过与或运算，计算出一个知足规则的随机数，即得到本次记帐权，发出本轮须要记录的数据，全网其它节点验证后一块儿存储，以工做量证实其价值。虽然其彻底去中心化的特色是区块链的核心思想，也暴露出比特币Pow共识算法的弊端：资源大量浪费、共识达成的周期较长和易分叉。

因而，以太坊以Pos+Pow相结合公式算法给出区块链更大的发展空间，也应运而生出智能合约这一律念。

那什么又是智能合约呢？

首先，咱们但愿你们了解智能合约的本质。同时，在人们了解智能合约的时候，也解除你们对区块链在法律上面的误解。

智能合约不是一个新的概念。“智能合约”（smart contract）这个术语至少能够追溯到1995年，是由多产的跨领域法律学者尼克·萨博（Nick Szabo）提出来的。他在发表在本身的网站的几篇文章中提到了智能合约。他的定义以下：

智能合约（英语：Smart contract ）是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约容许在没有第三方的状况下进行可信交易。这些交易可追踪且不可逆转。

承诺

一套承诺指的是合约参与方赞成的（常常是相互的）权利和义务。这些承诺定义了合约的本质和目的。以一个销售合约为典型例子。卖家承诺发送货物，买家承诺支付合理的货款。

数字形式

数字形式意味着合约不得不写入计算机可读的代码中。这是必须的，由于只要参与方达成协定，智能合约创建的权利和义务，是由一台计算机或者计算机网络执行的。

更进一步地说明：

（1）达成协定

智能合约的参与方何时达成协定呢？答案取决于特定的智能合约实施。通常而言，当参与方经过在合约宿主平台上安装合约，致力于合约的执行时，合约就被发现了。

（2）合约执行

“执行”的真正意思也依赖于实施。通常而言，执行意味着经过技术手段积极实施。

（3）计算机可读的代码

另外，合约须要的特定“数字形式”很是依赖于参与方赞成使用的协议。

协议

协议是技术实现（technical implementation），在这个基础上，合约承诺被实现，或者合约承诺实现被记录下来。选择哪一个协议取决于许多因素，最重要的因素是在合约履行期间，被交易资产的本质。

再次以销售合约为例。假设，参与方赞成货款以比特币支付。选择的协议很明显将会是比特币协议，在此协议上，智能合约被实施。所以，合约必需要用到的“数字形式”就是比特币脚本语言。比特币脚本语言是一种非图灵完备的、命令式的、基于栈的编程语言，相似于Forth。

从理论到实践

剧透：若是你了解比特币协议、比特币货币和智能财产的概念，你能够跳过这一章节。

当萨博在近二十年之前，在网络提出了智能合约理论时，实践一直严重地落后于理论。一直没有如何将这个理念转变现实的清晰路径。

如今，技术已经遇上萨博富有远见的头脑，智能合约开始变得可行。在这二十年中发生了什么事情呢？

简而言之，萨博在他的智能合约定义中创建的协议，已经被进一步开发。它们已经以比特币协议的形式出现，或者更加通常地说，这些协议可以实现中本聪共识（Nakamoto consensus）。

在这些协议被开发的同时，咱们得到了另外一个必需的构件：第一种真正的、原生的数字资产，即做为货币的比特币。没有这种资产，智能合约也将不可行，由于金融部门在过去的几十年中，一直对任何创新抱有极端的敌意。

最后，另外一个尚未结出果实的概念是智能财产。咱们正在进入一个计算和链接无所不在的时代，通俗地讲，就是物联网。物理实体可以从互联网中检索信息和向互联网发送信息，它们也可以经过软件控制它们自身的使用（想一想数字版权管理吧），这使得咱们可以创建萨博所指的嵌入式合约（embedded contracts）。

“智能合约的基本理念是，许多合约条款可以嵌入到硬件和软件中。”

萨博认为嵌入式合约最初的应用实例是自动贩卖机、销售点终端、大公司间的电子数据交换和银行间用于转移和清算的支付网络SWIFT、ACH、FedWire。另外一个嵌入式合约的例子是数字内容消费–例如音乐、电影和电子书–领域的数字版权管理机制。

从这个意义上理解，智能合约是赛博空间（虚拟空间）和物理空间（实体空间）之间的桥梁。

智能VS法律

人们对智能合约概念的最多的困惑，源于它的名字和用于描述它的语言。人们彷佛从“合约”这一术语中，推断出智能合约必定与法律概念中的合约有某种联系。那么，根据这个逻辑，智能合约是有法律约束力的协定加上其它因素（X），X使得协定变得“智能”。

从法律的角度，这一推测是错误的。根据参与方选择的智能合约实施，参与双方或者多方彻底可能进入一个不知足合法的合约所必需条件的“智能合约”。

然而，不能否认的是，智能合约必须被归类为与法律相关的行为。咱们生活在一个被法律管理和控制的世界，全部可能的经济交易也被法律管理和控制。合约法只是组织经济交易的一种可能的工具。

让咱们看一下合约法和智能合约的交集部分。咱们可否发现一个可以描述这两个系统的合约行为的归纳呢？引用萨博的论文：

“合约–一套达成共识的协定–是造成关系的传统方式。”

萨博告诉咱们的是，“合约”的抽象概念是在我的、机构和他们拥有的东西（财产）之间造成关系的一种公认的工具。然而，上面的引用并不清晰，参与方如何达成协定，如何造成协定，没有讲到。

协定

协定是一个彻底的理想状况，从它在正式系统中的实施中抽象而来。固然，事实上这是一个脆弱的抽象。在法律系统中，在许多状况下，具备法律约束力，不要求造成一个协议。与此相反，对智能合约来讲，在许多状况下，在形式化之前，没有事前协定。

形式化

形式化在这里的意思是，在一个正式系统实施理想的协定的行为。有两个相关的正式系统。一个是合约法，另外一个是你选择的智能合约系统。这两个系统都服务于相同的目的：当违约行为发生时，使得协定可以执行。

从通常角度理解，对于合约是怎么形式化的这一问题，有人认为它只是实施细节。然而，事实证实，合约的实施的确事关重大。

如今有两种本质上不一样的、造成一种合约关系的方式。这两种方式是大相径庭的，由于它们须要不一样的执行方式。

执行

在Lessig的最第一版本中，是一我的位于信息图的中间，不是一个合约。这位了不得的思考者用他的信息图，努力教给咱们这些凡人的是，有四种最基本的约束影响着一我的的一辈子。这四个约束本质上大相径庭的，可是以复杂的方式交织在一块儿。

我对原版的信息图作出了修改，用合约取代了人，这里的合约是指双方或者多方之间达成的协定。有趣的是，作出修改之后，这个信息图仍然有效。这四个约束就像管理着人同样，管理着合约关系。

另外，我着重强调这四个约束中的两个约束，即架构和法律。这两个约束是合约可以被执行的两个最基本的动力。根据参与方选择的协定实施的系统，合约将经过法律系统执行，或者经过架构执行。这两种合约执行模式显著不一样。

Lessig认识到合约执行的两个特征，能够帮助咱们谈论两种合约执行模式的不一样。一个是代理（agency），另外一个是时间性（temporality）。在法律意义上，合约的执行，只有当一些人选择这样作时，才会发生。此外，执行只发生在违约之后，例如过后。

智能合约的执行在这两个方面，本质上不一样于传统合约。为了理解是如何不一样的，咱们须要首先理解Lessig所指的架构是什么意思。

Lessig在他的《代码：网络空间的法律》一书中，为了解释代码在赛博空间中的做用，引入了架构的概念。物理空间的形状，就是你的身体穿梭其中的空间，是由它的架构决定的，例如建筑环境（建筑物、街道等）。如此相似，赛博空间的形状是由代码决定的，人们使用的应用和协议就是创建在这些代码上面的。所以，代码是赛博空间的架构。

法律和架构都有方法管理参与方的行为。法律依赖于我的将规则内化，我的据此调整本身的行为，或者该系统容许法律追索权（例如法庭）。然而，架构经过塑造空间自己管理行为。架构不是关于容许什么，而是什么是可能的。架构既不依靠我的将规则内化，也不依靠起诉系统。

根据咱们衡量合约执行的质量的标准，例如代理和时间性，所以架构明显地不一样于法律。架构执行合约时，不须要任何我的或者组织（代理，agency)决定如何执行合约，你能够称架构执行为自我执行（self-enforcing），虽然我不喜欢这种叫法。另外，架构事前执行，违约甚至不可能发生。

 安全问题

智能合约是“执行合约条款的计算机交易协议”。区块链上的全部用户均可以看到基于区块链的智能合约。可是，这会致使包括安全漏洞在内的全部漏洞均可见，而且可能没法迅速修复。

这样的攻击难以迅速解决，例如，2016年6月The DAOEther的漏洞形成损失5000万美圆，而开发者试图达成共识的解决方案。DAO的程序在黑客删除资金以前有一段时间的延迟。以太坊软件的一个硬分叉在时限到期以前完成了攻击者的资金回收工做。

以太坊智能合约中的问题包括合约编程Solidity、编译器错误、以太坊虚拟机错误、对区块链网络的攻击、程序错误的不变性以及其余尚无文档记录的攻击。

案例

部署智能合约的案例有：

以太坊在其区块链上实施了一种近乎图灵完备的语言，这是一个突出的智能合约框架。

RootStock(RSK) 是一个智能合约平台，经过侧链技术链接到比特币区块链。 RSK兼容为以太坊创造的智能合约。

将来展望

有一件事肯定无疑：智能合约已经扎下根了。它们是真正的全球经济的基本构件，任何人均可以接入到这一全球经济，不须要事前审查和高昂的预付成本。它们从许多经济交易中，移除了对第三方的信任必要，在其它状况下，将信任转移到能够信任的人和机构。

智能合约怎样与合约法共存呢？本质上，它们是解决相同问题–以一种方式造成一种关系，使得承诺能够执行–的两种不一样方法。就这一点而言，智能合约彷佛是更好的解决方案：智能合约事前执行，不像法律系统同样，过后执行。然而，这是一种谬误。最后一次引用全能的萨博：

“合约法的成功和取代合约法所需的高额成本，使得保存和利用合适的原则，仍然颇有价值。可是，数字革命正在剧烈地改变咱们可以拥有的各类关系。在这个赛博时代，咱们来之不易的法律传统中的哪一部分，将仍然具备价值？将这些法律原则应用到咱们的线上关系设计，最好的方式是什么？”

本文内容援引百度百科及http://www.8btc.com/what-are-smart-contracts-in-search-of-a-consensus

关于矩阵元：矩阵元是一家全球领先的下一代计算机构领导厂商，致力于面向下一代价值互联网的计算架构，解决海量数据、边缘计算、人工智能技术条件下的数据流动性，推进基于隐私保护与密码安全的数据交换与协同计算。

http://www.juzix.net/