跳转到内容

智能合约

本页使用了标题或全文手工转换
维基百科,自由的百科全书

智能合约是一种计算机程序交易协议,旨在根据合同或协议的条款自动执行、控制或记录事件与行动。[1][2][3][4] 智能合约的目标是减少对可信中介的需求、降低仲裁成本和欺诈损失,并减少恶意与意外例外情况。[5][2] 智能合约通常与加密货币相关联,而以太坊引入的智能合约被普遍认为是去中心化金融(DeFi)和非同质化代币(NFT)应用的基础构建模块。[6]

维塔利克·布特林在2014年发布的原始以太坊白皮书[7] 中将比特币协议描述为尼克·萨博最初定义的智能合约概念的弱化版本,并提出基于Solidity语言的强化版本,该语言是图灵完备的。此后,多种加密货币支持允许在非信任方之间进行更高级智能合约的编程语言[8]

智能合约不应与智能法律合同混淆,后者指传统的、自然语言的、具有法律约束力的协议,其部分条款以机器可读代码形式表达与实现。[9][10][11]

词源

[编辑]

截至1996年,尼克·萨博使用“智能合约”一词指代通过物理财产(如硬件或软件)而非法律强制执行的合同。萨博以自动售货机作为此概念的实例。[12][13] 1998年,该术语被用于描述斯坦福信息总线系统(斯坦福数字图书馆项目组成部分)的权利管理服务层中的对象。[1]

智能合约的法律地位

[编辑]

智能合约通常不构成法律上有效的约束性协议[14]。已有关于监管智能合约的提案。[9][10][11]

智能合约并非法律协议,而是由计算机程序事务协议自动执行的交易[14],例如自动化支付义务的技术手段[15](如转移加密货币或其他代币)。有学者认为编程语言的命令式或声明式特性会影响智能合约的法律有效性。[16]

在某些司法管辖区,法律学者研究了智能合约的刚性与传统原则(如合同不可预见性)的互动。例如,哥伦比亚法律学界提出将情势变更理论(teoría de la imprevisión)应用于智能合约,以解决通过司法干预逆转智能合约效果的高经济与系统性成本,强调需内化这些成本并为数字环境开发新的程序机制。[17]

自2015年以太坊区块链推出以来,“智能合约”一词已应用于区块链上的通用计算。美国国家标准与技术研究院将“智能合约”描述为“在区块链网络上使用加密签名交易部署的代码和数据集合(有时称为函数和状态)”。[18] 在此解释下,智能合约是使用区块链的任何类型的计算机程序。智能合约也可视为安全的存储过程,因为其执行和编码效果(如双方间的代币转移)无法在不修改区块链本身的情况下被操纵。在此解释中,合约执行由平台控制与审计,而非通过连接平台的任意服务器端程序。[19][20]

2018年,美国参议院报告指出:“智能合约听起来新颖,但其概念植根于基础合同法。通常,司法系统裁决合同纠纷并执行条款,但采用其他仲裁方式也很常见,尤其在国际交易中。对于智能合约,程序执行编码中内置的合同。”[21] 美国已通过智能合约使用立法的州包括亚利桑那州[22]、爱荷华州[23]、内华达州[24]、田纳西州[25]和怀俄明州[26]

2021年4月,英国司法管辖区工作组(UKJT)发布了《数字争议解决规则》(Digital DR Rules),旨在快速解决英国的区块链和加密法律纠纷。[27]

工作原理

[编辑]

与区块链上的价值转移类似,智能合约在区块链上的部署通过从区块链钱包发送交易完成。[28] 该交易包含智能合约的编译代码以及特殊接收地址。[28] 交易随后必须被包含在添加到区块链的区块中,此时智能合约代码将执行以建立初始状态。[28] 拜占庭容错算法以去中心化方式保护智能合约免受篡改尝试。智能合约一旦部署即不可更新。[29] 区块链上的智能合约可存储任意状态并执行任意计算。终端客户端通过交易与智能合约交互。此类交易可调用其他智能合约,可能导致状态变更以及将代币从一个智能合约转移到另一个合约或从一个账户转移到另一个账户。[29]

