一份合约通常可以把合作双方或多方与未来的某件事物联系起来,比如买卖房产、汽车保险等。而智能合约与普通合约的不同之处在于,智能合约当中所有的执行条件都由计算机代码来评估并完成。
在现实生活中,当我们的合约出现问题时,我们只能依赖诸如律师和法院这样可信的第三方来主持公道;而在智能合约中,根本不存在信不信任第三方的问题,因为计算机代码就能够即时客观的帮我们执行合约的所有条款,它相当于一个优秀的法官。
这样听起来“智能合约”似乎很高大上,它应该像人工智能那样“聪明”。但事实却并非如此。
一份合格的智能合约,应该包括一切可能发生的情况。因为智能合约的核心要义就是“即使在最阴暗的环境中,也要做出最公正的裁决”。然而从目前的情况来看,我们所接触到的智能合约都是遵循程序员设定的一系列规则来达到目的的。它完全不考虑规则以外的因素。这也就意味着,在规则之外没有任何让你犹豫不决和法外留情的余地。
声音 | 新快报:披着“区块链”外衣,“炒币”死灰复燃:12月2日,新快报刊文《披着“区块链”外衣 “炒币”死灰复燃》。文章指出,空气币、山寨交易所卷土重来。这些“空气币”的宣传手法大同小异,无非是主打高收益,模式上仍是式拉人头的老一套。针对虚拟货币炒作死灰复燃的现象,北京、上海、深圳等地监管部门纷纷“亮剑”,对虚拟货币交易相关活动进行摸底排查。与上一轮清缴相比,此次全国清理整顿的介入更早,不少地方监管表示从小、从早进行打击清理。[2019/12/2]
这种情况就引出了我们接下来要讲的问题。
1.智能合约真的很难保证安全性
声音 | 中国信息消费联盟理事长:我相信重视区块链技术决不是鼓励大众炒币:据环球网报道,中国信息消费联盟理事长项立刚近日表示,区块链“国家队”进场,可能成为币圈新一轮的炒作机会。一个网友打了个形象的比喻:“正规军进山,第一件事就是剿匪。”到目前为止,区块链还没有被较大规模应用到社会经济的某个层面,我相信重视区块链技术,决不是鼓励大众炒币,更不会鼓励发众多的空气币,而是要把区块链技术研究透,用于社会管理和技术能力提升。[2019/10/29]
这一点从以太坊的身上就能够看出来。
由于以太坊本身是一个智能合约平台,因此很多人认为只有以太坊才能够实现智能合约。但这其实是认知上的一个误区,从1995年在比特币被发明之前,智能合约的概念就已经存在了;到了2009年比特币开发了一种相当广泛的智能合约语言“脚本(Script)”。
薛蛮子:野蛮生长的炒币时代已经过去了:薛蛮子今日在朋友圈表态,“这两天比特币应声下跌,野蛮生长的炒币时代已经过去了。我想今后的区块链创业者们融资数额会越来越少,估值会渐渐地回归理性,团队的业绩可能会出现与投资人之间的对条款,以保证项目方的信心。项目会两极分化。优秀项目会越来越好,空气币或者没有什么核心竞争力的me too项目会死掉。泡沫开始破了”。[2018/3/15]
而以太坊与比特币之间的区别在于,以太坊是图灵完备的,通过该平台可以实现种类更多、条款更复杂的合约,当然这样做的代价是,复杂的合约内容使其变得更加难以分析。通常情况下,复杂度与发生漏洞的机率是成正比的;复杂度越高,发生漏洞的机率就越大。
薛蛮子:靠炒币赚百倍的事情不可持续:2月21日消息,今日,薛蛮子在区块链第一社群“三点钟无眠区块链”里发表观点称:区块链是超越互联网的开创性技术,其未来发展趋势可期。尚处萌芽期的区块链技术实现健康发展离不开各国监管者的支持及有经验的投资机构和专业开发团队的共同努力。历史上的工业革命与互联网信息化发展都没有通过代币发行来实现,区块链技术的普及与最终应用也不是只凭发行代币就能一步到位的。将代币运用其中是要激励开发团队并进一步推动应用落地。但在过去的一年时间里,有很多人打区块链的幌子,发行没有应用场景和盈利潜力的空气币,甚至还有人利用手段害人。我们需清楚盲目参与代币发行和炒币等活动不仅是高风险行为,还可能违反当地法律。靠炒币赚百倍的事情是不可持续的。[2018/2/21]
而要在图灵完备的情况下执行这样一份合约也是非常棘手的,因为如果这时你想要证明你的合约是安全的,就相当于要证明计算机程序中没有BUG一样。但这个世界上就根本不存在没有BUG的计算机程序啊!
一个普通人至少需要多年的学习,通过层层考试并不断地实践才能成为一个合格的法官,但是现在写智能合约的门槛相当低,很多程序员都是新手,他们其实并不知道如何来保证这些合约的安全性。
2.智能合约真的没有去信任
即使没有图灵完备,智能合约听起来也还不错,毕竟不需要法院、律师这样的中介,在不需要信任第三方的情况下就能自动执行,效率?***鼗岜绕胀ê显几叩枚唷?
但是这里还有两个问题:
去信任是智能合约的核心特征。但即使智能合约本身是去信任的,合约的执行依然需要依赖第三方;
在去中心化的环境里,要想智能合约真的起到作用,虚拟世界和现实世界之间必须要有一个强关联关系才可以;
以买房为例:如果房子相当于以太坊区块链世界中的ETH代币,那么在虚拟世界里A将房子的所有权转让到B的名下,就可以换取一定数量的ETH,而此时在现实世界中,B也要相信这些ETH实际上就相当于房子的所有权。因此他们还是需要一个权威第三方来证明当B交出ETH之后他就能够在法律上获得这套房子的归属权。
这里就涉及到了“预言机”的问题,预言机是智能合约与外部环境进行数据交互的唯一途径,外部数据作为智能合约的输入参数经过预言机流入智能合约程序。只有通过预言机才能够确定,在虚拟世界和现实世界中你的状态,以及履行合约的情况是否一致。本质上来说,你还是需要信任流入预言机的数据是客观准确的,这与智能合约去信任的思想严重相悖。
如果想的再长远一些,即使当权威机构说这个代币实际上代表房产,但如果这些代币被盗了呢?被盗之后房子属于小偷吗?如果代币丢失了怎么办?这座房子就不能再卖了吗?可以重新换取新的代币来代表这套房子的所有权吗?如果是这样,谁来做这些事情?
而在没有预言机的情况下,唯一能够发挥作用的就是数字不记名工具。从本质上来讲,“数字不记名工具”意味着代币的所有权不能在智能合约所属平台之外再具备任何有依赖性的关系。因此,智能合约大部分时候,只有在像比特币这种内生型代币(不需要外部数据的输入)上才有可能做到真正的去信任。
我们当然希望智能合约能够比普通合约更有效,但不幸的是,现实生活中的很多合约,都包含一系列的假设和既定的法律体系;而且事实也证明,图灵完备的智能合约很容易带来意想不到的结果。交流请加笔者!
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。