契约是图灵的完全契约。他们不是无国籍的。它们可以存储计算的数据。任何合同杰克从其他合同中获得一些数据。智能合约以消息的形式在网络中传播，而以太坊中的合约存储在交易中。智能合同的概念是由NickSzabo于1994年提出的。合同被定义为一组以数字形式定义的承诺，包括合同参与者可以执行这些承诺的协议。
什么是智能合约？
智能合约，英文名Intelligent contract。这个术语至少可以追溯到1995年，它由多产的跨领域法律学者尼克萨博提出来，这个概念几乎与互联网同时出现。智能合约是基于密码学技术的数字化合同，是一种计算机程序。是旨在以信息化方式传播验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易。
区块链的智能合约是什么意思？
智能合约这一概念是由Nick Szabo于1994年提出，该合约被定义为一套以数字形式定义的承诺，包括合约参与方可以在上面执行这些承诺的协议。不同于传统合约，该合约基于区块链技术而发展以数字为表现形式并主要通过计算机网络技术而自动执行。人们对其最为常见的认识就是将其视为是一段自动运行的代码，一段由计算机自动执行的程序，当预设的触发条件成就时合约即自动执行，相较于一般的电子合约来说更进一步。
但是，只有结合了区块链技术分布式记账技术的代码合约才可以被视为真正的智能合约，而该合约的核心则是区块链技术。区块链技术具体表现为一种开放的分布式数据库，该技术使得该合约可以在一种完全公开透明和不可被篡改的环境中运行。在这种环境的理想运作下，合约双方不再需要特定的企业来担任中间商或担保机构，所有交易都是公开透明的，即实现了去中心化去信任化的目标。
区块链的提出使智能合约的执行获得了可信的环境，比特币交易中的输出条件是用脚本描述的，这也是智能合约的雏形。以太坊首先实现了区块链和智能合约的完美契合。在智能合约的概念模式如图，一般而言，智能合约封装预定义的若干状态转换规则触发条件以及应对操作等，经各方签署后以程序代码的形式附着在区块链数据上，经对等计算机网络传播和节点验证后记入各个节点的分布式账本中，区块链可以实时监控整个智能合约的状态，在核查外部数据源确认满足特定的触发条件后激活并执行合约。
以太坊是目前开发智能合约最常用的平台，特定的基于堆栈的二进制字节码即以太坊虚拟机字节码组成了以太坊的智能合约。这个合约可以利用SoliditySerpentLLL等高级语言编写，然后编译为EVM字节码存储执行。以太坊中智能合约是存储在以太坊区块链中特定地址的代码功能和数据状态的集合。智能合约以消息的形式在网络中传播，以太坊中合约则是存储于交易之中。
EVM根据交易中是否有代码来判断交易是否为合同。如果交易信息是代码，则可以执行合同。如果在执行过程中发现合同账户不存在，系统会自动创建合同地址，并将合同存入该账户。虽然以太坊中的智能合约可以用来实现类似比特币的账户余额认证方案，但它与比特币脚本有着显著的区别。契约是图灵的完全契约，不是无状态的，他们可以存储计算出来的数据。任何合同杰克从其他合同中获得一些数据。
