fbpx
维基百科

智能合约

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

智能合同的目的是提供优于传统合同方法的安全,并减少与合同相关的其他交易成本

安全问题 编辑

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

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

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

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

案例 编辑

部署智能合约的案例有:

  • 以太坊在其区块链上运行了一种近乎图灵完备的语言,这是一个突出的智能合约框架。[9][15]
  • RootStock (RSK) 是一个智能合约平台,通过侧链技术连接到比特币区块链。 RSK兼容为以太坊创造的智能合约。[16][17][18][19][20][21]
  • EOS (页面存档备份,存于互联网档案馆)的EOS.IO合约(也称为应用程序)作为预编译的Web Assembly(又名WASM)部署到区块链中。
  • 智能法律合约语言[22]于2018年出现,中国电子学会于2020年12月正式确立相关技术标准[23]

流行文化 编辑

卡爾·施羅德英语Karl Schroeder的2002年小说《續航力英语Permanence (novel)》提出了一种“权利经济”,其中所有的物理对象都有合同要求的纳米标记,这样就可以对专有信息的所有用途实施付款,例如,深空军事任务必须不断证明每艘船舶的效益比率否则将停止工作。

参考资料 编辑

  1. ^ Schueffel, Patrick; Groeneweg, Nikolaj; Baldegger, Rico. . Bern, 瑞士: Growth Publisher. 2019 [2020-02-18]. (原始内容存档于2020-05-29). 
  2. ^ Smart Contracts, Explained. Cointelegraph. 2017-10-31 [2018-01-21]. (原始内容于2018-01-21). 
  3. ^ 陳 恭. 智能合約的發展與應用 (PDF). [2019-02-20]. (原始内容 (PDF)于2019-02-20). 
  4. ^ . www.fon.hum.uva.nl. [2017-07-29]. (原始内容存档于2018-04-27). 
  5. ^ 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. 
  6. ^ 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 [2018-01-21]. (原始内容于2016-05-30). 
  7. ^ DuPont, Quinn. (PDF). 2017 [2017-07-29]. (原始内容 (PDF)存档于2017-07-30). 
  8. ^ Coy, Peter; Kharif, Olga. This Is Your Company on Blockchain. Bloomberg Businessweek. 2016-08-25 [2016-12-05]. (原始内容于2016-09-14). 
  9. ^ 9.0 9.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 [2018-01-21], (原始内容 (PDF)于2017-07-10) 
  10. ^ Yuan, Michael. Building a safer crypto token. CyberMiles. 2018-04-25 [2019-02-11]. (原始内容于2019-01-25). 
  11. ^ De, Nikhilesh. Crypto Exchanges Pause Services Over Contract Bugs. CoinDesk. 2018-04-25 [2019-02-11]. (原始内容于2019-01-25) (美国英语). 
  12. ^ SMT Security Update. SmartMesh. 2018-04-26 [2019-02-11]. (原始内容于2019-01-25) (美国英语). 
  13. ^ Abnormal BAI Trading Activities(2018-05-24 ). KKcoin. [2019-02-13]. (原始内容于2019-02-13) (美国英语). 
  14. ^ 游戏平台God.Game称遭黑客攻击,智能合约中以太坊总量归零. bcsec.org. [2019-02-19]. (原始内容于2019-02-19). 
  15. ^ Vitalik Buterin on Tweeter (verified). 2017-04-18. (原始内容于2017-12-11). 
  16. ^ RSK – Rootstock Open-Source Smart Contract Bitcoin Technology?. [2018-01-21]. (原始内容于2017-10-19). 
  17. ^ (PDF). [2018-01-21]. (原始内容 (PDF)存档于2017-10-20). 
  18. ^ Thomas Bocek. Digital Marketplaces Unleashed. Springer-Verlag GmbH. 2017-09-15: 169-184 [2018-01-21]. ISBN 978-3-662-49274-1. (原始内容于2017-10-20). 
  19. ^ A Solution for the Problems of Translation and Transparency in Smart Contracts (PDF). [2018-01-21]. (原始内容 (PDF)于2017-10-20). 
  20. ^ Trust in Smart Contracts is a Process, As Well (PDF). [2018-01-21]. (原始内容 (PDF)于2018-04-03). 
  21. ^ Scripting smart contracts for distributed ledger technology (PDF). [2018-01-21]. (原始内容 (PDF)于2017-10-20). 
  22. ^ He X, Qin B, Zhu Y; et al. Spesc: A specification language for smart contracts. 2018 IEEE 42nd Annual computer software and applications conference (COMPSAC). IEEE, 2018, 1: 132-137. 
  23. ^ Chinese Institute of Electronics, Formal Expression of Blockchain Smart Contract, group standard. Formal Expression of Blockchain Smart Contract (PDF) T/CIE 095-2020. 

