机。 图 图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 既有的基本特性（如多方共识，难以篡改，可追溯等，安全性等）基础上，还可以实现具有一定业务逻 辑的业务契约，如李嘉图合约（The Ricardian Contract），也可以使用智能合约来实现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 执行‘freezeContract‘、‘unfreezeContract‘和‘grantContractStatusManager‘三个合约管理的控制台命 令，需指定私钥启动控制台，用于进行操作权限判断。该私钥为部署指定合约时所用的账号私钥，即部 署合约时也许指定私钥启动控制台。 freezeContract 运行freezeContract，对指定合约进行冻结操作。参数： • 合约地址：部

机。 图 图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 既有的基本特性（如多方共识，难以篡改，可追溯等，安全性等）基础上，还可以实现具有一定业务逻 辑的业务契约，如李嘉图合约（The Ricardian Contract），也可以使用智能合约来实现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 执行‘freezeContract‘、‘unfreezeContract‘和‘grantContractStatusManager‘三个合约管理的控制台命 令，需指定私钥启动控制台，用于进行操作权限判断。该私钥为部署指定合约时所用的账号私钥，即部 署合约时也许指定私钥启动控制台。 freezeContract 运行freezeContract，对指定合约进行冻结操作。参数： • 合约地址：部

块化设计，已经支持受到社区广泛欢迎的EVM，将会支持更多的虚拟机。 图灵完备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 既有的基本特性（如多方共识，难以篡改，可追溯等，安全性等）基础上，还可以实现具有一定业务逻 辑的业务契约，如李嘉图合约（The Ricardian Contract），也可以使用智能合约来实现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 0.4/start_all.sh 至此，已经搭建了一条多机4节点区块链系统，接下来需要检查区块链节点是否正常工作。 第四步. 检查区块链节点 检查进程是否启动成功 登录每台机器，执行如下命令判断进程是否启动成功： ps aux | grep fisco | grep -v grep 正常情况，每台机器都会有类似下面的输出； fisco 29306 0.8 0.1 747008 31488

块化设计，已经支持受到社区广泛欢迎的EVM，将会支持更多的虚拟机。 图灵完备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 既有的基本特性（如多方共识，难以篡改，可追溯等，安全性等）基础上，还可以实现具有一定业务逻 辑的业务契约，如李嘉图合约（The Ricardian Contract），也可以使用智能合约来实现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 0.4/start_all.sh 至此，已经搭建了一条多机4节点区块链系统，接下来需要检查区块链节点是否正常工作。 第四步. 检查区块链节点 检查进程是否启动成功 登录每台机器，执行如下命令判断进程是否启动成功： ps aux | grep fisco | grep -v grep 正常情况，每台机器都会有类似下面的输出； fisco 29306 0.8 0.1 747008 31488

块化设计，已经支持受到社区广泛欢迎的EVM，将会支持更多的虚拟机。 图灵完备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 既有的基本特性（如多方共识，难以篡改，可追溯等，安全性等）基础上，还可以实现具有一定业务逻 辑的业务契约，如李嘉图合约（The Ricardian Contract），也可以使用智能合约来实现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 0.4/start_all.sh 至此，已经搭建了一条多机4节点区块链系统，接下来需要检查区块链节点是否正常工作。 第四步. 检查区块链节点 检查进程是否启动成功 登录每台机器，执行如下命令判断进程是否启动成功： ps aux | grep fisco | grep -v grep 正常情况，每台机器都会有类似下面的输出； fisco 29306 0.8 0.1 747008 31488

机。 图 图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 既有的基本特性（如多方共识，难以篡改，可追溯等，安全性等）基础上，还可以实现具有一定业务逻 辑的业务契约，如李嘉图合约（The Ricardian Contract），也可以使用智能合约来实现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 检 检查 查 查区 区 区块 块 块链 链 链节 节 节点 点 点 检 检 检查 查 查进 进 进程 程 程是 是 是否 否 否启 启 启动 动 动成 成 成功 功 功 登录每台机器，执行如下命令判断进程是否启动成功： ps aux | grep fisco | grep -v grep 正常情况，每台机器都会有类似下面的输出； fisco 29306 0.8 0.1 747008 31488

