跳至內容

智慧型合約

本頁使用了標題或全文手工轉換
維基百科，自由的百科全書

智慧型合約是一種電腦程式或交易協定，旨在根據合約或協定的條款自動執行、控制或記錄事件與行動。[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（英語：Solana (blockchain platform)） 支援智慧型合約的區塊鏈平台
波場幣 支援智慧型合約的區塊鏈平台
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：作为经典合同法终结开端的“智能”合约. 社會科學研究網路. 2016-12-14 [2020-05-24]. SSRN 2885241 可免費查閱. （原始內容存檔於2020-03-24） （英語）. 
  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. （原始內容存檔於2014-01-11）. 
  8. ^ Alharby, Maher; van Moorsel, Aad. 基于区块链的智能合约：系统性综述. 電腦科學與資訊科技. 2017-08-26: 125–140. ISBN 9781921987700. S2CID 725413. arXiv:1710.06372 可免費查閱. doi:10.5121/csit.2017.71011. 
  9. ^ 9.0 9.1 Cannarsa, Michel. 合同与智能合约的解释：智能解释还是智能合约的解释？需要付費訂閱. 歐洲私法評論. 2018-12-01, 26 (6): 773–785 [2020-09-20]. S2CID 188017977. doi:10.54648/ERPL2018054. （原始內容存檔於2020-08-10） （英語）. 
  10. ^ 10.0 10.1 Drummer, Daniel; Neumann, Dirk. 代码即法律？区块链智能合约当前的法律与技术采用问题及对策需要付費訂閱. 資訊科技雜誌. 2020-08-05, 35 (4): 337–360 [2020-09-20]. ISSN 0268-3962. S2CID 225409384. doi:10.1177/0268396220924669. （原始內容存檔於2021-03-09） （英語）. 
  11. ^ 11.0 11.1 Filatova, Nataliia. 合同法视角下的智能合约：制定新监管策略需要付費訂閱. 國際法律與資訊科技雜誌. 2020-09-01, 28 (3): 217–242 [2020-09-20]. ISSN 0967-0769. doi:10.1093/ijlit/eaaa015. （原始內容存檔於2022-01-18） （英語）. 
  12. ^ Morris, David Z. 比特币不仅是数字货币，更是金融界的Napster. Fortune. 2014-01-21 [2018-11-07]. （原始內容存檔於2014-10-20）. 
  13. ^ Schulpen, Ruben R.W.H.G. 荷兰的智能合约 - 蒂尔堡大学. uvt.nl. 特溫特大學. 2018-08-01 [2019-10-26]. （原始內容存檔於2021-02-19）. 
  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). 2020-09-22 [2020-09-22]. （原始內容存檔 (PDF)於2020-10-02）. 
  26. ^ 懷俄明州, 議會. 怀俄明州 - 智能合约. 2019-02-26 [2020-09-26]. （原始內容存檔於2019-01-28）. 
  27. ^ Morgan, Herbert Smith Freehills LLP-Charlie; Parker, Chris; Livingston, Dorothy; Naish, Vanessa; Tevendale, Craig. 智能合约中的数字争议仲裁及英国司法管辖区工作组的数字争议解决规则发布 | Lexology. www.lexology.com. 2021-04-23 [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 [2020-11-01]. ISBN 978-1-492-04526-7. （原始內容存檔於2023-10-25）. 
  29. ^ 29.0 29.1 Sergey, Ilya; Nagaraj, Vaivaswatha; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan. 用Scilla实现更安全的智能合约编程. ACM程式語言彙刊. 2019-10-10, 3 (OOPSLA): 1–30. ISSN 2475-1421. doi:10.1145/3360611 可免費查閱 （英語）. 
  30. ^ Alharby, Maher; van Moorsel, Aad. 基于区块链的智能合约：系统性综述. 電腦科學與資訊科技. 2017-08-26: 125–140. ISBN 9781921987700. arXiv:1710.06372 可免費查閱. doi:10.5121/csit.2017.71011 可免費查閱. 
  31. ^ Wohrer, Maximilian; Zdun, Uwe. 智能合约：以太坊生态系统与Solidity中的安全模式. 2018年区块链导向软件工程国际研讨会(IWBOSE). 2018-03-20: 2–8 [2020-10-04]. ISBN 978-1-5386-5986-1. S2CID 4567923. doi:10.1109/IWBOSE.2018.8327565. （原始內容存檔於2020-10-09）. 
  32. ^ Perez, Daniel; Livshits, Benjamin. 智能合约漏洞：存在漏洞不等于被利用. 2020-10-17. arXiv:1902.06710 可免費查閱 [cs.CR]. 
  33. ^ 33.0 33.1 Harz, Dominik; Knottenbelt, William. 迈向更安全的智能合约：语言与验证方法综述. 2018-10-31. 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. 概率智能合约：区块链上的安全随机数. 2019-02-21. arXiv:1902.07986 可免費查閱 [cs.GT] （英語）. 
  39. ^ Chen, Tai-yuan; Huang, Wei-ning; Kuo, Po-chun; Chung, Hao. 在区块链上生成安全随机数的方法. 2020-08-06 [2020-08-28]. 
  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. 2020-07-10 [2020-07-10]. （原始內容存檔於2020-08-10）. 
  42. ^ Nick Szabo. 具有所有者权限的安全产权. 1998 [2014-01-12]. （原始內容存檔於2014-01-15）. 
  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. 比特币超越货币范畴. 新科學家. 2013-11-20 [2014-01-12]. （原始內容存檔於2015-07-05）. 
  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. 2017-10-31 [2022-01-25]. （原始內容存檔於2017-12-22）. 
  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启动大型区块链合作. 路透社. 2017-04-17. （原始內容存檔於2023-01-24）. 
  60. ^ Oranburg, Seth; Palagashvili, Liya. 零工经济、智能合约与传统工作安排的颠覆需要付費訂閱. Search eLibrary. 2018-10-22 [2022-01-25]. S2CID 216803648. SSRN 3270867 可免費查閱. doi:10.2139/ssrn.3270867. （原始內容存檔於2022-02-20）. 
  61. ^ 基于区块链的临时雇佣合同正确处理去中心化系统. [2024-05-24]. （原始內容存檔於2023-10-15）. 
  62. ^ Peck, M. 以太坊1.5亿美元的DAO启动之际，研究人员呼吁暂停. IEEE綜覽. 電氣電子工程師學會. 2016-05-28 [2020-02-02]. （原始內容存檔於2016-05-30）. 
  63. ^ DuPont, Quinn. 算法治理实验："The DAO"的历史与民族志，一个失败的去中心化自治组织 (PDF). 2017 [2017-07-29]. （原始內容 (PDF)存檔於2017-07-30）. 
  64. ^ Coy, Peter; Kharif, Olga. 这就是区块链上的你的公司. 彭博商業周刊. 2016-08-25 [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:交換媒介

取自「https://zh.wikipedia.org/w/index.php?title=智能合约&oldid=92567823」