智能合约：修订间差异

删除的内容添加的内容

行内

2018年1月21日 (日) 06:39的版本

智能合约（英語：Smart contract）是一种在旨在以信息化方式传播，验证或执行合同的协商或执行。智能合约允许在没有第三方的情况下进行可信交易。这些交易可追踪且不可逆转。^[1]智能合约概念于1994年由Nick Szabo首次提出。^[2]

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

安全问题

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

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

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

案例

部署智能合约的案例有：

以太坊在其区块链上实施了一种近乎图灵完备的语言，这是一个突出的智能合约框架。^[7]^[8]
RootStock (RSK) 是一个智能合约平台，通过侧链技术连接到比特币区块链。 RSK兼容为以太坊创造的智能合约。^[9]^[10]^[11]^[12]^[13]^[14]

流行文化

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

参见

参考资料

^ Smart Contracts, Explained. Cointelegraph. 31 October 2017.
^ 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. 28 May 2016.
^ DuPont, Quinn. Experiments in Algorithmic Governance: A history and ethnography of “The DAO,” a failed Decentralized Autonomous Organization (PDF). 2017 [29 July 2017].
^ Coy, Peter; Kharif, Olga. This Is Your Company on Blockchain. Bloomberg Businessweek. 25 August 2016 [2016-12-05].
^ ^7.0 ^7.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
^ Vitalik Buterin on Tweeter (verified). 18 April 2017.
^ RSK – Rootstock Open-Source Smart Contract Bitcoin Technology?.
^ Digrate Express rating report on Project Rootstock (PDF).
^ Thomas Bocek. Digital Marketplaces Unleashed. Springer-Verlag GmbH. 15 September 2017: 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).

[1] Smart Contracts, Explained. Cointelegraph. 31 October 2017.

[:2-2] Nick Szabo -- Smart Contracts: Building Blocks for Digital Markets. www.fon.hum.uva.nl. [2017-07-29].

[tapscott2016-3] 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.

[Peck20160528-4] 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. 28 May 2016.

[:0-5] DuPont, Quinn. Experiments in Algorithmic Governance: A history and ethnography of “The DAO,” a failed Decentralized Autonomous Organization (PDF). 2017 [29 July 2017].

[6] Coy, Peter; Kharif, Olga. This Is Your Company on Blockchain. Bloomberg Businessweek. 25 August 2016 [2016-12-05].

[:1-7] 7.0 ^7.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

[8] Vitalik Buterin on Tweeter (verified). 18 April 2017.

[9] RSK – Rootstock Open-Source Smart Contract Bitcoin Technology?.

[10] Digrate Express rating report on Project Rootstock (PDF).

[11] Thomas Bocek. Digital Marketplaces Unleashed. Springer-Verlag GmbH. 15 September 2017: 169-184. ISBN 978-3-662-49274-1.

[12] A Solution for the Problems of Translation and Transparency in Smart Contracts (PDF).

[13] Trust in Smart Contracts is a Process, As Well (PDF).

[14] Scripting smart contracts for distributed ledger technology (PDF).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

@@ 第3行： / 第3行： @@
 智能合同的目的是提供优于传统合同法的安全，并减少与合同相关的其他[[交易成本]]。