检 检查 查 查区 区 区块 块 块链 链 链节 节 节点 点 点 检 检 检查 查 查进 进 进程 程 程是 是 是否 否 否启 启 启动 动 动成 成 成功 功 功 登录每台机器，执行如下命令判断进程是否启动成功： ps aux | grep fisco | grep -v grep 正常情况，每台机器都会有类似下面的输出； fisco 29306 0.8 0.1 747008 31488 若某些机器没有类似以上的输出，请检查机器的30300, 20200, 8545端口是否被占用。 检 检 检查 查 查网 网 网络 络 络连 连 连接 接 接是 是 是否 否 否正 正 正常 常 常 登录每台机器，执行如下命令判断节点网络连接是否正常： tail -f ~/fisco/*/node0/log/* |grep -i connected 正常情况会不停地输出连接信息，从输出可以看出该节点与其他机器节点连接正常。 heartBeat,connected count=3 检 检 检查 查 查区 区 区块 块 块链 链 链共 共 共识 识 识是 是 是否 否 否正 正 正常 常 常 登录每台机器，进入操作目录，执行如下命令判断节点共识是否正常： tail -f ~/fisco/*/node0/log/* |grep -i +++ 正常情况会不停输出++++Generating seal，表示共识正常。 info|2020-12-22

机。 图 图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 既有的基本特性（如多方共识，难以篡改，可追溯等，安全性等）基础上，还可以实现具有一定业务逻 辑的业务契约，如李嘉图合约（The Ricardian Contract），也可以使用智能合约来实现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 执行‘freezeContract‘、‘unfreezeContract‘和‘grantContractStatusManager‘三个合约管理的控制台命 令，需指定私钥启动控制台，用于进行操作权限判断。该私钥为部署指定合约时所用的账号私钥，即部 署合约时也许指定私钥启动控制台。 freezeContract 运行freezeContract，对指定合约进行冻结操作。参数： • 合约地址：部

超级链中默认密码学插件使用的是Nist P256 + ECDSA，在不额外指定的情况 下，超级链启动后会加载默认密码学插件。 之前说过，通过密码学插件管理器可以按照公私钥自动识别需要加载的插件类 型，那么超级链如何根据密钥来判断应该使用哪种密码学插件呢？其实，不同 的密码学插件是通过密钥中的曲线类型来确定的，目前系统中定义了三种不同 的曲线类型： P-256 : 使用Nist P256+ECDSA的默认插件； P-256-SN core/xchaincore.go 文件 中，其中与共识模块交互的函数主要有2个，分别是 Miner() 和 SendBlock() ： 1. Miner(): 这个函数的主要功能有2点，首先判断自己是否为当前的矿工，当 判断自己是矿工时需要进行区块打包。 2. SendBlock(): 这个函数是节点收到区块时的核心处理逻辑，当节点收到一 个区块时会调用共识模块的相关接口进行区块有效性的验证，当验证通过 未确认列表中TxPool中; 2. 节点的Miner流程通过访问Consensus模块判断自己是否为当前的矿工； 3. 当节点判断自己是矿工时需要从TxPool中拉取交易并进行区块的打包； 4. 当矿工完成打包后会将区块广播给其他的验证节点，同时会通过步骤7将 区块写入到账本； 5. 如果某个时刻其他节点判断自己是矿工，同样地会按照上述1-5流程进行 区块打包，打包完后会将区块广播给该节点；

的EVM， 将会支持更多的虚拟机。 图灵完备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵 （1912～1954）提出的一种抽象计算模型，引申到区块链领域，主要指合约 支持判断、跳转、循环、递归等逻辑运算，支持多种数据类型如整形、字符 串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接 口等，这样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的 简单脚本进行区分。 可追 溯等，安全性等）基础上，还可以实现具有一定业务逻辑的业务契约，如李 嘉图合约（The Ricardian Contract），也可以使用智能合约来实现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解 决输入的问题，并结束执行，释放资源。想象一下，一个合约在全网部署， 在被调用时在每个节点上都会执行，如果这个合约是个无限循环，就意味着 可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完 方法二: 直接登录机器启动区块链节点 至此，已经搭建了一条多机4节点区块链系统，接下来需要检查区块链节点是 否正常工作。 第四步. 检查区块链节点 检查进程是否启动成功 登录每台机器，执行如下命令判断进程是否启动成功： try to start node0 node0 start successfully # 启动196.168.0.2机器上部署的区块链节点 $ ssh fisco@196