一份合约通常可以把合作双方或多方与未来的某件事物联系起来,比如买卖房产、汽车保险等。而智能合约与普通合约的不同之处在于,智能合约当中所有的执行条件都由计算机代码来评估并完成。
在现实生活中,当我们的合约出现问题时,我们只能依赖诸如律师和法院这样可信的第三方来主持公道;而在智能合约中,根本不存在信不信任第三方的问题,因为计算机代码就能够即时客观的帮我们执行合约的所有条款,它相当于一个优秀的法官。
这样听起来“智能合约”似乎很高大上,它应该像人工智能那样“聪明”。但事实却并非如此。
一份合格的智能合约,应该包括一切可能发生的情况。因为智能合约的核心要义就是“即使在最阴暗的环境中,也要做出最公正的裁决”。然而从目前的情况来看,我们所接触到的智能合约都是遵循程序员设定的一系列规则来达到目的的。它完全不考虑规则以外的因素。这也就意味着,在规则之外没有任何让你犹豫不决和法外留情的余地。
迅雷前CEO陈磊涉嫌职务侵占被调查,案由包括挪用公司数千万资金用于非法炒币:迅雷昨晚发布公告称,其前任CEO陈磊等人涉嫌职务侵占,深圳市局已对陈磊涉嫌职务侵占罪一案立案侦查。《科创板日报》记者从知情人士处获悉,陈磊涉嫌罪名案由包括:虚设交易环节侵占公司资产;制造虚假合同套取公司资金;涉嫌挪用公司数千万资金用于国家明令禁止的非法炒币。
据知情人士透露,迅雷新管理层对公司进行审计时发现:一家名为兴融合的迅雷带宽供应商实际为陈磊个人控制的公司,后者通过各种手段,向兴融合转移了数额巨大的资金,并将迅雷公司核心技术人员转移至兴融合公司,不过,上述事项正待进一步侦查。(《科创板日报》)[2020/10/9]
这种情况就引出了我们接下来要讲的问题。
声音 | 江卓尔:囤币者影响长期价格 炒币者影响短期价格:江卓尔微博图解比特币价值体系,认为价值决定长期价格。用币者决定系统价值,囤币者影响长期价格,炒币者影响短期价格。具体表现为,使用带来持续买入,导致币价上涨,导致囤币者涌入;囤币者加速币价上涨,然后导致炒币者涌入。[2019/1/19]
1.智能合约真的很难保证安全性
这一点从以太坊的身上就能够看出来。
由于以太坊本身是一个智能合约平台,因此很多人认为只有以太坊才能够实现智能合约。但这其实是认知上的一个误区,从1995年在比特币被发明之前,智能合约的概念就已经存在了;到了2009年比特币开发了一种相当广泛的智能合约语言“脚本(Script)”。
锤子科技CEO罗永浩:当初投了100万炒币,现在变成了3000多万:锤子科技CEO罗永浩在微博中表示,“平台革命的前夕,你不安心工作,整天炒币,也没挣到多少钱,而我没日没夜地工作,当初投的一百多万再也没关心过,最近发现都涨到3000多万了……小闯,你就算不想写代码了,也要山寨巴菲特,不要山寨韭菜。”[2018/5/8]
而以太坊与比特币之间的区别在于,以太坊是图灵完备的,通过该平台可以实现种类更多、条款更复杂的合约,当然这样做的代价是,复杂的合约内容使其变得更加难以分析。通常情况下,复杂度与发生漏洞的机率是成正比的;复杂度越高,发生漏洞的机率就越大。
金色财经现场报道 快的打车创始人陈伟星:以后没那么多机会炒币:金色财经现场报道,在4月3日举办的2018年世界区块链峰会现场,快的打车创始人陈伟星表示,区块链发展肯定每一年都会有进步,但是五年会是一个很大的进步,最终要实现到股权的多货币体系里面,可能还需要二十年或者更久。但是每五年度,都会有一个很巨大的进步。肯定不是现在大家看到的炒币,以后没那么多机会炒币,估计炒币也是机器人炒,人炒不过机器人。股市肯定不是现在的状态,最终我们一定能找到区块链可以用来解决什么问题。[2018/4/3]
而要在图灵完备的情况下执行这样一份合约也是非常棘手的,因为如果这时你想要证明你的合约是安全的,就相当于要证明计算机程序中没有BUG一样。但这个世界上就根本不存在没有BUG的计算机程序啊!
一个普通人至少需要多年的学习,通过层层考试并不断地实践才能成为一个合格的法官,但是现在写智能合约的门槛相当低,很多程序员都是新手,他们其实并不知道如何来保证这些合约的安全性。
2.智能合约真的没有去信任
即使没有图灵完备,智能合约听起来也还不错,毕竟不需要法院、律师这样的中介,在不需要信任第三方的情况下就能自动执行,效率?***鼗岜绕胀ê显几叩枚唷?
但是这里还有两个问题:
去信任是智能合约的核心特征。但即使智能合约本身是去信任的,合约的执行依然需要依赖第三方;
在去中心化的环境里,要想智能合约真的起到作用,虚拟世界和现实世界之间必须要有一个强关联关系才可以;
以买房为例:如果房子相当于以太坊区块链世界中的ETH代币,那么在虚拟世界里A将房子的所有权转让到B的名下,就可以换取一定数量的ETH,而此时在现实世界中,B也要相信这些ETH实际上就相当于房子的所有权。因此他们还是需要一个权威第三方来证明当B交出ETH之后他就能够在法律上获得这套房子的归属权。
这里就涉及到了“预言机”的问题,预言机是智能合约与外部环境进行数据交互的唯一途径,外部数据作为智能合约的输入参数经过预言机流入智能合约程序。只有通过预言机才能够确定,在虚拟世界和现实世界中你的状态,以及履行合约的情况是否一致。本质上来说,你还是需要信任流入预言机的数据是客观准确的,这与智能合约去信任的思想严重相悖。
如果想的再长远一些,即使当权威机构说这个代币实际上代表房产,但如果这些代币被盗了呢?被盗之后房子属于小偷吗?如果代币丢失了怎么办?这座房子就不能再卖了吗?可以重新换取新的代币来代表这套房子的所有权吗?如果是这样,谁来做这些事情?
而在没有预言机的情况下,唯一能够发挥作用的就是数字不记名工具。从本质上来讲,“数字不记名工具”意味着代币的所有权不能在智能合约所属平台之外再具备任何有依赖性的关系。因此,智能合约大部分时候,只有在像比特币这种内生型代币(不需要外部数据的输入)上才有可能做到真正的去信任。
我们当然希望智能合约能够比普通合约更有效,但不幸的是,现实生活中的很多合约,都包含一系列的假设和既定的法律体系;而且事实也证明,图灵完备的智能合约很容易带来意想不到的结果。交流请加笔者!
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。