+==安全问题==
+智能合约是“执行合约条款的计算机交易协议”。<ref name="tapscott2016">{{cite book|title=The Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World|last1=Tapscott|first1=Don|last2=Tapscott|first2=Alex|date=May 2016|isbn=978-0670069972|pages=72, 83, 101, 127|authorlink=Don Tapscott}}<!--|accessdate=2016-07-3 per copy of book in hand; do not have a URL link --></ref> 区块链上的所有用户都可以看到基于区块链的智能合约。但是，这会导致包括安全漏洞在内的所有漏洞都可见，并且可能无法迅速修复。<ref name=Peck20160528>{{cite web|url=http://spectrum.ieee.org/tech-talk/computing/networks/ethereums-150-million-dollar-dao-opens-for-business-just-as-researchers-call-for-a-moratorium|title=Ethereum’s $150-Million Blockchain-Powered Fund Opens Just as Researchers Call For a Halt|first=M.|last=Peck|date=28 May 2016|work=[[IEEE Spectrum]]|publisher=[[Institute of Electrical and Electronics Engineers]]}}</ref>
+这样的攻击难以迅速解决，例如，2016年6月[[w:The DAO|The DAO]]Ether的漏洞造成损失5000万美元，而开发者试图达成共识的解决方案。<ref name=":0">{{cite web|url=http://iqdupont.com/assets/documents/DUPONT-2017-Preprint-Algorithmic-Governance.pdf|title=Experiments in Algorithmic Governance: A history and ethnography of “The DAO,” a failed Decentralized Autonomous Organization|last=DuPont|first=Quinn|date=2017|archive-url=|archive-date=|dead-url=|accessdate=29 July 2017|work=}}</ref> DAO的程序在黑客删除资金之前有一段时间的延迟。以太坊软件的一个硬分叉在时限到期之前完成了攻击者的资金回收工作。<ref>{{Cite news|url=https://www.bloomberg.com/news/articles/2016-08-25/this-is-your-company-on-blockchain|title=This Is Your Company on Blockchain|last=Coy|first=Peter|date=25 August 2016|work=|last2=Kharif|first2=Olga|newspaper=Bloomberg Businessweek|access-date=2016-12-05|via=}}</ref>
+以太坊智能合约中的问题包括合约编程Solidity、编译器错误、以太坊虚拟机错误、对区块链网络的攻击、程序错误的不变性以及其他尚无文档记录的攻击。<ref name=":1" />
+==案例==
+部署智能合约的案例有：
+* [[以太坊]]在其区块链上实施了一种近乎图灵完备的语言，这是一个突出的智能合约框架。<ref name=":1">{{Citation|title=6th International Conference on Principles of Security and Trust (POST)|year=2017|last1=Atzei|last2=Bartoletti|last3=Cimoli|first1=Nicola|first2=Massimo|first3=Tiziana|contribution=A survey of attacks on Ethereum smart contracts|contribution-url=http://eprint.iacr.org/2016/1007.pdf|chapter-format=PDF|publisher=European Joint Conferences on Theory and Practice of Software}}</ref><ref>{{Cite web|url=https://twitter.com/vitalikbuterin/status/854271590804140033?lang=en|title=Vitalik Buterin on Tweeter (verified)|last=|first=|date=18 April 2017|website=|archive-url=|archive-date=|dead-url=|access-date=}}</ref>
+* [[RootStock]] (RSK) 是一个智能合约平台，通过侧链技术连接到比特币区块链。 RSK兼容为以太坊创造的智能合约。<ref>{{cite web | url=https://bitcoinexchangeguide.com/rsk/ | title=RSK – Rootstock Open-Source Smart Contract Bitcoin Technology?}}</ref><ref>{{cite web | url=http://digrate.com/uploads/ico_report/RSK_ENG-5_1.pdf | title=Digrate Express rating report on Project Rootstock}}</ref><ref>{{cite book |author=Thomas Bocek |date= 15 September 2017 |title=Digital Marketplaces Unleashed |url=https://link.springer.com/chapter/10.1007/978-3-662-49275-8_19 |publisher=Springer-Verlag GmbH |page=169-184 |isbn=978-3-662-49274-1}}</ref><ref>{{cite web | url=http://www.grctc.com/wp-content/uploads/2017/06/GRCTC-Smart-Contracts-White-Paper-2017.pdf | title=A Solution for the Problems of Translation and Transparency in Smart Contracts | author=}}</ref><ref>{{cite web | url=http://fc17.ifca.ai/wtsc/Trust%20in%20Smart%20Contracts%20is%20a%20Process,%20As%20Well.pdf | title=Trust in Smart Contracts is a Process, As Well}}</ref><ref>{{cite web | url=https://pdfs.semanticscholar.org/264f/c40b4224b2bb7c23e4f84a0e728945fea525.pdf | title=Scripting smart contracts for distributed ledger technology}}</ref>
 ==流行文化==
@@ 第11行： / 第23行： @@
 [[比特币]]
+[[安全多方计算]]
+[[共识机制]]
 ==参考资料==