区块链专家就智能合约面临的“迫在眉睫的挑战”展开辩论

暴走时评：智能合约的用途十分广泛，其自动执行和无法篡改的准确性，可以替代一些重复性的工作流程，且不需要人为干预。但是凡事有两面性，智能合约也是如此，就拿准确性来说，之前著名的DAO（去中心化自治组织）因受到黑客攻击损失6000万美元，但是由于智能合约代码一旦启动就无法修改自己的代码，只能坐以待毙除非用分叉这种极端的解决方案。本文详细分析了智能合约的利弊，以及阻碍技术扩散的因素。

翻译：Nicole

只是因为区块链上的自动执行的代码可以替代重复工作，并不意味着就应该被该代码所取代。

昨天一群华尔街内部人士和区块链创新者出现在曼哈顿纽约学院，为了搞清楚什么时候智能合约是一个坏主意，而什么时候又是好主意，以及什么会阻碍技术的广泛扩散。

康奈尔技术学院教授兼CryptoCurrencies＆Contracts（IC3：数字货币和合约）合作总监Ari Juels说：

“有一些重大挑战即将来临。”

在华尔街区块链联盟主办的活动中，谈到实施合法安全的智能合约时，Juels将主要障碍分为两个主要类别。

他说，首先，行业内对保密性还是有需求的。虽然金融机构和领域中的其它参与者非常赞赏透明度这种优势，但是他们还是不愿将信息放到区块链上。

Juels在这种天壤之别中看到的主要方向是两种技术解决方案。

首先，他列出了和零知识证明一起运行的基于软件的解决方案，如搭建Zcash的zk-SNARK技术。该技术可以让交易对手方控制分享的信息量，以及谁能看到信息。

但他还列出了一个硬件解决方案。具体来说，Juels表示英特尔的软件保护扩展（Software Guard Extensions）将帮助在保密性和透明度之间取得平衡。

英特尔的Hyperledger，以及由称为PoET（经过时间的证明）的共识算法驱动的Sawtooth Lake，该算法旨在在包括Intel SGX的可信执行环境（TEE）中运行。

Ari Juels

Juels说：

“零知识证明和SGX等工具可以让区块链用户拥有他们的蛋糕，也可以吃它。”

确保准确性

智能合约开发面临的另一个“迫在眉睫的挑战”是准确性。

根据Morrison Foerster的财务兼项目团队的特别顾问Joshua Ashley Klayman所说，问题可以这样表述：“你如何确保代码和你所认为的合同中的内容相符？”

虽然Juels主张广泛使用漏洞赏金来找到不准确的地方，以及所谓的逃避舱口，来防止合同在某些情况下执行，但是Klayman说，准确性的关键是简单。

Joshua Ashley Klayman

作为公司区块链和智能合约集团的创始成员，Klayman说：

“通常，我们倾向于说交易越简单越好，裁判越少越好。”

但智能合约的基本特征和Juels所描述的对准确性的需求是一致的。智能合同还必须是可升级和可解读的。Juels称之为“神圣的模糊”。

“代码是法律”辩论

Juels认为虽然智能合约的优势之一是其令人难以置信的准确性，但是这也是其弱点之一。

这种极端的例子是“代码是法律”的哲学，应该没有自然语言对应于基于区块链的智能合同。

在首次大规模使用这种智能合同的情况下，DAO一旦启动就无法修复自己的代码，因为更改该代码等于改变现有用户同意的条款。结果是资金的缓慢流失，因为加密货币社区只能坐以待毙，除非想到更加极端的解决方案。

Monax Industries的首席运营官兼首席律师Preston Byrne和一些对智能合同的某些实施的长期批评者认为“代码是法律”的哲学是“非律师”想出的“胡说八道的营销”。

Adjoint的联合创始人兼首席执行官Havell Rodrigues解释了下一代智能合约必须至少给予使用它们的社区一小部分权限的原因。

Havell Rodrigues

Rodrigues说：

“你想确保商业用户，法律用户可以对智能合约提出问题。”

坏的智能合约

区块链专业人士还谈到了在构建智能合同时不应该做什么以及不搭建什么。

他们说，一般来说，智能合约智慧在高使用频率方面带来价值。因此，单用合约和很少使用的合约一般不会是有价值的应用案例。

另外，智能合约只和其颠覆的中介机构一样有价值。已经在交易对手方之间大量直接使用的服务不太可能为建设者带来价值。

但是不是每个不要做的例子都是基于设计原则的。

当被格林威治联合会的主持人Richard Johnson直接问及什么样的智能合约是一个坏主意时，Juels说“实际上智能合同提供了很多犯罪机会”。

具体来说，他列出了纵火和杀人这些智能合约就是不应该被建立的智能合约，事后款项也会自动支付。

标准智能合约

如果要让智能合约得到广泛采用，需要完成的只是克服障碍和避免浪费资源。

企业数据管理（EDM）理事会的创始人Mike Meriton认为，目前正在制定的智能合约标准将是实现广泛采用的最后一步。

上周，Swift推出了自己的概念验证，该概念验证是使用Byrne的Eris软件和Tendermint共识引擎搭建，其部分设计用途是展示ISO20022标准如何在区块链上运行。

今年早些时候，银行家金融和贸易协会（BAFT）组建了关键小组，旨在扩大自己的区块链标准出口，次月，国际机构交易通信国际证券协会（ISITC）的欧洲分部提出了10个区块链基准。

Meriton说，虽然以前的有关标准的努力似乎集中在区块链的互操作性，但是一般来说，EDM理事会的金融商业行业本体（FIBO）项目正确瞄准智能合同。

具有200多名成员的非营利贸易协会目前处于高级概念验证阶段，其FIBO标准已在对象管理组（Object Management Group）中注册。FIBO标准是基于传统合同的实际语言，旨在“跨越平台上频繁交易的合同的”繁重的处理要求。

Mike Meriton

Meriton说：

“将区块链扩容的目标是利用ISO和FIBO等标准，这其中有巨大的潜力。”

EDM创始人表示，他目前正在和数字资产控股、Consensys和R3进行对话，今年早些时候和富国银行，State Street和德意志银行进行了一次测试。他预计一系列POC将建立在2017年底之前发布的标准之上。

Meriton总结说：

“我们会有一个聚会，可以讨论一下这些功能。”

作者：Michael del Castillo | 编译者：Nicole | 来源：Coindesk