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

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

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

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

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

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

第165次以太坊核心开发者执行会议:EIP-6466和EIP-6406是代码更改,不影响升级:金色财经报道,7月6日,在ACDE #165上,以太坊开发人员讨论了:对EIP-6466和6406的影响分析;Cancun/Deneb测试工作的进展;将构建器覆盖标志包含到引擎API中;以及EIP-4788规范中包含两个环形缓冲区。

首先,EIP-6466和EIP-6406是代码更改,将两个区块头字段transactions_root和receipts_root中的数据编码从RLP更新到SSZ。安全审计公司Dedaub对EIP-6466与EIP-6406的影响分析是为了确定这些代码更改对以太坊上已部署和积极使用的智能合约的影响。分析发现,SSZ更新将影响三个主要项目:LayerZero、zkBridge(跨链桥)和预言机。尽管这些应用程序受到影响,Dedaub总监Neville Grech表示,所有三个应用程序都可以升级,以适应通过EIP-6466和6406实施的代码更改。

关于Cancun/Deneb测试,以太坊基金会的DevOps工程师Parithosh Jayanthi表示,Devnet #7Cancun/Deneb升级已于6月30日星期五成功启动。测试网络正在顺利完成,并且已经发现了客户端实施中的一些问题。Jayanthi表示,一旦客户团队修复了未解决的问题,他将尝试在更长的时间内向网络发送Blob交易,以了解网络如何处理3个目标Blob/块的负载(从2个Blob的目标增加) /block在最后一个测试网期间。

关于将构建器覆盖标志包含到引擎API中,Teku (CL) 开发人员Mikhail Kalinin询问EL客户团队是否愿意接受坎昆升级中引擎API的更改。Kalinin要求客户团队在GitHub上审查构建器标志Engine API更改,如果他们反对在7月10日星期一之前将其纳入坎昆,请大声说出来。如果没有人反对这一更改,Kalinin表示他将合并必要的更改纳入引擎API规范,以便包含在Cancun/Deneb升级中,对引擎API的更改不会记录为EIP。

此外,EIP-4788引入一种新的预编译,这是一种具有成本效益的智能合约操作,它将在EL上公开有关CL的信息,以防止通过代码更改过度使用存储空间。此功能将解锁去中心化应用程序的许多用例,例如质押池和重新质押协议,这些应用程序将受益于对CL状态的信任最小化访问。以太坊基金会研究员Alex Stokes表示,该修改将合并到最终的EIP-4788规范中,以便在坎昆尽快实施。[2023/7/9 22:27:15]

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

公告 | 以太坊侧链开发商 SKALE 现已开源全部代码库:据以太坊侧链 SKALE Network 官方推特消息,现已开源整个代码库。SKALE 的代码库中包含是 BFT 算法模块,基于 SGX 的硬件钱包客户端,客户端和 BLS 阀值签名库。

此前报道,Skale Labs 是一家在 Plasma 框架内开发以太坊扩容基础设施的初创公司,由硅谷工程师 Jack O'Holleran 和 Stan Kladko 联合创立,去年 10 月份宣布获得 965 万美元的融资,由 Multicoin Capital 领投,Boost.VC、Canaan Venture Partners、Galaxy Digital、Neo Global Capital 等机构参与了投资。[2020/1/20]

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

声音 | 赵长鹏:建议用户变更API密钥及2FA代码:针对“币安热钱包被盗7000枚比特币”,赵长鹏在推特直播中表示:1.建议用户变更API密钥,2FA代码,采取一系列安全措施;2. 目前尚不能确定受影响的用户数量。[2019/5/8]

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

智能合约

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

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

币安核实所有上市ERC20币均未受错误代码影响:币安推特账号发布公告,证实所有上市币安的ERC20币均未受Batch或Proxy溢出漏洞影响。[2018/4/30]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

金智博客

[0:0ms0-4:800ms