EOS智能合约分析
什么是智能合约?
在解释智能合约前，我们先来看看传统合约的形态。合约的本质是由一系列条款组成，每个条款由若干条规则组成，通过向条款中输入固定的参数，会输出固定的结果。传统合约需要由双方共同参与签署确认，同时需要第三方见证人公证后，才具有法律效应，确保合约按照既定的规则执行。这里的第三方通常是具有法律效力的公证方，同时必须是能够精准理解合约条款的专业机构，可以避免双方产生纠纷。比如，在租赁合同中，需要由房东和租客双方共同签署，而中介则扮演了第三方见证人。
随着信息技术的发展，纸质的合约逐渐被电子合约替代。电子合约是用程序代码来实现合约条款，当外部条件满足后，自动执行相应的规则，避免人工参与，提高合约执行效率。比如，信用卡自动还款、股票委托交易等，都采用了电子合约方式。
虽然电子合约实现了合约的自动化执行，但是仍然需要一个第三方仲裁机构参与，比如银行、股票交易所。这些机构相互独立，而且需要协作处理大量的清算、交割任务。这导致了中心化的仲裁模式产生了瓶颈。
智能合约 = 电子合约 + 去中心化仲裁 + 合约间交互
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
智能合约是对电子合约的进一步优化，去除了中心化的第三方仲裁机构，由区块链上所有节点产生的共识，作为合约执行依据。大大减少人工参与工作，进一步提升了合约的执行效率。智能合约本质就是部署在区块链上的一段可执行代码，可以被查询或者调用。智能合约可以与人进行交互，也可以和其它智能合约交互，合约的执行过程完全不需要额外的人工参与。
EOS智能合约分析
EOS智能合约是由一系列action组成，每个action代表一条合约条款，实现了条款中的具体规则。智能合约的执行基于C/S通信架构，分为制作智能合约、部署智能合约和调用智能合约三部分。
1.制作智能合约
智能合约的代码放在eos/contracts/目录下，每个智能合约对应一个独立目录，主要包含cpp文件、hpp文件、abi文件，例如，token合约目录结构如下：
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
其中，hpp头文件主要包含类定义、全局变量、宏定义等等；cpp源文件主要包含合约函数的实现细节；abi文件全名叫做“Application Binary Interface”（应用程序二进制接口），通过abi接口转换层，用户可以通过JSON格式直接调用智能合约里面的action函数。
2.部署智能合约
用户需要将智能合约C++代码编译成WASM格式（一种面向web的二进制格式，也是区块链唯一能够识别的格式），例如，编写一个用来打印hello world的智能合约：
hello/hello.cpp：
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
其中，每个智能合约必须实现一个apply()函数，用来将action请求映射到具体的处理函数，具体的实现细节封装在EOSIO_ABI宏里面。这样，开发者只需要专注合约业务逻辑的开发，而不必关注底层技术细节，简化了智能合约开发的工作。
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
将合约代码变成WASM格式，用于存储在区块链上：
eosiocpp -o hello.wast hello.cpp
生成abi文件，为其它用户提供一个友好的action调用接口：
eosiocpp -g hello.abi hello.cpp
Generated hello.abi
abi文件内容：
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
通过客户端工具cleos，将智能合约发送给服务器，由服务器持久化部署在区块链上，随后可以被其它用户调用执行该合约：
3.调用智能合约
由客户端通过cleos命令发送action请求给服务器。服务器会根据action请求信息，去区块链上找到对应的智能合约代码，并将代码加载到内存中执行，最后将执行结果返回给客户端，下面的命令调用了hello.code智能合约的hi函数，并将“user”作为参数传入：
cleos push action hello.code hi '["user"]' -p user
hello.code <= hello.code::hi {"user":"user"}
>> Hello, user
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
Action处理流程
cleos会将一组action封装成一个transaction数据包发送给服务器。这里借用了数据库事务的概念，一个transaction代表一个事务，在事务内的action要么全部执行，要么都不执行，必须保证事务的原子性。Transaction可以包含一个action，也可以包含多个action，用json格式表示，例如：
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
服务器接收到大量的action请求，然后将action派发到对应的智能合约。每个智能合约都会实现一个apply()函数，用来处理各个action请求。apply()函数包含3个参数，receiver表示处理请求的账号，code表示合约名称，action表示action名称，例如：
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
action在运行之前，EOSIO会为action创建一个运行环境，也叫做Action “Apply” Context，提供程序运行所需的CPU和内存资源，具体的资源申请量取决与账户持有的股权比例，也就是EOS代币。
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
每个服务器都有一个action处理函数集合副本，当客户端发起action请求后，所有服务器会在本地运行action处理函数，并相互校验结果，最后将确认结果返回给客户端，具体流程如下：
EOS代码架构及分析（四）——智能合约分析-比特评级BitRating.com
智能合约的通信模型
智能合约中所谓的智能概念，就是智能合约不但可以和人交互通信，而且可以和其它智能合约进行交互通信。例如，当本次智能合约的transaction中可以调用其它智能合约的action来完成一些工作，或者在未来某个时刻触发其它智能合约的transaction。
EOSIO支持两种基本的通信模型，inline和deferred。其中，inline模型是指在当前的transaction中完成对其它智能合约action的调用，可以简单的认为是transaction的嵌套调用，内部的action失败会导致transaction整体做回退。Deferred模型是指延迟一段时间，或者满足一定条件后才执行，也就是说不能保证一定被执行到。
