代码即法律?区块链真的可以构建“理想的乌托邦”吗?

7年前的伦敦奥运会开幕式上,57岁的蒂姆·伯纳斯·李独自坐在舞台中央的电脑前,接受来自全世界人民感谢的掌声。

他在键盘上敲出了一行字显现在了大屏幕上——“Thisisforeveryone”,意喻万维网是送给世界上每一个人的礼物。

的确,正是因为他的发明,将这个世界彻底连为了一体。

时光拉回到1990年的圣诞节假期,当时籍籍无名的网络工程师蒂姆·伯纳斯·李,利用闲暇时间创造了现代互联网的前身——万维网。

蒂姆在公开发表的论文中提出了一个举世闻名的概念“去中心化”。一时间,“网络天生能够抵御几乎所有形式的控制”“代码即法律”……各种振奋人心的评论和报告让全世界目不暇接。

ZKSwap回应Matter Labs质疑:用户资金安全,智能合约和电路代码将开源:关于Matter Labs提到的一些疑问,ZKSwap作出如下回复:

1. ZKSwap在ZKSync Layer2转账的基础上完整实现了Layer2 AMM Swap电路,并实现了数项改进;

2. ZKSwap上用户的资金安全是得到保障的,智能合约和电路部分的代码已经获得了慢雾,Certik和ABDK三家权威安全审计机构的审计认证,审计报告已公开在项目github仓库中接受社区监督;

3. ZKSwap所有智能合约和电路的代码都将完全开源,其中,智能合约部分已经完全审计完成,将会在2021年3月1日开源;电路部分ABDK还在进行最后的审计报告编辑,将会在获得报告并在系统稳定运行一段时间后逐步开源,请社区保持关注;

4. 关于Matter Labs提到的智能合约中关于合约作者的疑问,ZKSync和ZKSwap都严格遵守MIT开源协议,必须保留原作者的版权声明和许可声明。ZKSwap在ZKSync合约的基础上进行的修改也将在合约开源时进行备注,并添加新的版权和许可声明,请社区监督。

此前消息,Matter Labs质疑ZKSwap克隆zkSync代码,担心其用户资金安全问题。[2021/2/24 17:47:58]

但是最终,现实打了所有人的脸。

动态 | Telegram 旗下区块链项目 TON 计划 10 月内上线主网,代码已经开源:根据周三发给投资者的电子邮件,Telegram开放网络(TON)正按计划推出。TON Labs首席技术官Mitja Goroshevsky向CoinDesk确认了电子邮件的真实性,并补充说TON Labs“将运行并管理自己的验证库”。投资者需要在10月16日之前使用密钥生成器并向Telegram提供其公钥,以便接收代币(grams)。根据与TON投资者的现有协议,该项目计划在10月31日之前启动。(CoinDesk)[2019/10/3]

如今的互联网不仅被互联网巨头们所控制,就连其本身也已经堕落成了“控制”的工具。而我们也不得承认一个残酷的现实:虚拟世界并不是遗世独立的。

动态 | Thundercore发布共识协议代码Pala:据coindesk报道,公共区块链平台提供商ThunderCore刚刚在GitHub上发布了一个名为Pala的新共识协议的概念验证代码。根据GitHub页面所述,Pala是一种拜占庭容错共识协议,可以在部分同步网络设置中实现低延迟和高吞吐量。[2019/5/16]

所以今天,当区块链重拾“代码即法律”的古老信仰时,我们也不禁要问,区块链真的能构建理想的乌托邦吗?还是又会继续踏进某些拙劣且重复的陷阱?

智能合约

1996年,法律学者、计算机科学家、密码学研究工作者尼克·萨博,将法律和计算机这两门学科中的关键要素结合一起,创造了“智能合约“的概念。

声音 | Loligo联合创始人:投资者需调查清楚企业、项目及ICO代码:据Cryptovest消息,ICO众筹平台Loligo的联合创始人兼首席执行官Abdelfattah Chehab在接受采访时表示,通过ICO筹集的资金总是会吸引想要快速赚钱并利用其他人的者和欺诈者。Chehab表示这种情况是可以理解的,并指出“有钱的地方有者”。他提醒投资者,投资者必须调查清楚企业、项目以及每项ICO的代码,即使对于大多数技术用户来说也是如此。大多数国家目前正在准备通过法律武器确保ICO得到监管并为投资者提供更多保护。[2018/10/17]

