Nick Szabo 于 1996 年首次提出了智能合约的 概念：一个智能合约是一套以数字形式定义的约定，包括合约参与方可以在上面执行这些约定的协 议。
区块链为智能合约提供了一个去中心化、不可 篡改、公开透明的运行环境，使得智能合约无需信 任第三方即可根据预设合约协议自动执行。目前针 对智能合约的研究主要围绕智能合约虚拟机、智能 合约升级、链下数据可信喂养等方面展开。
智能合约虚拟机可以分为两大类：自主可控的 虚拟机，如
以太坊虚拟机（EVM）；使用现有成熟 的编译运行环境的虚拟机，如 Java 虚拟机（JVM）。使用现有成熟编译运行环境的虚拟机运行效率较 高，但不可控因素较多，而 EVM 等自主可控的虚 拟机当前的运行效率还存在较大问题。目前的研究 工作主要有 Solidity 编译器的优化、适合智能合约 的 Web 程序集（WASM）执行环境研发等，上述工 作均处于早期研究阶段。
智能合约是现实世界契约的计算机化交易协 议，在智能合约的开发过程中，开发者无法将所有 情况考虑在内，当链上的智能合约没有按照预期运 行时，就需要升级智能合约，并且对智能合约的行 为作出解释。Corda 提出将合约法律文本与代码结 合存储于链上，当合约代码发生未预期的行为时以 法律文本为准，但仍缺乏代码可升级的灵活性，因 此一套可升级且可解释的智能合约完整方案是智能 合约大规模应用的关键所在。
智能合约存在于区块链空间，与链下真实世界 活动相关联是其大规模应用的前提。Oraclize 将智 能合约与 Web API 通过加密证明链接起来，使得智 能合约无需额外的信任，即可获得现实世界的真实 活动数据；IC3 提出可信数据喂养系统 Town Crier （TC），通过英特尔最新可信硬件 SGX 向智能合约 提供认证可信以及机密性数据。然而，现有的可信 数据喂养解决方案灵活性较差，如 Oraclize 需要将 整个 https 请求响应返回并且依赖于链下的中心化 服务器，TC 无法支持代码的更新，需要研究新型 灵活、可信的数据喂养方案以满足智能合约对链外 数据的喂养需求。
版权申明：本内容来自于互联网，属第三方汇集推荐平台。本文的版权归原作者所有，文章言论不代表链门户的观点，链门户不承担任何法律责任。如有侵权请联系QQ：3341927519进行反馈。