参见 编辑

外部連結 编辑

  • What is a smart contract?

智能合约, 本條目存在以下問題, 請協助改善本條目或在討論頁針對議題發表看法, 此條目翻譯品質不佳, 2018年1月21日, 翻譯者可能不熟悉中文或原文語言, 也可能使用了機器翻譯, 請協助翻譯本條目或重新編寫, 并注意避免翻译腔的问题, 明顯拙劣的翻譯請改掛, href, template, html, class, redirect, title, template, href, wikipedia, html, class, redirect, title, wikipedia, 提交刪除, 此條目翻譯自其他. 本條目存在以下問題 請協助改善本條目或在討論頁針對議題發表看法 此條目翻譯品質不佳 2018年1月21日 翻譯者可能不熟悉中文或原文語言 也可能使用了機器翻譯 請協助翻譯本條目或重新編寫 并注意避免翻译腔的问题 明顯拙劣的翻譯請改掛 a href Template D html class mw redirect title Template D d a a href Wikipedia CSD html G13 class mw redirect title Wikipedia CSD G13 a 提交刪除 此條目翻譯自其他語言維基百科 需要相關領域的編者協助校對翻譯 如果您精通本領域 又能清楚地將來源語言翻譯為中文 歡迎您協助校訂翻譯 原文参见维基数据 此條目可参照英語維基百科相應條目来扩充 若您熟悉来源语言和主题 请协助参考外语维基百科扩充条目 请勿直接提交机械翻译 也不要翻译不可靠 低品质内容 依版权协议 译文需在编辑摘要注明来源 或于讨论页顶部标记 a href Template Translated page html title Template Translated page Translated page a 标签 智能合约 英語 Smart contract 是一種智能協議 在區塊鏈内制定合約時使用 當中內含了程式碼函式 Function 亦能與其他合約進行互動 做決策 儲存資料及傳送以太幣等功能 智能合約主力提供驗證及執行合約內所訂立的條件 1 智能合約允許在没有第三方的情况下進行可信交易 這些交易可追踪且不可逆轉 2 智能合约概念于1994年由一名身兼電腦科學家及密碼學專家的學者尼克 薩博首次提出 3 4 智能合同的目的是提供优于传统合同方法的安全 并减少与合同相关的其他交易成本 目录 1 安全问题 2 案例 3 流行文化 4 参考资料 5 参见 6 外部連結安全问题 编辑智能合约是 执行合约条款的计算机交易协议 5 区块链上的所有用户都可以看到基于区块链的智能合约 但是 这会导致包括安全漏洞在内的所有漏洞都可见 并且可能无法迅速修复 6 这样的攻击难以迅速解决 例如 2016年6月The DAO 英语 The DAO Ether的漏洞造成损失5000万美元 而开发者试图达成共识的解决方案 7 DAO的程序在黑客删除资金之前有一段时间的延迟 以太坊软件的一个硬分叉在时限到期之前完成了攻击者的资金回收工作 8 以太坊智能合约中的问题包括合约编程Solidity 编译器错误 以太坊虚拟机错误 对区块链网络的攻击 程序错误的不变性以及其他尚无文档记录的攻击 9 2018年4月22日 BeautyChain智能合約出現重大漏洞 黑客通過此漏洞無限生成代幣 導致 BitEclipse BEC 的價值接近歸零 10 11 同月25日 SmartMesh出現疑似重大安全漏洞 宣佈暫停所有SMT交易和轉賬直至另行通知 導致損失約1 4億美金 12 28日 EOS被指可能存在BEC代幣合約類似的整數溢出漏洞 但沒消息詳細説明 5月24日 BAI交易存在大量異常問題 損失金額未知 13 8月22日 GODGAME 合約被黑客入侵 GOD智能合約上的以太坊總數歸零 14 案例 编辑部署智能合约的案例有 以太坊在其区块链上运行了一种近乎图灵完备的语言 这是一个突出的智能合约框架 9 15 RootStock RSK 是一个智能合约平台 通过侧链技术连接到比特币区块链 RSK兼容为以太坊创造的智能合约 16 17 18 19 20 21 EOS 页面存档备份 存于互联网档案馆 的EOS IO合约 也称为应用程序 作为预编译的Web Assembly 又名WASM 部署到区块链中 智能法律合约语言 22 于2018年出现 中国电子学会于2020年12月正式确立相关技术标准 23 流行文化 编辑卡爾 施羅德 英语 Karl Schroeder 的2002年小说 續航力 英语 Permanence novel 提出了一种 权利经济 其中所有的物理对象都有合同要求的纳米标记 这样就可以对专有信息的所有用途实施付款 例如 深空军事任务必须不断证明每艘船舶的效益比率否则将停止工作 参考资料 编辑 Schueffel Patrick Groeneweg Nikolaj Baldegger Rico The Crypto Encyclopedia Coins Tokens and Digital Assets from A to Z Bern 瑞士 Growth Publisher 2019 2020 02 18 原始内容存档于2020 05 29 Smart Contracts Explained Cointelegraph 2017 10 31 2018 01 21 原始内容存档于2018 01 21 陳 恭 智能合約的發展與應用 PDF 2019 02 20 原始内容存档 PDF 于2019 02 20 Nick Szabo Smart Contracts Building Blocks for Digital Markets www fon hum uva nl 2017 07 29 原始内容存档于2018 04 27 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 2018 01 21 原始内容存档于2016 05 30 DuPont Quinn Experiments in Algorithmic Governance A history and ethnography of The DAO a failed Decentralized Autonomous Organization PDF 2017 2017 07 29 原始内容 PDF 存档于2017 07 30 Coy Peter Kharif Olga This Is Your Company on Blockchain Bloomberg Businessweek 2016 08 25 2016 12 05 原始内容存档于2016 09 14 9 0 9 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 2018 01 21 原始内容存档 PDF 于2017 07 10 Yuan Michael Building a safer crypto token CyberMiles 2018 04 25 2019 02 11 原始内容存档于2019 01 25 De Nikhilesh Crypto Exchanges Pause Services Over Contract Bugs CoinDesk 2018 04 25 2019 02 11 原始内容存档于2019 01 25 美国英语 SMT Security Update SmartMesh 2018 04 26 2019 02 11 原始内容存档于2019 01 25 美国英语 Abnormal BAI Trading Activities 2018 05 24 KKcoin 2019 02 13 原始内容存档于2019 02 13 美国英语 游戏平台God Game称遭黑客攻击 智能合约中以太坊总量归零 bcsec org 2019 02 19 原始内容存档于2019 02 19 Vitalik Buterin on Tweeter verified 2017 04 18 原始内容存档于2017 12 11 RSK Rootstock Open Source Smart Contract Bitcoin Technology 2018 01 21 原始内容存档于2017 10 19 Digrate Express rating report on Project Rootstock PDF 2018 01 21 原始内容 PDF 存档于2017 10 20 Thomas Bocek Digital Marketplaces Unleashed Springer Verlag GmbH 2017 09 15 169 184 2018 01 21 ISBN 978 3 662 49274 1 原始内容存档于2017 10 20 A Solution for the Problems of Translation and Transparency in Smart Contracts PDF 2018 01 21 原始内容存档 PDF 于2017 10 20 Trust in Smart Contracts is a Process As Well PDF 2018 01 21 原始内容存档 PDF 于2018 04 03 Scripting smart contracts for distributed ledger technology PDF 2018 01 21 原始内容存档 PDF 于2017 10 20 He X Qin B Zhu Y et al Spesc A specification language for smart contracts 2018 IEEE 42nd Annual computer software and applications conference COMPSAC IEEE 2018 1 132 137 引文格式1维护 显式使用等标签 link Chinese Institute of Electronics Formal Expression of Blockchain Smart Contract group standard Formal Expression of Blockchain Smart Contract PDF T CIE 095 2020 参见 编辑区块链 比特币 安全多方计算 共识机制外部連結 编辑The Idea of Smart Contracts Late on payments Device won t let car engine start What is a smart contract 取自 https zh wikipedia org w index php title 智能合约 amp oldid 78959062, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。