运行智能合约最流行的区块链是以太坊[30] 在以太坊上,智能合约通常用名为Solidity图灵完备编程语言编写[31],并编译为低级字节码以太坊虚拟机执行。[32] 由于停机问题及其他安全问题,图灵完备性被视为风险,Vyper等语言刻意避免此特性。[33][34] 其他缺失图灵完备性的智能合约编程语言包括Simplicity、Scilla、Ivy和Bitcoin Script。[34] 然而,2020年使用正则表达式的测量显示,当时53,757个以太坊智能合约中仅有35.3%包含递归和循环——这些结构与停机问题相关。[35]

部分语言设计用于支持形式化验证:Bamboo、IELE、Simplicity、Michelson(可通过Coq验证)[34]、Liquidity(编译为Michelson)、Scilla、DAML和Pact。[33]

支持智能合约的知名区块链平台示例:
名称 描述
以太坊 在其区块链上实现图灵完备语言,是著名的智能合约框架[36]
比特币 提供图灵不完备的脚本语言,支持在比特币上创建自定义智能合约,如多签账户、支付通道、托管、时间锁、原子跨链交易、预言机或无运营方的多方彩票。[37]
卡尔达诺 支持智能合约的区块链平台
Solana 支持智能合约的区块链平台
波场 支持智能合约的区块链平台
Tezos 支持智能合约的区块链平台

区块链上的进程通常是确定性的,以确保拜占庭容错[38] 尽管如此,智能合约的现实应用(如博彩赌场)需要安全随机性。[39] 事实上,区块链技术降低了彩票运营成本,因此对参与者有益。区块链随机性可通过使用区块哈希或时间戳、预言机、承诺方案、RANDAO[40][41]和Quanta等特殊智能合约,以及混合策略纳什均衡序列实现。[38]

应用

[编辑]

1998年,萨博提出智能合约基础设施可通过复制资产登记处和使用加密哈希链拜占庭容错复制的合约执行来实现。[42] Askemos于200年实现了此方法[43][44],最初使用Scheme(后添加SQLite[45][46])作为合约脚本语言。[47]

一项利用比特币进行复制资产登记和合约执行的提案称为“染色币”。[48] 不同项目中实现了潜在任意形式财产的复制产权以及复制合约执行。

截至2015年 (2015-Missing required parameter 1=month!)UBS正在试验使用比特币区块链的“智能债券”[49],其中支付流可完全自动化,创建自支付工具。[50]

继承意愿可在死亡证明登记后通过智能合约自动执行。Template:According to whom[51][52] 出生证明也可与智能合约协同工作。[53][54]

Inc.com的Chris Snook提出,智能合约也可用于处理房地产交易,并应用于产权记录公共登记领域。[55][56][57][58][59]

Seth Oranburg和Liya Palagashvili认为智能合约也可用于雇佣合同,特别是临时雇佣合同,他们认为这将使雇主受益。[60][61]

安全问题

[编辑]

基于区块链的智能合约交易数据对区块链所有用户可见。数据提供交易的加密视图,但这导致漏洞(包括安全漏洞)对所有用户可见却可能无法快速修复。[62] 此类攻击难以快速修复,2016年6月成功针对The DAO执行,当时耗资约5,000美元以太币,而开发人员试图达成共识解决方案。[63] DAO程序设置了黑客可提取资金前的时延;在时限到期前,通过以太坊软件的硬分叉从攻击者处追回资金。[64] 其他高调攻击包括Parity多签钱包攻击和整数下溢/溢出攻击(2018年),总额超过1.84美元亿。[65]

以太坊智能合约的问题尤其包括其合约语言Solidity中的歧义性及易用但不安全的构造、编译器错误、以太坊虚拟机错误、对区块链网络的攻击、漏洞的不可变性以及缺乏记录已知漏洞、攻击和有问题的构造的中央来源。[36]

与智能法律合同的区别

[编辑]

智能法律合同不同于智能合约。如上所述,智能合约不一定具有法律可执行性。而智能法律合同在其可执行的司法管辖区具备法律可强制执行合同的所有要素,可由法院或法庭强制执行。因此,虽然每个智能法律合同都包含智能合约的某些元素,但并非每个智能合约都是智能法律合同。[66]

法律行业对智能法律合同尚无正式定义。[67]

李嘉图合约是智能法律合同的一种类型。[來源請求]

