OKCoin

2017年智能合约腾飞,仍需做到三点

kyle 发布在 区块链 1 1110

亚瑟•布赖特曼(Arthur Breitman)和凯思琳布赖特曼(Kathleen Breitman分别是区块链平台Tezos的CEO和COO。在创立Tezos之前,Arthur曾在高盛集团和摩根史坦利担任副总裁。Kathleen则是R3区块链联盟的高级战略合作伙伴。

在这篇文章中,两人提供了他们对智能合约开发中面临的问题提出了观点和看法,提出了智能合约获得主流使用所面临的三个障碍。

QQ截图20170106143433

智能合约拥有很大的希望成为区块链的“杀手应用”。

如果你不熟悉,那么我告诉你——智能合约就是一种计算机程序,可以在一种区块链上自动执行合约条款。原则上讲,智能合约可以具有多种用途,例如无线服务合约、公寓和酒店租金、自由职业者工作合同、自动支付等任何你想要消除中间商的地方。

随着目前top10加密货币的市值总和超过170亿美元,通过添加智能合约能力,现有区块链资产都有很大的机会来提升灵活性和实用性。

显然,智能合约技术还为传统市场带来了巨大的好处。

例如,智能合约在OTC衍生品市场的使用案例,因为该市场每年的名义价值高达700万亿美元,所以即使只有一小部分市场转移到智能合约,那么也意味着庞大的成本节约。

不过,智能合约在兑现承诺之前,技术平台需要对这种技术进行更深入的开发。

以下便是2107年智能合约可以赢得我们信任的三种方式:

 

1.提供正式验证(Formal Verification)能力

 

众所周知,要想代码完全按照我们的思路运行这是一件非常困难的事情。

所有的软件都很容易出现bug或者遭受各种攻击——但是对于智能合约来说,这还关乎到具有现实价值的资产。所以我们需要一种更好的方式来确保这些合约是强大的和安全的。一种方式就是使用正式验证(Formal Verification)——一种用于检验代码是否会按照计划运行的数学方法。

智能合约的实施理应使用一种容易检验的语言来完成。因此,功能性语言,如Haskell和OCaml,在这里要比C/C++、Java和JavaScript更适合用于编写智能合约代码,因为它们的结构更易于推理和正式验证。

虽然熟悉JavaScript的程序员更多一些,不过对于智能合约来说,我们的重点需要从易用性转向安全性。

不过要记住,正式验证(FV)存在一些限制。它并不是完全自动化的,仍旧需要一些人类技能。

同时,FV只能证明我们想检查的属性;如果你检查的地方不对,那么就仍旧可能会留有漏洞。不过,如果正确实施,这会是迈向争取方向的一步。

 

2.确保透明性,让代码以备检查

 

目前智能合约的最大规模实验就是The DAO,这个虚拟化投资工具筹集了超过1.5亿美元的资金——但最终却沦为了攻击的受害者,其账户丢失了价值近5000万美元资金。

当安全研究人员开始分析The DAO时,要理解它究竟正在做什么是非常困难的,因为The DAO的字节码(虚拟机代码)在区块链上都是可见的,根本不清楚部署了哪个版本的源代码。

智能合约代码需要是透明的,并且无漏洞,这样我们就可以准确地知道当我们进入某个协议时我们签署了什么——并且同时代码错误也更容易被发现。实现这一点的方法之一是使用一种解释语言,而不是编译语言,这样的话,真实的代码就可以在区块链上可见,能够很容易检查。

此外,字节码需要准确规划到源代码,而这需要编译器本身进行认证。

 

3.提供一种清晰的治理机制

 

因为智能合约被存储在区块链上,因此按照定义来讲,其代码是不可更改的——这就意味着,在完美状况下,智能合约代码不可以更改。

但是世上不存在完美的软件。智能合约的底层平台肯定会发生变化,这就可能会影响到智能合约代码的执行。区块链如何处理这些变化对于这个平台的信任度来说至关重要。

如果没有清晰的治理模式,那么就无法确保智能合约稳如泰山,而开发者或其他人就可能滥用权力改变游戏规则。

当然,区块链的脆弱性很大程度上取决于社区对权力的滥用程度。所以,未来的区块链应该从一开始就制定一种清晰的治理原则,那么所有的协议更改都将以一种可预测的方式来进行,没有人会不知情。

一旦我们做到上述三点,智能合约将会腾飞并成为我们目前日常所使用的很多合约的基础,能处理各种各样的事情,从电费单,到宠物狗保姆,再到房东协议等等,将会让我们的生活更加方便简单。

就像互联网一样,普通人不会思考它背后的技术,我们只想知道如何运行它。

发文时比特币标准价格 买价:¥7014.00 卖价:¥6974.00
原文:http://www.coindesk.com/three-things-smart-contracts-take-off-2017/
作者:Arthur & Kathleen Breitman
编译:Kyle
稿源(译):巴比特资讯(http://www.8btc.com/smart-contract-3-things)
版权声明: by nc" sa 作者保留权利。文章为作者独立观点,不代表巴比特立场。

评论:1

您需要登录后才可以回复 登录|注册
    巴比特资讯
    巴比特资讯 10 天前

    【2017年智能合约腾飞,仍需做到三点】智能合约拥有很大的希望成为区块链的“杀手应用”,但智能合约在兑现承诺之前仍需做到三件事:1.提供正式验证(Formal Verification)能力;2.确保透明性,让代码以备检查;3.提供一种清晰的治理机制。http://t.cn/RMbNFTh

    +1
    +1
    我要点评