智能合约的构造与风险防治
|
摘要
传统合同的核心是追求法律效力的意志,且围绕该意志的执行产生了所谓的中心式架构。智能合约则相反,专注于交易方意志的自动执行,这使得意志表现为特殊的代码。同时,该意志追求的并非法律执行,而是机器软件的执行,从这一点来看,智能合约并非法律合同。智能合约由代码、代码验证与代码自动软件构成。代码表现交易方的意志,代码经过验证成为区块链上的有效代码,有效代码被合同软件自动执行。借助于三者之间的无缝衔接,智能合约弱化了意志,并消解了传统合同不可缺少的中心架构。从这个角度而言,智能合约是一种高度结构性与一体化行为。基于智能合约的三个构成要件的自有风险,分别是代码瑕疵、代码漏洞、交易方丧失"悔约权",目前对风险救济的途径主要是代码之治,未来亦有建构法律之治的必要性和可能性。
The core of traditional contract is the intent pursuing for legal effect,the concentrated architecture is built for the performance of intent. On the contrary,smart contract is focusing on the auto performance of intents of parties,leading to the representation of intent is code.On the same time,the intent is pursuing for the execution by machine software,but not one from legal execution,from this respect,smart contract is not legal contract. Smart contract involving a series processing of the code,the code verification,and the software's self-executing. Code represents the intent of parties,code become valid code in block chain through verification,valid is performed by the auto-run software. Due to the seamless connection of these three ingredients,smart contract removes the intent of parties as well as concentrated architecture. Form this aspect,the smart contract is a highly-integrated and highly-structural behavior. Smart contract itself contains risks,such as code flaw,code bug and the lost of revoking right. The means to rescue these risks currently are the self-rescue mechanism and the self-governing mechanism,in the future,there is necessity and possibility to construct the managing mechanism judicial mechanism.
The core of traditional contract is the intent pursuing for legal effect,the concentrated architecture is built for the performance of intent. On the contrary,smart contract is focusing on the auto performance of intents of parties,leading to the representation of intent is code.On the same time,the intent is pursuing for the execution by machine software,but not one from legal execution,from this respect,smart contract is not legal contract. Smart contract involving a series processing of the code,the code verification,and the software's self-executing. Code represents the intent of parties,code become valid code in block chain through verification,valid is performed by the auto-run software. Due to the seamless connection of these three ingredients,smart contract removes the intent of parties as well as concentrated architecture. Form this aspect,the smart contract is a highly-integrated and highly-structural behavior. Smart contract itself contains risks,such as code flaw,code bug and the lost of revoking right. The means to rescue these risks currently are the self-rescue mechanism and the self-governing mechanism,in the future,there is necessity and possibility to construct the managing mechanism judicial mechanism.
引文
(1)中心化架构始终摆脱不了人的因素,除了这些机构人员成本之外,还会受到人员机会主义行为模式的影响,比如记录失误和有意篡改记录,这些负面成本也往往由交易方来买单。
(2)See Nick Szabo,Formalizing and Securing Relationships on Public Networks(1997),http://ojphi.org/ojs/index.php/fm/article/view/548/469,访问日期:2018年10月13日。
(3)智能合约提出之前就存在自动售货机,之后自动扣款系统也相继得到开发,但是这些都只是在技术上提升了交易速度,依然未能去中心架构,譬如,自动售货机和自动扣款合约虽然可以自动执行,但是主动权在卖方和银行手中,也就是说,卖方和银行可以干预与叫停自动执行。
(4)智能合约是“印刷机发明以来第一个真正具有突破性(disruptive)进展的法律实践之一。”See Aaron Wright&Primavera De Filippi,Decentralized Blockchain Technology and the Rise of Lex Cryptographia,http://ssrn.com/abstract=2580664,访问日期:2018年10月13日。
(5)See Greenspan G 2016‘Beware of the Impossible Smart Contract’,Blockchain news,12 April,http://www.theblockchain.com/2016/04/12/beware-of-the-impossible-smart-contract,访问日期:2018年10月13日。
(6)See Whitepaper:Smart Contracts and Distributed Ledger-A Legal Perspective,August 2017.p.8.
(7)See Kevin Werbach,Trustless Trust,http://ssrn.com/abstract=2844409,August 2016,p.30,访问日期:2018年10月13日。
(8)See Arvind Narayanan,Joseph Bonneau,Edward Felten,Andrew Miller,and Steven Goldfeder,Bitcoin and Cryptocurrency Technologies:A Comprehensive Introduction,Princeton University Press,2016.
(9)See World Econ.Forum,The Future of Financial Infrastructure:An Ambitious Look at How Blockchain Can Reshape Financial Services 29(2016).pp.39~44,访问日期:2018年10月13日。
(10)See Why Use Counterparty,Counterparty,http://counterparty.io/why-counterparty/;HEDGY,http://hedgy.co,访问日期:2018年10月13日。
(11)2015年,一群艺术家发明了仿生植物机器人“plantoid”,该机器人甚至可以通过智能合约实现融资目的。See Robert Myers,Plantoid:The Blockchain-Based Art That Makes Itself,FurtherF ield,October 26,2015,http://furtherfield.org/features/reviews/plantoid-blockchain-based-art-makes-itself,访问日期:2018年10月22日。
(12)See Werbach,Kevin and Cornell,Nicolas,Contracts Ex Machina(March 18,2017).67 Duke Law Journal 313(2017),p.127.
(13)有学者认为,智能合约并未替代法律合同,而是与法律合同并驾齐驱,用来解决那些法律合同不能现实解决的问题。Miller MS,Van Cutsem T,Tulloh B(2013)Distributed electronic rights in JavaS cript.Springer-Verlag,Berlin Heidelberg.Available online:https://static.googleusercontent.com/media/research.google.com/et//pubs/archive/40673.pdf(13.8.2015)p.1,访问日期:2018年10月22日。
(14)值得注意的是,当事人可以以这种方式起草智能合约,使他们仍有可能修改或违反的协议。根据上下文、当事人以及某种需要,一份智能合约可以表现出一系列的可变性。
(15)See Christopher D.Clack et al.,Smart Contract Templates:Foundations,Design Landscape and Research Directions 2(Aug.4,2016),http://arxiv.org/pdf/1608.00771v2.pdf;https://perma.cc/8Z5P-QRM9,访问日期:2018年10月22日。
(16)“传统合约法终结的开始”See Alexander Savelyev,Contract Law 2.0:Smart Contracts as the Beginning of the End of Classic Contract Law,Working Paper,WP BRP 71/LAW/2016.“合同运用的新时代”See Paul Catchlove,Smart Contracts:ANew Era of Contract Use,https://papers.ssrn.com/sol3/papers.cfm abstract_id=3090226,访问日期:2018年10月22日。
(17)See Tim Swanson,Great Chain of Numbers:A Guide to Smart Contracts,Smart Property and Trustless Asset Management 14~31(2014).
(18)关于智能合约的性质,有托管说、自助说以及完全协议说等,See Werbach,Kevin and Cornell,Nicolas,Contracts Ex Machina(March 18,2017).67 Duke Law Journal 313(2017),pp.131~140.
(19)“一个规则不是通过法规来定义的,而是通过管理空间的代码来定义的。”See Lawrence Lessig,Code and Other Laws of Cyberspace Version 2.0 3(2nd ed.2006).
(20)“最重要的是,以太坊虚拟机是一种图灵完备设备,这意味着虚拟机代码可以编码任何可以实现的计算,包括无限循环(infinite loops)。”See Buterin,Ethereum White Paper.
(21)正如密歇根大学的雷曼·艾伦(Layman Allen)在1956年指出的那样,“基于书面文书的诉讼---无论是法令、合约、遗嘱、转让还是管理---都可以追溯到起草者未能清楚地表达自己的意思。”虽然“某些条款可能故意含糊不清”,但争端往往基于“如果起草者明确表达了他想表达的意志,就可以避免粗心大意的模糊”,这个可以运用植根于严格和正式逻辑的合同条款来实现。See Layman E.Allen,Symbolic Logic:A Razor-Edged Tool for Drafting and Interpreting Legal Documents,Yale Law Journal 66(1956):833-879.
(22)See John W.L.Ogilvie,Defining Computer Program Parts under Learned Hand’s Abstractions Test in Software Copyright Infringement Cases,Michigan Law Review 91,no.3(1992):526-570.
(23)See Computers take inputs and apply functions to them to derive outputs.John McCarthy,Recursive Functions of Symbolic Expressions and Their Computation by Machine,Part I,3COMM.ACM 184(1960).
(24)美国华尔街区块链联盟法律部门主席Joshua Klayman认为,关于智能合约的编写,“应该做好对自然语言和程序代码的区分,强调合理和实质性。智能合约的代码编写越简单越好而不是把整个自然语言的合同都放在上面。只有能简单到“如果……,就……”的逻辑才能用代码来表达。”参见数链魔方:《区块链智能合约,既不智能也非合约》,https://wallstreetcn.com/articles/3282855,访问日期:2018年9月25日。
(25)矿工维护区块链网络享有经济回报,其构成如下:处理费用(越来越多以电力费用决定)、比特币汇率或任何其赚取的加密货币,以及奖励水平。
(26)See Tanel Kerikma e,Addi Rull ed,The Future of Law and eT echnologies,springer,2016,p.134.
(27)比特币核心(Bitcoin Core)的开发者之一Peter Todd曾经说:“没有人理解智能合约究竟是什么,如果我们要实施智能合约,应该需要预言机。”
(28)李赫:《智能合约如何可信的与外部世界交互》,https://blog.csdn.net/sportshark/article/details/77477842,访问日期:2018年10月12日。
(29)See Robert W.Gordon,“Macaulay,Macneil,and the Discovery of Solidarity and Power in Contract Law,”Wisconsin Law Review 1985(1985):565-579.
(30)See Karen E.C.Levy,“Book-Smart,Not Street-Smart:Blockchain-Based Smart Contracts and the Social Workings of Law,”Engaging Science,Technology,and Society 3(2017):1-15.
(31)开源代码大致每1,000行就含有一个安全漏洞,表现最好的Linux kernel 2.6版本的安全bug率为每1,000行代码0.127个。
(32)See Ivica Nikolic,Finding The Greedy,Prodigal,and Suicidal Contracts at Scale,https://arxiv.org/pdf/1802.06038.pdf,访问日期:2018年11月3日。
(33)类似的事件并未在The DAO事件后终结。譬如,2017年7月,智能合约平台Parity出现安全漏洞,黑客盗取了价值3,000万美元的数字货币ETH。2018年1月,日本智能合约平台Coincheck系统被黑客攻击,时价5.3亿美元的“新经币”被盗。
(34)德里克·巴姆鲍尔(Derek Bambauer)指出,“软件……在结构上容易失效,尽管付出重大努力予以补救……想要完全消除漏洞几乎是不可能的。”See Derek E.Bambauer,“Ghost in the Network,”University of Pennsyl-vania Law Review 162,no.5(April 2014):1011-1092.
(35)See Kevin D.Werbach and Nicolas Cornell,“Contracts Ex Machina,”Duke Law Journal 67(2017).在上述The Dao事件前夕,已经有专家发现了代码漏洞之所在,但却无法修复该漏洞,因为代码已经发布到区块链上,无法改变。
(36)转走以太币的黑客在一封公开信中说到,自己的行为符合代码技术逻辑,并认为以太坊基金会的分叉行为将损害用户利益,自己在必要时会诉诸法律。另外,黑客扬言会拿出100万以太币和100个比特币奖励给矿工以抵制以太坊基金会采取的软分叉和硬分叉措施。See Understanding The DAO Attack,https://www.coindesk.com/understanding-daohack-journalists,访问日期:2018年10月25日。
(37)See Alexander Savelyev,Contract Law 2.0:Smart Contracts as the Beginning of the End of Classic Contract Law,Working Paper,WP BRP 71/LAW/2016,p.18.
(38)See Aaron Wright&Primavera De Filippi,Decentralized Blockchain Technology and the Rise of Lex Cryptographia,http://ssrn.com/abstract=2580664,p.26,访问日期:2018年11月3日。
(39)See Primavera De Filippi,Aaron Wright,Blockchain and the Law:The rule of code,Harvard University Press,2018,pp.76~78.
(40)这是目前Eris Industries的双重融合系统、Primavera de Fillipi的加密分类账交易法律框架和R3 Corda智能合约系统的基本思路。
(41)See Michael del Castillo,Lawyers Be DAMNed:Andreas Antonopoulos Takes Aim at Arbitration with DAO Proposal,CoinDesk,May,26,2016,http://www.coindesk.com/damned-dao-andreas-antonopoulos-third-key/.See also Michael Abramowicz,Cryptocurrency-Based Law,”Arizona Law Review 58(2016):359-420.
(42)See Joon Ian Wong,Everything You Need to Know about the Ethereum‘Hard Fork,’Qz.com,July 18,2016,https://qz.com/730004/everything-you-need-to-know-about-the-ethereum-hard-fork/,访问日期:2018年11月3日。
(43)在“The DAO事件”中,以太坊基金会利用软件更新解除了危机,但许多矿工(10%)不认同这种做法,它们秉承“代码即法律”理念,继续在旧算力基础上运行,与更新后的以太坊区块链(ETHchain简称ETH)分道扬镳,称为以太坊经典区块链(ETHClassic chain简称ETC)。
(44)See Alexander Savelyev,Contract Law 2.0:Smart Contracts as the Beginning of the End of Classic Contract Law,Working Paper,WP BRP 71/LAW/2016,P.22.
(45)See Aaron Wright&Primavera De Filippi,Decentralized Blockchain Technology and the Rise of Lex Cryptographia,http://ssrn.com/abstract=2580664,pp.51~52,访问日期:2018年11月3日。
(46)美国专利商标局10月4日公开的文件显示,阿里巴巴申请一项区块链系统专利,允许第三方管理员执行“特殊处理”,专用的管理员账户能够给节点发送所谓的“特殊处理指令”,以中止一个智能合约或是冻结与非法活动相关的账户。
(47)See Kevin Werbach,Trustless Trust,http://ssrn.com/abstract=2844409,August 2016,访问日期:2018年10月22日。
(48)See Primavera De Filippi,Aaron Wright,Blockchain and the Law:The rule of code,Harvard University Press,2018,p.78.
(49)虽然诉诸传统法律制度寻求补救是可能的,但在某些情况下,智能合约的效果也很难完全逆转,譬如当双方的资金进入托管账户时,很难凭借自己的指令回滚。
(50)在美国,仲裁裁决可以因“明显无视(manifest disregard)”法律而被搁置。See Wilko v.Swan,346 U.S.427,436-437(1953).Rodriguez de Quijas v.Shearson/American Express,490477(1989);Noah Rubins,“Manifest Disregard of the Law and Vacatur of Arbitral Awards in the United States,”American Review of International Arbitration 12(2001):363~386.
(51)2016年佛蒙特州法案规定基于区块链的数据可以作为证据。2017年亚利桑那州法案规定:“通过区块链技术保护的签名被认为是电子格式,属于电子签名。通过区块链技术保护的历史记录或合同被认为是一种电子格式,属于电子记录。”2018年佛罗里达州法案规定:“一份合同不能仅仅因为在合同的形成过程中使用了电子记录和该合同包含一个智能条约而被拒绝其合法性。”
(52)See Primavera De Filippi,Aaron Wright,Blockchain and the Law:The rule of code,Harvard University Press,2018,p.85.
(53)See Reggie O'Shields,Smart Contracts:Legal Agreements for the Blockchain,21 N.C.Banking Inst.177.
(54)资料显示,公司已经研制出区块链分析技术,即有可能将某些区块链上的交易追溯到特定的身份,甚至仅仅通过区块链上的大数据分析来推断与特定地址相关联的人的身份。See Sarah Meiklejohn et al.,A Fistful of Bitcoins:Characterizing Payments Among Men with No Names,Univ.of Cal.,San Diego(2013),https://cseweb.ucsd.edu/~smeiklejohn/files/imc13.pdf,访问日期:2018年11月3日。
(55)See Reggie O'Shields,Smart Contracts:Legal Agreements for the Blockchain,21 N.C.Banking Inst.p.177.
(56)See Kevin Werbach&Nicolas Cornell,Contracts Ex Machina,67 DUKE L.J.313(2017).
(2)See Nick Szabo,Formalizing and Securing Relationships on Public Networks(1997),http://ojphi.org/ojs/index.php/fm/article/view/548/469,访问日期:2018年10月13日。
(3)智能合约提出之前就存在自动售货机,之后自动扣款系统也相继得到开发,但是这些都只是在技术上提升了交易速度,依然未能去中心架构,譬如,自动售货机和自动扣款合约虽然可以自动执行,但是主动权在卖方和银行手中,也就是说,卖方和银行可以干预与叫停自动执行。
(4)智能合约是“印刷机发明以来第一个真正具有突破性(disruptive)进展的法律实践之一。”See Aaron Wright&Primavera De Filippi,Decentralized Blockchain Technology and the Rise of Lex Cryptographia,http://ssrn.com/abstract=2580664,访问日期:2018年10月13日。
(5)See Greenspan G 2016‘Beware of the Impossible Smart Contract’,Blockchain news,12 April,http://www.theblockchain.com/2016/04/12/beware-of-the-impossible-smart-contract,访问日期:2018年10月13日。
(6)See Whitepaper:Smart Contracts and Distributed Ledger-A Legal Perspective,August 2017.p.8.
(7)See Kevin Werbach,Trustless Trust,http://ssrn.com/abstract=2844409,August 2016,p.30,访问日期:2018年10月13日。
(8)See Arvind Narayanan,Joseph Bonneau,Edward Felten,Andrew Miller,and Steven Goldfeder,Bitcoin and Cryptocurrency Technologies:A Comprehensive Introduction,Princeton University Press,2016.
(9)See World Econ.Forum,The Future of Financial Infrastructure:An Ambitious Look at How Blockchain Can Reshape Financial Services 29(2016).pp.39~44,访问日期:2018年10月13日。
(10)See Why Use Counterparty,Counterparty,http://counterparty.io/why-counterparty/;HEDGY,http://hedgy.co,访问日期:2018年10月13日。
(11)2015年,一群艺术家发明了仿生植物机器人“plantoid”,该机器人甚至可以通过智能合约实现融资目的。See Robert Myers,Plantoid:The Blockchain-Based Art That Makes Itself,FurtherF ield,October 26,2015,http://furtherfield.org/features/reviews/plantoid-blockchain-based-art-makes-itself,访问日期:2018年10月22日。
(12)See Werbach,Kevin and Cornell,Nicolas,Contracts Ex Machina(March 18,2017).67 Duke Law Journal 313(2017),p.127.
(13)有学者认为,智能合约并未替代法律合同,而是与法律合同并驾齐驱,用来解决那些法律合同不能现实解决的问题。Miller MS,Van Cutsem T,Tulloh B(2013)Distributed electronic rights in JavaS cript.Springer-Verlag,Berlin Heidelberg.Available online:https://static.googleusercontent.com/media/research.google.com/et//pubs/archive/40673.pdf(13.8.2015)p.1,访问日期:2018年10月22日。
(14)值得注意的是,当事人可以以这种方式起草智能合约,使他们仍有可能修改或违反的协议。根据上下文、当事人以及某种需要,一份智能合约可以表现出一系列的可变性。
(15)See Christopher D.Clack et al.,Smart Contract Templates:Foundations,Design Landscape and Research Directions 2(Aug.4,2016),http://arxiv.org/pdf/1608.00771v2.pdf;https://perma.cc/8Z5P-QRM9,访问日期:2018年10月22日。
(16)“传统合约法终结的开始”See Alexander Savelyev,Contract Law 2.0:Smart Contracts as the Beginning of the End of Classic Contract Law,Working Paper,WP BRP 71/LAW/2016.“合同运用的新时代”See Paul Catchlove,Smart Contracts:ANew Era of Contract Use,https://papers.ssrn.com/sol3/papers.cfm abstract_id=3090226,访问日期:2018年10月22日。
(17)See Tim Swanson,Great Chain of Numbers:A Guide to Smart Contracts,Smart Property and Trustless Asset Management 14~31(2014).
(18)关于智能合约的性质,有托管说、自助说以及完全协议说等,See Werbach,Kevin and Cornell,Nicolas,Contracts Ex Machina(March 18,2017).67 Duke Law Journal 313(2017),pp.131~140.
(19)“一个规则不是通过法规来定义的,而是通过管理空间的代码来定义的。”See Lawrence Lessig,Code and Other Laws of Cyberspace Version 2.0 3(2nd ed.2006).
(20)“最重要的是,以太坊虚拟机是一种图灵完备设备,这意味着虚拟机代码可以编码任何可以实现的计算,包括无限循环(infinite loops)。”See Buterin,Ethereum White Paper.
(21)正如密歇根大学的雷曼·艾伦(Layman Allen)在1956年指出的那样,“基于书面文书的诉讼---无论是法令、合约、遗嘱、转让还是管理---都可以追溯到起草者未能清楚地表达自己的意思。”虽然“某些条款可能故意含糊不清”,但争端往往基于“如果起草者明确表达了他想表达的意志,就可以避免粗心大意的模糊”,这个可以运用植根于严格和正式逻辑的合同条款来实现。See Layman E.Allen,Symbolic Logic:A Razor-Edged Tool for Drafting and Interpreting Legal Documents,Yale Law Journal 66(1956):833-879.
(22)See John W.L.Ogilvie,Defining Computer Program Parts under Learned Hand’s Abstractions Test in Software Copyright Infringement Cases,Michigan Law Review 91,no.3(1992):526-570.
(23)See Computers take inputs and apply functions to them to derive outputs.John McCarthy,Recursive Functions of Symbolic Expressions and Their Computation by Machine,Part I,3COMM.ACM 184(1960).
(24)美国华尔街区块链联盟法律部门主席Joshua Klayman认为,关于智能合约的编写,“应该做好对自然语言和程序代码的区分,强调合理和实质性。智能合约的代码编写越简单越好而不是把整个自然语言的合同都放在上面。只有能简单到“如果……,就……”的逻辑才能用代码来表达。”参见数链魔方:《区块链智能合约,既不智能也非合约》,https://wallstreetcn.com/articles/3282855,访问日期:2018年9月25日。
(25)矿工维护区块链网络享有经济回报,其构成如下:处理费用(越来越多以电力费用决定)、比特币汇率或任何其赚取的加密货币,以及奖励水平。
(26)See Tanel Kerikma e,Addi Rull ed,The Future of Law and eT echnologies,springer,2016,p.134.
(27)比特币核心(Bitcoin Core)的开发者之一Peter Todd曾经说:“没有人理解智能合约究竟是什么,如果我们要实施智能合约,应该需要预言机。”
(28)李赫:《智能合约如何可信的与外部世界交互》,https://blog.csdn.net/sportshark/article/details/77477842,访问日期:2018年10月12日。
(29)See Robert W.Gordon,“Macaulay,Macneil,and the Discovery of Solidarity and Power in Contract Law,”Wisconsin Law Review 1985(1985):565-579.
(30)See Karen E.C.Levy,“Book-Smart,Not Street-Smart:Blockchain-Based Smart Contracts and the Social Workings of Law,”Engaging Science,Technology,and Society 3(2017):1-15.
(31)开源代码大致每1,000行就含有一个安全漏洞,表现最好的Linux kernel 2.6版本的安全bug率为每1,000行代码0.127个。
(32)See Ivica Nikolic,Finding The Greedy,Prodigal,and Suicidal Contracts at Scale,https://arxiv.org/pdf/1802.06038.pdf,访问日期:2018年11月3日。
(33)类似的事件并未在The DAO事件后终结。譬如,2017年7月,智能合约平台Parity出现安全漏洞,黑客盗取了价值3,000万美元的数字货币ETH。2018年1月,日本智能合约平台Coincheck系统被黑客攻击,时价5.3亿美元的“新经币”被盗。
(34)德里克·巴姆鲍尔(Derek Bambauer)指出,“软件……在结构上容易失效,尽管付出重大努力予以补救……想要完全消除漏洞几乎是不可能的。”See Derek E.Bambauer,“Ghost in the Network,”University of Pennsyl-vania Law Review 162,no.5(April 2014):1011-1092.
(35)See Kevin D.Werbach and Nicolas Cornell,“Contracts Ex Machina,”Duke Law Journal 67(2017).在上述The Dao事件前夕,已经有专家发现了代码漏洞之所在,但却无法修复该漏洞,因为代码已经发布到区块链上,无法改变。
(36)转走以太币的黑客在一封公开信中说到,自己的行为符合代码技术逻辑,并认为以太坊基金会的分叉行为将损害用户利益,自己在必要时会诉诸法律。另外,黑客扬言会拿出100万以太币和100个比特币奖励给矿工以抵制以太坊基金会采取的软分叉和硬分叉措施。See Understanding The DAO Attack,https://www.coindesk.com/understanding-daohack-journalists,访问日期:2018年10月25日。
(37)See Alexander Savelyev,Contract Law 2.0:Smart Contracts as the Beginning of the End of Classic Contract Law,Working Paper,WP BRP 71/LAW/2016,p.18.
(38)See Aaron Wright&Primavera De Filippi,Decentralized Blockchain Technology and the Rise of Lex Cryptographia,http://ssrn.com/abstract=2580664,p.26,访问日期:2018年11月3日。
(39)See Primavera De Filippi,Aaron Wright,Blockchain and the Law:The rule of code,Harvard University Press,2018,pp.76~78.
(40)这是目前Eris Industries的双重融合系统、Primavera de Fillipi的加密分类账交易法律框架和R3 Corda智能合约系统的基本思路。
(41)See Michael del Castillo,Lawyers Be DAMNed:Andreas Antonopoulos Takes Aim at Arbitration with DAO Proposal,CoinDesk,May,26,2016,http://www.coindesk.com/damned-dao-andreas-antonopoulos-third-key/.See also Michael Abramowicz,Cryptocurrency-Based Law,”Arizona Law Review 58(2016):359-420.
(42)See Joon Ian Wong,Everything You Need to Know about the Ethereum‘Hard Fork,’Qz.com,July 18,2016,https://qz.com/730004/everything-you-need-to-know-about-the-ethereum-hard-fork/,访问日期:2018年11月3日。
(43)在“The DAO事件”中,以太坊基金会利用软件更新解除了危机,但许多矿工(10%)不认同这种做法,它们秉承“代码即法律”理念,继续在旧算力基础上运行,与更新后的以太坊区块链(ETHchain简称ETH)分道扬镳,称为以太坊经典区块链(ETHClassic chain简称ETC)。
(44)See Alexander Savelyev,Contract Law 2.0:Smart Contracts as the Beginning of the End of Classic Contract Law,Working Paper,WP BRP 71/LAW/2016,P.22.
(45)See Aaron Wright&Primavera De Filippi,Decentralized Blockchain Technology and the Rise of Lex Cryptographia,http://ssrn.com/abstract=2580664,pp.51~52,访问日期:2018年11月3日。
(46)美国专利商标局10月4日公开的文件显示,阿里巴巴申请一项区块链系统专利,允许第三方管理员执行“特殊处理”,专用的管理员账户能够给节点发送所谓的“特殊处理指令”,以中止一个智能合约或是冻结与非法活动相关的账户。
(47)See Kevin Werbach,Trustless Trust,http://ssrn.com/abstract=2844409,August 2016,访问日期:2018年10月22日。
(48)See Primavera De Filippi,Aaron Wright,Blockchain and the Law:The rule of code,Harvard University Press,2018,p.78.
(49)虽然诉诸传统法律制度寻求补救是可能的,但在某些情况下,智能合约的效果也很难完全逆转,譬如当双方的资金进入托管账户时,很难凭借自己的指令回滚。
(50)在美国,仲裁裁决可以因“明显无视(manifest disregard)”法律而被搁置。See Wilko v.Swan,346 U.S.427,436-437(1953).Rodriguez de Quijas v.Shearson/American Express,490477(1989);Noah Rubins,“Manifest Disregard of the Law and Vacatur of Arbitral Awards in the United States,”American Review of International Arbitration 12(2001):363~386.
(51)2016年佛蒙特州法案规定基于区块链的数据可以作为证据。2017年亚利桑那州法案规定:“通过区块链技术保护的签名被认为是电子格式,属于电子签名。通过区块链技术保护的历史记录或合同被认为是一种电子格式,属于电子记录。”2018年佛罗里达州法案规定:“一份合同不能仅仅因为在合同的形成过程中使用了电子记录和该合同包含一个智能条约而被拒绝其合法性。”
(52)See Primavera De Filippi,Aaron Wright,Blockchain and the Law:The rule of code,Harvard University Press,2018,p.85.
(53)See Reggie O'Shields,Smart Contracts:Legal Agreements for the Blockchain,21 N.C.Banking Inst.177.
(54)资料显示,公司已经研制出区块链分析技术,即有可能将某些区块链上的交易追溯到特定的身份,甚至仅仅通过区块链上的大数据分析来推断与特定地址相关联的人的身份。See Sarah Meiklejohn et al.,A Fistful of Bitcoins:Characterizing Payments Among Men with No Names,Univ.of Cal.,San Diego(2013),https://cseweb.ucsd.edu/~smeiklejohn/files/imc13.pdf,访问日期:2018年11月3日。
(55)See Reggie O'Shields,Smart Contracts:Legal Agreements for the Blockchain,21 N.C.Banking Inst.p.177.
(56)See Kevin Werbach&Nicolas Cornell,Contracts Ex Machina,67 DUKE L.J.313(2017).