智 能 合 约

1. 智能合约的汗青

         智能合约最初是由 Nick Szabo 在 20 世纪 90 年代后期的一篇名为 Formalizing and Securing Relationships on Public Networks(《公共网络上关系的格式化和安全掩护》）的文章中提出的，但是 20 年之后，比特币的发明和区块链技能的发展才让人真正意识到智能合约的潜力和长处。Szabo 对智能合约的形貌如下：
         “智能合约是一种实行合约条款的电子生意业务协议，总的目标是满足共同的合约条件（比方付出条款、留置权、秘密性，乃至是欺压实行），最大限度地淘汰恶意和不测，并最小化相干的经济指标，包罗低沉敲诈丧失、仲裁和实行资源以及其他生意业务资源。”
         智能合约在 2009 年以有限的方式在比特币中得以实现。在比特币中，利用有限的脚本语言举行比特币生意业务，这使得即便在相互无信托的点对点网络上，用户之间也可以转移代价，而无须可信托的中介。
2. 智能合约的界说

         关于智能合约的标准界说现在尚无共识。智能合约的界说至关告急。
         智能合约（Smart Contract) 是一种安全且不可停止的盘算机步调，它代表可以自动实行和欺压实行的协议。
         如果对该界说进一步的分析，则可以看出，智能合约实际上是一种以盘算机或目标呆板可以明确的语言编写的盘算机步调。别的，它还包罗业务逻辑情势的各方之间的协议。当满足某些条件时，将自动实行智能合约，它们是可欺压实行的。这意味着，纵然存在对手，全部合约条款也会按照界说和预期实行。
         欺压实行（Enforcement) 是一个广义的术语，它涵盖了法律情势的传统欺压实行，以及特定步伐和控制步伐的实现，这些步伐无须任何调解即可实行合约条款。应当指出的是，真正的智能合约不应依赖传统的实行方法。相反，它们应该依照 “代码即法律” 的原则。这意味着，不必要仲裁人或第三方来控制或影响智能合约的实行。
         智能合约是自我实行的，而不是法律上可实行的。这个想法大概被以为是自由主义者的空想，但它完全有大概实现而且符合智能合约的真正精神。
         别的，智能合约是安全且不可停止的。这意味着，盘算机步调的计划方式应使其具有容错性，而且可以在公道的时间内实行，纵然外部因素倒霉，这些步调也应可以或许实行并保持康健的内部状态。
         比方，一个典范的盘算机步调以某种逻辑编码，并根据编码的指令实行利用。如果它所运行的环境或所依赖的外部因素偏离了正常或预期状态，则该步调大概会做出不确定性的反应，或仅仅是停止它。智能合约必须可以或许不受此类题目的影响。
         安全性和不可停止的特性被以为是须要的或理想的特性。如果从一开始就将安全性和不可停止的特性包罗在智能合约的界说中，那么恒久来看它将提供更大的收益。这将使研究职员从一开始就专注于这些方面，并将有助于为进一步的研究奠定坚固的底子。
         一些研究职员以为智能合约不必自动实行。相反，由于在某些环境下必要人工输入，因此只能称为“ 可自动化的” 。比方，合格的医疗专业职员大概必要对病历举行手动验证，在这种环境下，全自动方法大概效果不佳。
         固然在某些环境下确实必要人工输入和控制，但这并不是必须的。笔者以为，要使合约真正智能，就必须完全实现自动化。某些必要人工提供的输入可以而且应该通过 Oracle 将其自动化。
         智能合约常通过利用状态机模子管理内部状态，这允许开辟用于编写智能合给步调的有效框架。在该框架中，将根据某些预界说的标准和条件进一步完满智能合约的状态。
         关于智能合约的代码是否可以作为法院担当的合约的题目，也正在举行辩说。智能合约的表达方式与传统的法律条文有所差别，只管它们确实代表并欺压实行了全部合约条款，但法院大概并不明确该代码。
         这一困难引发了关于智能合约怎样具有法律束缚力的多少题目：
         可否以法院容易担当和明确的方式发展智能合约？怎样在代码中实现争议办理，有这种大概性吗？
         别的，法规和合规性要求是一个要办理的题目。只有办理了这些题目，才气像利用传统法律文件一样有效地利用智能合约。
         固然智能合约被定名为 “智能”，但实际上它们并非真的智能，只能按编写好的代码实行。固然，这也没题目，由于这一特性可确保