参见

[编辑]

参考文献

[编辑]
  1. ^ 1.0 1.1 Röscheisen, Martin; Baldonado, Michelle; Chang, Kevin; Gravano, Luis; Ketchpel, Steven; Paepcke, Andreas. 斯坦福信息总线及其服务层:用高层信息管理协议增强互联网. 计算机科学中的数字图书馆:MeDoc方法. 计算机科学讲义 1392. Springer. 1998: 213–230. ISBN 978-3-540-64493-4. doi:10.1007/bfb0052526 (英语). 
  2. ^ 2.0 2.1 Fries, Martin; P. Paal, Boris. 智能合约. Mohr Siebeck. 2019. ISBN 978-3-16-156911-1. JSTOR j.ctvn96h9r (德语). 
  3. ^ Savelyev, Alexander. 合同法2.0:作为经典合同法终结开端的“智能”合约. 社会科学研究网络. 14 December 2016 [24 May 2020]. SSRN 2885241可免费查阅. (原始内容存档于24 March 2020) (英语). 
  4. ^ Tapscott, Don; Tapscott, Alex. 区块链革命:比特币背后的技术如何改变货币、商业和世界. Portfolio/Penguin. May 2016: 72, 83, 101, 127. ISBN 978-0670069972. 
  5. ^ Szabo, Nick. 公共网络中关系的形式化与安全化观点. First Monday. 1997 [2020-05-24]. S2CID 33773111. doi:10.5210/fm.v2i9.548可免费查阅. (原始内容需要付费订阅存档于2022-04-10). 
  6. ^ Zhou, Haozhe; Milani Fard, Amin; Makanju, Adetokunbo. 以太坊智能合约安全现状:漏洞、对策与工具支持. 网络安全与隐私杂志. 2022-05-27, 2 (2): 358–378. ISSN 2624-800X. doi:10.3390/jcp2020019可免费查阅 (英语). 
  7. ^ 白皮书· ethereum/wiki Wiki · GitHub. GitHub. (原始内容存档于11 January 2014). 
  8. ^ Alharby, Maher; van Moorsel, Aad. 基于区块链的智能合约:系统性综述. 计算机科学与信息技术. 26 August 2017: 125–140. ISBN 9781921987700. S2CID 725413. arXiv:1710.06372可免费查阅. doi:10.5121/csit.2017.71011. 
  9. ^ 9.0 9.1 Cannarsa, Michel. 合同与智能合约的解释:智能解释还是智能合约的解释?需要付费订阅. 欧洲私法评论. 1 December 2018, 26 (6): 773–785 [20 September 2020]. S2CID 188017977. doi:10.54648/ERPL2018054. (原始内容存档于10 August 2020) (英语). 
  10. ^ 10.0 10.1 Drummer, Daniel; Neumann, Dirk. 代码即法律?区块链智能合约当前的法律与技术采用问题及对策需要付费订阅. 信息技术杂志. 5 August 2020, 35 (4): 337–360 [20 September 2020]. ISSN 0268-3962. S2CID 225409384. doi:10.1177/0268396220924669. (原始内容存档于9 March 2021) (英语). 
  11. ^ 11.0 11.1 Filatova, Nataliia. 合同法视角下的智能合约:制定新监管策略需要付费订阅. 国际法律与信息技术杂志. 1 September 2020, 28 (3): 217–242 [20 September 2020]. ISSN 0967-0769. doi:10.1093/ijlit/eaaa015. (原始内容存档于18 January 2022) (英语). 
  12. ^ Morris, David Z. 比特币不仅是数字货币,更是金融界的Napster. Fortune. 21 January 2014 [7 November 2018]. (原始内容存档于20 October 2014). 
  13. ^ Schulpen, Ruben R.W.H.G. 荷兰的智能合约 - 蒂尔堡大学. uvt.nl. 特温特大学. 1 August 2018 [26 October 2019]. (原始内容存档于19 February 2021). 
  14. ^ 14.0 14.1 Mik, Eliza, Smart Contracts: A Requiem (December 7, 2019). Journal of Contract Law (2019) Volume 36 Part 1 at p 72
  15. ^ J Cieplak, S Leefatt, ‘智能合约:自动化履约的智能方式’ (2017) 1 Georgia L & Tech Rev 417
  16. ^ Governatori, Guido; Idelberger, Florian; Milosevic, Zoran; Riveret, Regis; Sartor, Giovanni; Xu, Xiwei. 论法律合同、命令式与声明式智能合约及区块链系统. 人工智能与法律. 2018, 26 (4): 33. S2CID 3663005. doi:10.1007/s10506-018-9223-3 (英语). 
  17. ^ Arenas Correa, José David. 哥伦比亚私法中智能合约不可逆性的救济措施. TalTech欧洲研究杂志. 2022-12-01, 12 (2): 113–145. ISSN 2674-4619. doi:10.2478/bjes-2022-0014可免费查阅 (英语). 
  18. ^ D J Yaga et al., 区块链技术概述, 美国国家标准与技术研究院内部/机构间报告8202, 2018, p 54, 引用于Mik, Eliza, Smart Contracts: A Requiem (December 7, 2019). Journal of Contract Law (2019) Volume 36 Part 1 at p 71
  19. ^ Vo, Hoang Tam; Kundu, Ashish; Mohania, Mukesh. 区块链数据管理与分析的研究方向 (PDF). 数据库技术进展 - 扩展数据库技术(EDBT) (OpenProceedings). 2018, 21: 446 [2019-10-02]. (原始内容存档 (PDF)于2019-10-02). 某些分布式账本技术支持称为智能合约的附加功能,在某种程度上类似于经典关系数据库中的存储过程概念。智能合约允许业务网络内的共享业务流程通过计算机程序实现标准化、自动化和强制执行,以增强账本的完整性。 
  20. ^ Huckle, Steve; Bhattacharya, Rituparna; White, Martin; Beloff, Natalia. 物联网、区块链与共享经济应用. Procedia Computer Science (Elsevier B.V.). 2016, 98: 463. doi:10.1016/j.procs.2016.09.074可免费查阅. 首先,交易输入中的BTC总量必须覆盖输出中的BTC总量。该规则类似于数据库存储过程,但不可规避。其次,BTC交易使用公钥密码学。这使得BTC如同具有可公开审计的行级权限方案的数据库。 
  21. ^ 第9章:构建安全未来,一次一个区块链 互联网档案馆存檔,存档日期2020-05-14., 美国参议院联合经济委员会, 2018年3月。
  22. ^ 亚利桑那州HB2417 - 2017 - 第五十三届议会第一次常会. LegiScan. [2020-09-16]. (原始内容存档于2017-04-28). 
  23. ^ 爱荷华州众议院批准促进宽带与加密货币的法案. www.thegazette.com. [2021-04-15]. (原始内容存档于2021-04-15) (美国英语). 
  24. ^ Hyman Gayle M, Digesti, Matthew P 内华达州新立法承认区块链和智能合约术语 互联网档案馆存檔,存档日期2018-09-10. 2017年8月, 内华达州律师
  25. ^ Tom, Daniel. 田纳西州智能合约法案 (PDF). 22 September 2020 [22 September 2020]. (原始内容存档 (PDF)于2 October 2020). 
  26. ^ 怀俄明州, 议会. 怀俄明州 - 智能合约. 26 February 2019 [26 September 2020]. (原始内容存档于28 January 2019). 
  27. ^ Morgan, Herbert Smith Freehills LLP-Charlie; Parker, Chris; Livingston, Dorothy; Naish, Vanessa; Tevendale, Craig. 智能合约中的数字争议仲裁及英国司法管辖区工作组的数字争议解决规则发布 | Lexology. www.lexology.com. 23 April 2021 [2021-04-25]. (原始内容存档于2021-04-25) (英语). 
  28. ^ 28.0 28.1 28.2 Soloro, Kevin; Kanna, Randall; Hoover, David. Solidity与以太坊智能合约开发实战:从基础到部署. 加利福尼亚, 美国: O'Reilly. December 2019: 73 [1 November 2020]. ISBN 978-1-492-04526-7. (原始内容存档于25 October 2023). 
  29. ^ 29.0 29.1 Sergey, Ilya; Nagaraj, Vaivaswatha; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan. 用Scilla实现更安全的智能合约编程. ACM编程语言汇刊. 10 October 2019, 3 (OOPSLA): 1–30. ISSN 2475-1421. doi:10.1145/3360611可免费查阅 (英语). 
  30. ^ Alharby, Maher; van Moorsel, Aad. 基于区块链的智能合约:系统性综述. 计算机科学与信息技术. 26 August 2017: 125–140. ISBN 9781921987700. arXiv:1710.06372可免费查阅. doi:10.5121/csit.2017.71011可免费查阅. 
  31. ^ Wohrer, Maximilian; Zdun, Uwe. 智能合约:以太坊生态系统与Solidity中的安全模式. 2018年区块链导向软件工程国际研讨会(IWBOSE). 20 March 2018: 2–8 [4 October 2020]. ISBN 978-1-5386-5986-1. S2CID 4567923. doi:10.1109/IWBOSE.2018.8327565. (原始内容存档于9 October 2020). 
  32. ^ Perez, Daniel; Livshits, Benjamin. 智能合约漏洞:存在漏洞不等于被利用. 17 October 2020. arXiv:1902.06710可免费查阅 [cs.CR]. 
  33. ^ 33.0 33.1 Harz, Dominik; Knottenbelt, William. 迈向更安全的智能合约:语言与验证方法综述. 31 October 2018. arXiv:1809.09805可免费查阅 [cs.CR]. 
  34. ^ 34.0 34.1 34.2 Tyurin, A.V.; Tyuluandin, I.V.; Maltsev, V.S.; Kirilenko, I.A.; Berezun, D.A. 安全智能合约编程语言综述. 俄罗斯科学院系统编程研究所论文集. 2019, 31 (3): 157–176. S2CID 203179644. doi:10.15514/ispras-2019-31(3)-13可免费查阅. 
  35. ^ Jansen, Marc; Hdhili, Farouk; Gouiaa, Ramy; Qasem, Ziyaad. 智能合约语言需要图灵完备吗?. 区块链与应用. 智能系统与计算进展 1010. Springer International Publishing. 2020: 19–26. ISBN 978-3-030-23812-4. S2CID 195656195. doi:10.1007/978-3-030-23813-1_3 (英语). 
  36. ^ 36.0 36.1 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana, 以太坊智能合约攻击综述 (PDF), 第六届安全与信任原理国际会议(POST), 欧洲理论与软件实践联合会议, 2017 [2017-06-20], (原始内容存档 (PDF)于2017-07-10) 
  37. ^ Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto, SoK:解析比特币智能合约 (PDF), 第七届安全与信任原理国际会议(POST), 欧洲理论与软件实践联合会议, 2018 [2018-02-22], (原始内容存档 (PDF)于2018-02-23) 
  38. ^ 38.0 38.1 Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Pourdamghani, Arash. 概率智能合约:区块链上的安全随机数. 21 February 2019. arXiv:1902.07986可免费查阅 [cs.GT] (英语). 
  39. ^ Chen, Tai-yuan; Huang, Wei-ning; Kuo, Po-chun; Chung, Hao. 在区块链上生成安全随机数的方法. 6 August 2020 [28 August 2020]. 
  40. ^ Jia, Zhifeng; Chen, Rui; Li, Jie. DeLottery:基于区块链技术的新型去中心化彩票系统. 2019年第二届区块链技术与应用国际会议论文集. 2019: 20–25. ISBN 9781450377430. S2CID 207880557. doi:10.1145/3376044.3376049 (英语). 
  41. ^ randao/randao. randao. 10 July 2020 [10 July 2020]. (原始内容存档于10 August 2020). 
  42. ^ Nick Szabo. 具有所有者权限的安全产权. 1998 [January 12, 2014]. (原始内容存档于January 15, 2014). 
  43. ^ Jörg F. Wittenberger. Askemos 分布式结算. 国际电子商务、电子教育、电子科学与电子医学基础设施进展会议论文集(SSGRR), L’Aquila. 2002 [2017-05-25]. (原始内容存档于2018-07-01). 
  44. ^ 国际电子商务、电子教育、电子科学与电子医学基础设施进展会议论文集 (PDF). [2017-05-25]. (原始内容 (PDF)存档于2017-10-26). 
  45. ^ Martin Möbius. 在Askemos系统中存储可追溯数据记录的归档概念创建 (学位论文). 米特韦达应用技术大学. 2009 [2017-05-25]. (原始内容存档于2018-07-01). 
  46. ^ Tom-Steve Watzke. 作为基于Askemos操作系统的购物系统基础数据库接口的开发. 2010 [2017-05-25]. (原始内容存档于2018-07-01). 
  47. ^ RA Markus Heinker. 民事诉讼中电子文件的证据评估——结合《签名法》规定的合格电子签名与Askemos程序的比较考察. 2007 [2017-05-25]. (原始内容存档于2018-07-01). 
  48. ^ Hal Hodson. 比特币超越货币范畴. 新科学家. 20 November 2013 [12 January 2014]. (原始内容存档于5 July 2015). 
  49. ^ Ross, Rory. 智能货币:区块链是互联网的未来. 新闻周刊. 2015-09-12 [2016-05-27]. (原始内容存档于2016-07-10). 
  50. ^ Wigan, David. 银行家称比特币技术将颠覆衍生品. 亚洲国际金融评论. 2015-06-11 [2016-05-27]. (原始内容存档于2016-06-29). 
  51. ^ 区块链技术如何改变我们的生活 (PDF). [2024-05-24]. (原始内容存档 (PDF)于2017-03-30). 
  52. ^ 区块链与人工智能将在未来十年摧毁这4个小型商业领域. [2024-05-24]. (原始内容存档于2017-12-22). 
  53. ^ 数字政府的区块链技术
  54. ^ 基于区块链的文件认证框架. [2024-05-24]. doi:10.1007/978-3-030-67490-8_19. (原始内容存档于2021-05-12). 
  55. ^ Snook, Chris J. 区块链与人工智能将摧毁这4个小型商业领域. Inc.com. 31 October 2017 [25 January 2022]. (原始内容存档于22 December 2017). 
  56. ^ Bitfury集团与格鲁吉亚政府扩大区块链试点 (PDF). [2021-05-26]. (原始内容存档 (PDF)于2021-05-26). 
  57. ^ 区块链 - 期刊门户. [2021-05-26]. doi:10.1162/inov_a_00276. (原始内容存档于2021-03-03). 
  58. ^ 数字化转型:区块链与土地所有权 (PDF). [2021-05-26]. (原始内容存档 (PDF)于2021-06-21). 
  59. ^ 乌克兰与科技公司Bitfury启动大型区块链合作. 路透社. 17 April 2017. (原始内容存档于2023-01-24). 
  60. ^ Oranburg, Seth; Palagashvili, Liya. 零工经济、智能合约与传统工作安排的颠覆需要付费订阅. Search eLibrary. 22 October 2018 [25 January 2022]. S2CID 216803648. SSRN 3270867可免费查阅. doi:10.2139/ssrn.3270867. (原始内容存档于20 February 2022). 
  61. ^ 基于区块链的临时雇佣合同正确处理去中心化系统. [2024-05-24]. (原始内容存档于2023-10-15). 
  62. ^ Peck, M. 以太坊1.5亿美元的DAO启动之际,研究人员呼吁暂停. IEEE综览. 电气电子工程师学会. 28 May 2016 [2 February 2020]. (原始内容存档于30 May 2016). 
  63. ^ DuPont, Quinn. 算法治理实验:"The DAO"的历史与民族志,一个失败的去中心化自治组织 (PDF). 2017 [29 July 2017]. (原始内容 (PDF)存档于2017-07-30). 
  64. ^ Coy, Peter; Kharif, Olga. 这就是区块链上的你的公司. 彭博商业周刊. 25 August 2016 [2016-12-05]. (原始内容存档于2016-09-14). 
  65. ^ Praitheeshan, Purathani; Pan, Lei; Yu, Jiangshan; Liu, Joseph; Doss, R. 以太坊智能合约漏洞的安全分析方法:综述. 2019. arXiv:1908.08605可免费查阅 [cs.CR]. 
  66. ^ 白皮书:智能合约与分布式账本——法律视角 互联网档案馆存檔,存档日期2018-04-24., 5.
  67. ^ 白皮书:智能合约与分布式账本——法律视角 互联网档案馆存檔,存档日期2018-04-24., 3.

Template:交换媒介