智能合约面临‘迫在眉睫的挑战’，‘代码即法律’遭受争议

如果某种重复性工作能够被自动执行的区块链代码所取代，这并不意味着这些代码应该这样做。

昨日，一些华尔街的内部人士和区块链创新者在位于曼哈顿的纽约法学院聚在了一起，讨论什么时候智能合约是好的，什么时候是不好的，以及是什么阻碍了这种技术的广泛传播。

康奈尔大学教授兼加密货币与合约项目（IC3）的联合主管Ari Juels说：

“目前智能合约面临着一些迫在眉睫的大挑战。”

这次活动是由华尔街区块链联盟举办的，在一个有关实施法律健全且安全的智能合约的小组讨论中，Juels将这种技术面临的障碍分为两大类：

第一，行业的机密性带来了阻碍。尽管金融机构和其他行业参与者赞扬这种技术具有的透明性优点，但是要让他们将自己的信息放到区块链上，这确实会让他们犹豫。

在解决这种思想分歧的过程中，Juels看出这种情况的主要发展方向就是采用两种解决方案。

首先，他列出了运行零知识证明的软件解决方案，如Zcash所使用的zk-SNARK技术。这种技术可以合约对方控制自己分享多少信息以及谁能看到这些信息。

其次，他还列出了一种硬件解决方案。特别是，Juels说英特尔的软件保护扩展（SGE）将会有助于在保密和透明度之间取得平衡。

英特尔的锯齿湖（Sawtooth Lake）是基于一种叫做PoET（消逝时间量证明）的共识算法，目的是在一种可信任的执行环境（TEE）中运行，包括英特尔SGX。

“像零知识证明和SGX这样的工具能够让区块链用户‘鱼与熊掌兼得’。”

确保智能合约准确性

第二，智能合约面临的另一个‘迫在眉睫的挑战’就是准确性。

美富律师师事务所金融与项目团队的特别顾问Joshua Ashley Klayman表示，这个问题可以这样表达：“你怎样能够保证代码与你在合约中的想法相匹配？”

Juels认为bug奖励的广泛使用可以有助于发现代码不准确的地方，以及所谓的‘应急出口（escape hatches）能够防止在某些情况下执行合约。Klayman说解决准确性问题的答案就是简洁。

Klayman还是该公司的区块链与智能合约团队的创始成员，他说：

“通常情况下，我们倾向于说交易越简单越好，自由裁量权越少越好。”

不过，智能合约存在着一种潜在的特质，也就是Juels所说的准确性的需要。智能合约也必须是可更新的和可解释的。

‘代码即法律’受到争论

智能合约的优势之一就是其难以置信的准确性，不过这也是它的弱点，Juels如是说。

其中一个极端的例子就是所谓的‘代码即法律’哲学，没有自然语言与区块链智能合约相对应。

The DAO作为智能合约的第一种大规模使用，它一旦启动就无法自行修复自己的代码，因为改变代码就等于改变现有用户达成一致的条款。结果当The DAO被攻击的时候，资金缓慢流失，而其加密货币社区却无可奈何，直到实施更加激烈的解决方案——硬分叉。

Monax Industries的COO兼法律总顾问以及智能合约的长期批评者Preston Byrne将‘代码即法律’哲学描述为‘非律师工作者’胡说八道的‘时髦营销’。

Adjoint 创始人兼CEO Havell Rodrigues解释说，下一代智能合约必须至少能够给让使用智能合约的社区具有一点点的访问权限。

Rodrigues说：

“你要确保企业用户、合法用户可以解决智能合同的问题。”

不良智能合约

这个区块链专业人员团体还解决了智能合约创建过程中不要做什么和不要创建什么的问题。

一般来讲，智能合约带来的价值只会与它们被使用的频率成比例。所以，使用一次合约和很少使用合约都不太可能是有价值的使用案例。

同时，智能合约的价值与其颠覆的中间机构的价值一样。所以，那些不需要中间商或者很少用中间商的交易对手就不太可能会使用智能合约。

不过，对于那些在智能合约创建过程中规定的不要做的时候，并非都会按照设计原则进行。

当被问到哪种智能合约想法是不合适的，Juels说，智能合约实际上为犯罪活动带来了很多机会。

标准智能合约

沿着广泛采用智能合约的道路，需要克服更多障碍和避免资源浪费。

在另一场演讲中，企业数据管理（EDM）委员会创始人Mike Meriton认为目前正在开发的智能合约标准将是其获得广泛采用的最后一步。

上周，SWIFT公布了自己的概念验证，使用了Byrne的Eris软件和Tendermint共识引擎，设计用来展示ISO20022标准如何在区块链上履行职能。

今年年初，金融和贸易银行家协会（BAFT）进行了重大招聘，扩大了自己的区块链标准探讨。不久之后，国际证券协会的机构贸易交流协会（ISITC）的欧洲分部提出了10项区块链基准。

尽管之前的区块链标准工作似乎集中于区块链互操作性， Meriton说，一般来讲，EDM委员会的金融商务产业本体论（FIBO）项目的目标已经直接瞄准智能合约。

这个具有超过200个成员的非盈利贸易协会目前正处于先进的概念证明阶段，且具有FIBO标准。该标准基于传统合约的实际语言，设计用来处理频繁的跨平台交易合约的大型处理需求。

Meriton说：

“扩展区块链的目的就是为了利用像ISO和FIBO这样的标准。这具有巨大的潜力。”

这个EDM创始人说，他目前正在与数字资产控股公司，Consensys和R3进行对话，并且在今年初与富国银行，道富银行和德意志银行进行测试。他期待能够基于将在2017年末推出的标准来创建一些概念验证。

声明：此文出于传递更多信息之目的，并不意味着赞同其观点或证实其描述。本网站所提供的信息，只供参考之用。