今朝的办理思路从链上、链下可分为两种。

链下的思路进一步扩展了数据来历，一般回收预言机（Oracle）的方法，将外部数据提供应智能合约举办读取，并担保了数据的一致性。

要印证这一概念，需要比及厥后比特币与区块链的成长：相对付以比特币为代表的区块链早期摸索应用，人们遍及承认的区块链2.0阶段的一个重要符号就是智能合约观念的实现，即可以在区块链的漫衍式账本基本上，实现去中心的多方参加、法则透明不行改动、切合条件即可执行的合约。

燃料方法

比特币回收的方法是实现一个图灵不完备的剧本系统。图灵完备系统包罗一系列操纵数据的行动，个中包罗轮回、递归等逻辑操纵，用于实现任何图灵机。而比特币的剧本系统限制了操纵指令的种类，不包括轮回等操纵，因此可同时实现其确定性和可终止性。但这种方法也很洪流平上低落了在比特币上实现合约的可扩展性。

为实现确定性的算法，今朝区块链较多回收的是限制操纵，常见的是，只提供确定性指令或系统函数。

确定性算法

对付确定性算法，我们又可以从“时间”和“空间”的角度别离举办接头。

资源节制方法

除操纵自己差别之外，假如对同一个算法给以差异的数据输入，也会导致功效存在差别。

为了提高可扩展性，比特币之后的许多区块链系统（譬喻以太坊等）开始回进出持图灵完备的智能合约系统，以实现更巨大和更完备的业务逻辑。为了办理支持图灵完备下的可终止性问题并制止网络滥用，以太坊引入了“燃料”（gas）的观念。以太坊智能合约中的每一步操纵和每个账本存储城市对应于必然的gas耗损；当gas耗损完后合约就会被终止。gas方法相当于即时付费的手续费模式，今朝被大大都公有区块链平台所回收。

这意味着区块链从最早期只能转账的“点对点”电子现金系统，成长成为在漫衍式网络上形成可编程、不受过问的合约系统，可以在无须信任情况下实现更巨大、更完备的业务逻辑，为区块链在实际业务场景中的应用打下技能基本。

可终止性

从界说上看，智能合约是一种由呆板实现的协议或措施，但由于运行在需要举办拜占庭容错来告竣共鸣的漫衍式系统情况中，智能合约与一般的计较机措施还存着很大区别。

他同时指出，其时由David Chaum推出的eCash可被视为智能合约的一种典范案例。但eCash厥后并没有乐成一连运行下去。由于没有一个可以实际运行的智能合约场景，这一理论始终逗留在观念阶段，缺少实际的技能支撑。

确定性在传统计较机理论中已有明晰界说：假如给定一个输入，计较机（状态机）颠末同样的状态变革顺序后总会发生沟通的功效，那么这个算法即可被称为是确定性的。

链上的思路为，限制智能合约只能从链上读取已共鸣后的账本信息，以此来到达数据来历沟通的目标。

在空间上，即便每个节点都执行同样的、确定性的指令操纵，但由于节点间的底层呆板指令或操纵系统实现差别也大概导致呈现差异的功效。

确定性数据

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。