Agrello：利用人工智能让智能合约名副其实

shangfangkang

　　Agrello：利用人工智能让智能合约名副其实
　　智能合约和区块链技术在自动化处理商业关系方面潜力巨大——减少律师和法院服务的纸面工作、开支和牵连，同时促进了信任。不过到目前为止，智能合约技术应用于真实世界的合同还是很不现实的，因为它的模糊属性及法律可行性。Agrello利用使用最先进的人工智能技术在比特币区块链、法律界和非代码技术终端用户之间架起了桥梁，让智能合约名副其实——即智能又有法律约束。
　　原始智能合约及其不足
　　“智能合约”的概念最初在1994年由密码学研究者Nick Szabo提出，那时他受到未来电子商务和新兴互联网的启发。Szabo说，因为合约和法律合同通常是一个“如果这样那么就如何”的逻辑，就像代码(“如果a 满足，b就做什么”)，书面合约可能会被计算机程序所取代，自动执行合同的条款。
　　代码是精确的，无需易犯错的人类的解释，在传统合约中的合同常常会呈现在法官面前来解读。
　　而且，合约和合同只不过是纸面上的文字，没有权威强迫执行它，它就是无用的。另一方面，我们现代社会的运转有赖于代码。用编程指令可以转移资金、解锁门房、在托管处没收支付等，无需警察或官员签署命令或警告。
　　代码的问题是，它容易被黑，如果我们想要代码合同管理资金和资产，这个代码必须保存在计算机平台上，这个平台掌管了这些资产。这样的平台是不可靠的，同时这样的合约也是不能被信任的，它可能会被攻破或被违规修改，由于这样的原因，在电子商务大行其道的今天，Szabo的智能合约却没有成为现实，有待通过未来技术来实现。
　　进入区块链
　　未来技术总是比人们的预料来的更快，在2009年，一位匿名计算机科学家中本聪发布了白皮书“点对点电子现金系统”。在这个只有9页的文档中，中本聪提出了一种分布式账簿系统，它可以在一个去中心化计算机网络中记录数据，没有人可以威胁到储存在这个系统上的数据。比特币就这样诞生了，区块链概念成为真实的可靠来源。
　　区块链解决了Nick Szabo及其同事在15年前提出的问题。代码可以存储在区块链上，而不必存储在单点位置上，因此不会受一个节点拥有人的影响。而且，区块链的公共属性和共识机制让代码的违规修改几乎无法实现。
　　年轻的区块链社区迅速理解了区块链的意义，“智能合约”概念沉寂了十几年重新焕发生机，成为以太坊的基石，这个项目有19岁的天才少年Vitalik Buterin所领导开发。
　　Buterin和他的同事展示了把代码存储在区块链及根据不变的预设条件触发货币交易的可行性。这种管理自动交易的代码被称为“智能合约”，它被人们称为去中心化商业的未来。
　　智能但不是合约
　　以太坊、量子链等图灵完备区块链平台中的这些代码被称为智能合约是可以接受的，不过这个名字有些误导人。
　　以太坊的智能合约本质上是代码，与其它编程语言类似。虽然智能合约可以处理区块链各个代理间的交易，可以执行代理间的合同条款，但智能合约本身不是真正的合约。
　　合约在维基百科上的定义是“两个或多个参与者自愿安排，法律保证实施，具有法律约束的合同，合同的形式包括要约、接受、对价和相互约束意图”。
　　智能合约不满足这样的标准，它没有清晰给出要约，没有表示接受和被法律约束的意愿——因此它没有法律层面的强制性。
　　在区块链产业早期，“无法律约束力”常常被看作是一个特色而不是一个bug。很多活动家和爱好者经常聚集在加密货币领域来躲避传统“法律”形式，用以代码为基础的自治组织来替代传统组织。这种做法是否奏效还有待观察，不过，即使对那些有野心勃勃的人来说，这种让交易更快速、更便宜、更可接近的智能合约技术并不是完美的。
　　制定实际合同的双方参与人只使用智能合约的话，很快会发现他们无法实现合同，不管从理论上还是在实际中。最好的情况是，通过努力设置一系列智能合约，例如，负责自动支付，在房屋租赁合同中可以自动解锁房门。
　　Agrello：利用人工智能让智能合约名副其实
　　结果就像上图。
　　一个智能合约可以保证交易稳定且不可撤销地从租赁方转移到出租方，它会触发一个附加智能合约，解锁公寓房门，双方无需相互认识或信任。
　　不过，双方要把资金和资产委托给这样一个程序，这过于依赖开发者。考虑到智能合约的不可更改性和不可撤销性，这样的开发者拥有比律师更高的地位。
　　为了保证这种代码的可靠性、确保它被调试过且被存档，这种合约的开发成本会比中等创业公司的A轮预算还高，还要承担信任第三方的质量迭代，这让整个操作从一开始就无意义。跳过这样的防范措施是可行的，不过你要承受TheDAO这样的风险。
　　除了这些安全问题，这些代码本身缺少真实合约的本质元素，如条款、条件、未来纠纷解决指南、相互意图和接受的证明等。最重要的是，这些最终代码是硬性的，被写死了，没有真实商业关系所需要的灵活性。
　　真实的“自动化合同”或智能合同需要不断的用户输入，可以让A确认B履行了义务。这样会出现某些情况后会导致问题，例如B履行了自己的义务但A拒绝承认。这个时候，第三方、托管服务、预言机和传感器等可以被使用来解决问题，不过这些必须集成进一种系统，让用户可以轻松与之互动，理解它们的功能。不过目前存在于真实区块链平台的智能合约无法满足这样的需求。
　　用人工智能打造智能合约
　　尽管智能合约技术还很简陋，不过毋庸置疑它是一种开创性创新，很有可能会成为未来数字化商业的基石。
　　图灵完备区块链和物联网的诞生，让智能合约可以安全地、迅速地转移资产，与物理实体进行互动，当今使用大量人力资源和时间的商业过程可以实现自动化。不过为了替代传统书面合约和法律关系，这些自动化过程必须要有灵活性和智能性，也要嵌入一个界面让人类理解它。
　　而且，法律手续不能被无视。智能合约会缓解法庭解决纠纷的需求，不过这种需求不会被完全消除。在上文提出的房屋租赁例子里，知道你的房门会在支付完成后被打开是很好的，不过，知道你有占据这个公寓的权利且在遇到权利被侵犯时可以依赖法律救助就更好了。
　　因此，我们可以总结为了让数字化智能合约有效地取代传统形式的纸面合同，智能合约必须满足如下需求：
　　l 人类友好
　　传统的法律文档是复杂的，通常只有专业人士才能正确理解。智能合约应该缓解这种情况，而不是通过模糊代码代替自然语言加重这种情况。智能合约的用户界面应该像好的软件一样简单易用、好理解。
　　l 法律可行性
　　为了作为法律文书使用，智能合同必须包含接受特定条件的证据，还有面对要约、接受和相互约束意愿的描述。还要用官方承认的不可更改的方式对数字身份和签名进行管理。
　　l 灵活性和可控性
　　为了适应现实商业世界，智能合同必须可以被管理、被调整和重新谈判。在环境改变时，智能合同应该可以让参与一方放弃另一方的义务，或停止履行自己的义务。
　　l 互动性
　　比特币交易平台智能合同必须贯穿一个合约的整个生命周期，可以让这个合约根据用户输入分成不同的场景，智能合同必须可以让用户能确认对方有没有履行义务，或成为无法拒绝的履行完义务的证据。
　　l 可监管 可分析
　　为了让智能合同超过传统合同，必须完全利用代码超越纸面文本的优势。智能合同应该可以被人工智能代理分析，在最好的行动过程方面优化用户视野，这也是人类顾问会做的。
　　为了满足这些需求，agrello使用了最先进的Belief–desire–intention(BDI)模式来创建人工智能引擎，可以把用户的输入翻译为负责的智能合约代码结构，这些代码可以执行合同的条款。
　　Agrello：利用人工智能让智能合约名副其实
　　Agrello：利用人工智能让智能合约名副其实
　　这种合同可以让用户通过图形化界面在模板和向导的帮助下来创建，可以直觉化使用，且高度可定制。
　　Agrello：利用人工智能让智能合约名副其实
　　除了智能合约代码，人工智能代理可以创建法律文档，用自然语言撰写，在必要的时候可以呈现给法庭。
　　人工智能代理可以把人类可读的合同翻译为代码，这是可以全程被管理和扩张的，智能合约的生命周期不是无关紧要的，值得用一篇文章来说明，在这篇文章中我们会阐述BDI模式的工作原理，在我们的白皮书也有完整描述。