智能合约

智能合约（）是一種智能協議，在區塊鏈内制定合約時使用，當中內含了程式碼函式 (Function)，亦能與其他合約進行互動、做決策、儲存資料及傳送以太幣等功能。智能合約主力提供驗證及執行合約內所訂立的條件。智能合約允許在没有第三方的情况下進行可信交易。這些交易可追踪且不可逆轉。智能合约概念于1994年由一名身兼電腦科學家及密碼學專家的學者尼克·薩博首次提出。

智能-{zh-hans:合同; zh-hant:合約}-的目的是提供优于传统-{zh-hans:合同; zh-hant:合約}-方法的安全，并减少与-{zh-hans:合同; zh-hant:合約}-相关的其他交易成本。

安全问题
智能合约是“执行合约条款的计算机交易协议”。 区块链上的所有用户都可以看到基于区块链的智能合约。但是，这会导致包括安全漏洞在内的所有漏洞都可见，并且可能无法迅速修复。

这样的攻击难以迅速解决，例如，2016年6月Ether的漏洞造成损失5000万美元，而开发者试图达成共识的解决方案。 DAO的程序在黑客删除资金之前有一段时间的延迟。以太坊软件的一个硬分叉在时限到期之前完成了攻击者的资金回收工作。

以太坊智能合约中的问题包括合约编程Solidity、编译器错误、以太坊虚拟机错误、对区块链网络的攻击、程序错误的不变性以及其他尚无文档记录的攻击。

2018年4月22日， BeautyChain智能合約出現重大漏洞，黑客通過此漏洞無限生成代幣，導致 BitEclipse (BEC)的價值接近歸零。 同月25日，SmartMesh出現疑似重大安全漏洞，宣佈暫停所有SMT交易和轉賬直至另行通知，導致損失約1.4億美金。 28日，EOS被指可能存在BEC代幣合約類似的整數溢出漏洞，但沒消息詳細説明。5月24日， BAI交易存在大量異常問題， 損失金額未知。  8月22日， GODGAME 合約被黑客入侵，GOD智能合約上的以太坊總數歸零。

案例
部署智能合约的案例有：
 以太坊在其区块链上运行了一种近乎图灵完备的语言，这是一个突出的智能合约框架。
 RootStock (RSK) 是一个智能合约平台，通过侧链技术连接到比特币区块链。 RSK兼容为以太坊创造的智能合约。
EOS 的EOS.IO合约（也称为应用程序）作为预编译的Web Assembly（又名WASM）部署到区块链中。 
智能法律合约语言于2018年出现，中国电子学会于2020年12月正式确立相关技术标准。

流行文化
的2002年小说《》提出了一种“权利经济”，其中所有的物理对象都有合同要求的纳米标记，这样就可以对专有信息的所有用途实施付款，例如，深空军事任务必须不断证明每艘船舶的效益比率否则将停止工作。

参考资料

参见
区块链
比特币
安全多方计算
共识机制

外部連結
 The Idea of Smart Contracts
 «Late on payments? Device won’t let car engine start.»
 What is a smart contract?

區塊鏈
计算机法律
契約
密碼貨幣
物聯網