智能合约（Smart contract）

一、简介

概念：是指一份能自动执行本需要手动才能完成任务的协议。智能合约就是任何能自动执行部分功能的协议。例如，一份能自动计算合同当事人待付金额，并安排支付这笔金额的合约。智能合约将减少协议执行过程中的人工干预。

目的：提供优于传统合约的安全方法，并减少与合约相关的其他交易成本交易成本。

智能合约概念于1995年由Nick Szabo首次提出。他的定义如下：“一个智能合约是一套以数字形式定义的承诺（promises），包括合约参与方可以在上面执行这些承诺的协议。”

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

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

　　（1）达成协定

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

　　（2）合约执行

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

　　（3）计算机可读的代码

        另外，合约需要的特定“数字形式”非常依赖于参与方同意使用的协议。

协议

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

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

二、应用场景

智能合约可以应用在数字身份、记录、证券、贸易金融、衍生产品、财政数据纪律、抵押、土地所有权纪律、供应链、汽车保险、临床试验、癌症研究中。

在这里仅讲述智能合约在区块链中的作用，毕竟作为区块链的核心技术之一，智能合约在数字货币上发挥了巨大的作用。

三、Solidity

智能合约有好几种：

Solidity：有点类似Javascript风格, 文件的后缀名是.sol.。

Serpent：与Python风格类似的Serpent, 文件的后缀名是.se。

LLL：类似Lisp，估计好多人都没听说过这个语言。

不过目前最广泛使用的是：Solidity，这一节就介绍一下Solidity。

3.1、Solidity简介

Solidity是用于实现智能合约的一种面向合约的高级编程语言，Solidity受到C++、Python和JavaScript的影响，被设计为可运行在以太坊虚拟机（EVM）上，所以用户无需担心代码的可移植性和跨平台等问题。

Solidity是一种静态类型的语言，支持继承、库引用等特性，并且用户可自定义复杂的结构类型。

目前尝试 Solidity 编程的最好的方式是使用 Remix （由于是网页IDE可能加载起来需要一定的时间）。Remix 是一个基于 Web 的 IDE，它可以让你编写 Solidity 智能合约，然后部署并运行该智能合约。

3.2、核心语言特性：安全、对智能合约特定业务的支持

安全：

首先交易是真金白银，所以安全是第一位。而区块链是一个环境，智能合约部署之后，修改是非常麻烦的事情，所以智能合约的代码就需要极高的安全性。而JavaScript是弱类型语言，代码的安全性上不够，所以这也是为什么JavaScript添加强类型之后的TypeScript变得更加流行的原因之一。

Solidity是一门静态类型语言，也是强类型语言，对于一些常见错误，开发者可以通过编译迅速捕捉到，从而进行修改，增强了安全性。另外，后端常用的Java、C++等语言的安全性也很高，但是对系统的要求很高，对系统负荷很大。所以在安全性和性能负荷上，Solidity是综合考量后的优势选择。

对智能合约特定业务的支持：

智能合约不一定是一个现实意义的合约，即使一个只打印 Hello World 的程序，只要部署到区块链上，我们也叫它做一个智能合约。但是话说回来，智能合约的很常见的一种作用就是来实现合约，常见的编程语言对于这一点是没有特殊支持的，而 Solidity 就专门对此作了优化，甚至专门添加了一种类型，就叫 contract 。除了对于合约的支持，以太坊之所以迅速火爆，跟它的能够轻松发代币的能力是分不开的，所以 Solidity 之下有专门的数据类型叫做 address ，可以用来在发代币的时候设置铸币人地址。

3.3、学习资源

官网：计算机，有中文版文档

Remix：http://remix.ethereum.org 。这是以太坊官方推出的一个 Solidity 的在线集成开发环境。提供了文件浏览器，带高亮支持的代码编辑器，调试工具，甚至有编译功能。Remix 是每个 Solidity 开发者都在用的项目。

登链社区：登链社区 - 区块链技术爱好者都在这里https://learnblockchain.cn/登链社区 - 区块链技术爱好者都在这里https://learnblockchain.cn/    也有中文版文档以及安装环境等教程