智能合约:修订间差异
Antigng-bot(留言 | 贡献) 小 bot: date cleanup |
調整格式、排版 |
||
第4行: | 第4行: | ||
{{Expand language|en}} |
{{Expand language|en}} |
||
}} |
}} |
||
'''智能合约'''({{lang-en|Smart contract }})是一種特殊協議,在區塊鏈内制定合約時使用,當中內含了程式碼函式 (Function),亦能與其他合約進行互動、做決策、儲存資料及傳送以太幣等功能。智能合約主力提供驗證及執行合約內所訂立的條件。智能合約允許在没有第三方的情况下進行可信交易。這些交易可追踪且不可逆轉。<ref>{{cite news|title=Smart Contracts, Explained|url=https://cointelegraph.com/explained/smart-contracts-explained|agency=Cointelegraph|date=2017-10-31}}</ref>智能合约概念于1994年由一名身兼電腦科學家及密碼學專家的學者尼克 ‧ 薩博 ([[Nick Szabo]])首次提出。<ref>{{Cite web|url=https://www.fisc.com.tw/Upload/b0499306-1905-4531-888a-2bc4c1ddb391/TC/9005.pdf|title=智能合約的發展與應用|accessdate=20/2/2019|author=陳 恭|date=|publisher=}}</ref><ref name=":2">{{Cite web|url=http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart_contracts_2.html|title=Nick Szabo -- Smart Contracts: Building Blocks for Digital Markets|website=www.fon.hum.uva.nl|access-date=2017-07-29}}</ref> |
'''智能合约'''({{lang-en|Smart contract }})是一種特殊協議,在區塊鏈内制定合約時使用,當中內含了程式碼函式 (Function),亦能與其他合約進行互動、做決策、儲存資料及傳送以太幣等功能。智能合約主力提供驗證及執行合約內所訂立的條件。智能合約允許在没有第三方的情况下進行可信交易。這些交易可追踪且不可逆轉。<ref>{{cite news|title=Smart Contracts, Explained|url=https://cointelegraph.com/explained/smart-contracts-explained|agency=Cointelegraph|date=2017-10-31}}</ref>智能合约概念于1994年由一名身兼電腦科學家及密碼學專家的學者尼克 ‧ 薩博 ([[Nick Szabo]])首次提出。<ref>{{Cite web|url=https://www.fisc.com.tw/Upload/b0499306-1905-4531-888a-2bc4c1ddb391/TC/9005.pdf|title=智能合約的發展與應用|accessdate=20/2/2019|author=陳 恭|date=|publisher=}}</ref><ref name=":2">{{Cite web|url=http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart_contracts_2.html|title=Nick Szabo -- Smart Contracts: Building Blocks for Digital Markets|website=www.fon.hum.uva.nl|access-date=2017-07-29}}</ref> |
||
第25行: | 第26行: | ||
==流行文化== |
==流行文化== |
||
[[w:Karl Schroeder|Karl Schroeder]]的2002年小说“[[w:Permanence(novel)| Permanence]]”提出了一种“权利经济”,其中所有的物理对象都有合同要求的纳米标记,这样就可以对专有信息的所有用途实施付款,例如,深空军事任务必须不断证明每艘船舶的效益比率否则将停止工作。 |
[[w:Karl Schroeder|Karl Schroeder]]的2002年小说“[[w:Permanence(novel)| Permanence]]”提出了一种“权利经济”,其中所有的物理对象都有合同要求的纳米标记,这样就可以对专有信息的所有用途实施付款,例如,深空军事任务必须不断证明每艘船舶的效益比率否则将停止工作。 |
||
⚫ | |||
⚫ | |||
==参见== |
==参见== |
||
第31行: | 第35行: | ||
*[[安全多方计算]] |
*[[安全多方计算]] |
||
*[[共识机制]] |
*[[共识机制]] |
||
⚫ | |||
⚫ | |||
{{比特币}} |
{{比特币}} |
2019年8月28日 (三) 11:33的版本
智能合约(英語:Smart contract)是一種特殊協議,在區塊鏈内制定合約時使用,當中內含了程式碼函式 (Function),亦能與其他合約進行互動、做決策、儲存資料及傳送以太幣等功能。智能合約主力提供驗證及執行合約內所訂立的條件。智能合約允許在没有第三方的情况下進行可信交易。這些交易可追踪且不可逆轉。[1]智能合约概念于1994年由一名身兼電腦科學家及密碼學專家的學者尼克 ‧ 薩博 (Nick Szabo)首次提出。[2][3]
智能合同的目的是提供优于传统合同方法的安全,并减少与合同相关的其他交易成本。
安全问题
智能合约是“执行合约条款的计算机交易协议”。[4] 区块链上的所有用户都可以看到基于区块链的智能合约。但是,这会导致包括安全漏洞在内的所有漏洞都可见,并且可能无法迅速修复。[5]
这样的攻击难以迅速解决,例如,2016年6月The DAOEther的漏洞造成损失5000万美元,而开发者试图达成共识的解决方案。[6] DAO的程序在黑客删除资金之前有一段时间的延迟。以太坊软件的一个硬分叉在时限到期之前完成了攻击者的资金回收工作。[7]
以太坊智能合约中的问题包括合约编程Solidity、编译器错误、以太坊虚拟机错误、对区块链网络的攻击、程序错误的不变性以及其他尚无文档记录的攻击。[8]
2018年4月22日, BeautyChain智能合約出現重大漏洞,黑客通過此漏洞無限生成代幣,導致BEC的價值接近歸零。[9][10] 同月25日,SmartMesh出現疑似重大安全漏洞,宣佈暫停所有SMT交易和轉賬直至另行通知,導致損失約1.4億美金。[11] 28日,EOS被指可能存在BEC代幣合約類似的整數溢出漏洞,但沒消息詳細説明。5月24日, BAI交易存在大量異常問題, 損失金額未知。 [12] 8月22日, GODGAME 合約被黑客入侵,GOD智能合約上的以太坊總數歸零。[13]
案例
部署智能合约的案例有:
- 以太坊在其区块链上实施了一种近乎图灵完备的语言,这是一个突出的智能合约框架。[8][14]
- RootStock (RSK) 是一个智能合约平台,通过侧链技术连接到比特币区块链。 RSK兼容为以太坊创造的智能合约。[15][16][17][18][19][20]
- EOS的EOS.IO合约(也称为应用程序)作为预编译的Web Assembly(又名WASM)部署到区块链中。
流行文化
Karl Schroeder的2002年小说“ Permanence”提出了一种“权利经济”,其中所有的物理对象都有合同要求的纳米标记,这样就可以对专有信息的所有用途实施付款,例如,深空军事任务必须不断证明每艘船舶的效益比率否则将停止工作。
参考资料
- ^ Smart Contracts, Explained. Cointelegraph. 2017-10-31.
- ^ 陳 恭. 智能合約的發展與應用 (PDF). [20/2/2019].
- ^ Nick Szabo -- Smart Contracts: Building Blocks for Digital Markets. www.fon.hum.uva.nl. [2017-07-29].
- ^ Tapscott, Don; Tapscott, Alex. The Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World. May 2016: 72, 83, 101, 127. ISBN 978-0670069972.
- ^ Peck, M. Ethereum’s $150-Million Blockchain-Powered Fund Opens Just as Researchers Call For a Halt. IEEE Spectrum. Institute of Electrical and Electronics Engineers. 2016-05-28.
- ^ DuPont, Quinn. Experiments in Algorithmic Governance: A history and ethnography of “The DAO,” a failed Decentralized Autonomous Organization (PDF). 2017 [2017-07-29].[永久失效連結]
- ^ Coy, Peter; Kharif, Olga. This Is Your Company on Blockchain. Bloomberg Businessweek. 2016-08-25 [2016-12-05].
- ^ 8.0 8.1 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana, A survey of attacks on Ethereum smart contracts (PDF), 6th International Conference on Principles of Security and Trust (POST), European Joint Conferences on Theory and Practice of Software, 2017
- ^ Yuan, Michael. Building a safer crypto token. CyberMiles. 2018-04-25 [2019-02-11].
- ^ De, Nikhilesh. Crypto Exchanges Pause Services Over Contract Bugs. CoinDesk. 2018-04-25 [2019-02-11] (美国英语).
- ^ SMT Security Update. SmartMesh. 2018-04-26 [2019-02-11] (美国英语).
- ^ Abnormal BAI Trading Activities(2018-05-24 ). KKcoin. [2019-02-13] (美国英语).
- ^ 游戏平台God.Game称遭黑客攻击,智能合约中以太坊总量归零. bcsec.org. [2019-02-19].
- ^ Vitalik Buterin on Tweeter (verified). 2017-04-18.
- ^ RSK – Rootstock Open-Source Smart Contract Bitcoin Technology?.
- ^ Digrate Express rating report on Project Rootstock (PDF).
- ^ Thomas Bocek. Digital Marketplaces Unleashed. Springer-Verlag GmbH. 2017-09-15: 169-184. ISBN 978-3-662-49274-1.
- ^ A Solution for the Problems of Translation and Transparency in Smart Contracts (PDF).
- ^ Trust in Smart Contracts is a Process, As Well (PDF).
- ^ Scripting smart contracts for distributed ledger technology (PDF).