所谓智能合约,实际上就是一种基于规定触发规则的、可自动执行的计算机合约,也可以看作是传统合约的数字版本。但是这项技术在被提出后的很长的一段时间里,都因为缺乏可编程数字系统和相关技术而没有被用于实际产业中,直到区块链技术的出现才为其提供了可信的执行环境。

2013年底,19岁的维塔利克·布特林正式发布了以太坊白皮书《以太坊:下一代智能合约和去中心化应用平台》,将智能合约引入区块链,不仅打开了区块链技术在货币领域之外的应用,也开启了区块链的2.0时代。

和比特币相比,以太坊的架构更加的抽象,其虚拟机不仅仅可以用来转账,还可以执行可执行代码,也就是智能合约。

举个例子,比如说有一个去中心化的“区块链淘宝”,买家和卖家先在这个“区块链淘宝”上进行抵押,然后双方签名一套智能合约——由该区块链所连接的预言机读取验货、发货和收货的信息,当买家收到经过验证的真货之后,智能合约就会通过预言机接收到这个信号,然后自动执行转账操作。

再比如,我们用区块链的智能合约讨债,当欠款到期之后,智能合约便自动执行,让“老赖”根本无法赖着不还!

是不是听着很酷炫?很振奋人心?这不就是很多人梦寐以求的“代码即法律”吗?

所以,从以太坊的出现之后,用智能合约来取代法律,便成为了一种原教旨主义式的技术信仰。

代码即法律,只是看上去很美

无论是我们上面提到的“区块链淘宝”,还是用区块链的智能合约进行讨债。它们的前景看上去确实很美好,但是,这仅仅只是理想情况。

因为智能合约的强大执行性仅仅是在区块链上的世界。

而区块链和真实世界的连接与交互,也就是预言机是非常脆弱的——谁来验货?如何保证发的货是真的?谁来保证运输的路途中没有损坏和掉包?谁来保证买家不会耍赖,收到了说没有收到,或者直接掉包?这些信息,区块链本身什么都不知道,预言机读取什么,它就会根据相应的信号来进行操作,仅此而已。

所以,现实很骨感!想要用区块链的自治规则代替法律社会,首先需要全世界的人都在区块链上进行生存才可行,否则的话,就是看上去很美!

并且,因为智能合约强大的执行性,一旦运行起来,无法在代码规则之外进行人为干预,所以如果智能合约本身存在漏洞或者问题,在运行期间是根本无法挽救的。

比如说以太坊的“DAO事件”。因为以太坊的parity钱包代码漏洞,导致有人用1美元锁死了价值1.54亿美元的以太币。所有人只能眼睁睁看着,无法阻止,无法干预。

简单的来说,这起事件是“黑客”找到了一种方法,用智能合约起草者没有考虑的方式从合约中盗取了资金。但是从更广泛的意义上讲,这个盗取资金的人,可能根本就不能称作黑客。因为他只是利用了智能合约中的瑕疵而获利,这与那些有想法的注册会计师利用税务漏洞为其客户节税实际上并无太大区别。

所以,虽然区块链给我们提供了一种“完全100%的代码信任模型”,但是因为100%信任代码,所以就必然要求代码100%没有致命问题,一旦有致命问题,造成不可逆的损伤,即意味着彻底损失掉了100%的信任,变成0%的信任。

区块链技术的确给我们未来的生活带来了极大的想象空间。但是,想真要做到“代码即法律”,以当下的技术水平,或者说链上和链下的整合程度来说,还差的不可以道里计。

事实上,现在的很多区块链项目目前大都只能停留在设想上,因为真要实现起来,链上和链下的连接始终是个巨大的问题。

而与此同时,作为一个分布式的数据库,区块链在很多“宏大叙事”看不上的地方,脚踏实地,回归本源,比如具体行业的供应链交易、公司内部信息管理等方面,其实更能发挥实际的作用。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

[0:15ms0-1:969ms