看见幽灵:Vitalik 终于规范化了以太坊 Casper 协议升级

简介:

Casper 协议最初看上去真的像是一个幽灵。

据coindesk报道,对于以太坊信徒们来说,Casper 协议规范化升级这个消息可能听上去太棒了,以至于让人难以相信。外媒 CoinDesk 也与以太坊网络创造者 Vitalik Buterin 进行了确认,他现在正在着手准备三份解释 Casper 协议的白皮书,以及多项该协议的权益证明共识的参与版本。

从本质上来说,这些白皮书可能会成为以太坊的一个重要里程碑,在很长一段时间里,Casper 协议都被看作是在全球网络里保存区块链交易历史的一种更好、更绿色的协议方式,整个行业也等待了很长时间,希望能把这一协议具体落实到纸面上。

不仅如此,这个想法其实也深深地扎入到了一些以太坊开发者的脑海之中。在过去的几年时间里,一些业内线上聊天群组和博客文章都阐述了相关领域里的一些最新突破和发展。

随着权益证明(也是以太坊的重要一块)被列出,用户的确应该相信这些开发者已经有了一个很好的计划。

正因为如此,Buterin 现在所要推出的正式白皮书,也可以让行业内的精英开发人员进行同行评审,这可能也标志着该项目的一大进步,在改变系统到权益证明之前,该项目正在准备升级到第三阶段 Metropolis。(注:以太坊的发布分拆了四个阶段,即Frontier(前沿)、Homestead(家园)、Metropolis(大都会)和Serenity(宁静))

Virgil Griffith 是一名以太坊开发者,也是一名著名黑客和软件程序员,他正在复核 Buterin 的白皮书。在接受外媒 Coindesk 采访时,他说道:“总而言之,Casper 协议涉及在每次迭代中都在变得越来越好。”

在最近的几周时间里,这些白皮书已经被隐藏在了以太坊研究 GitHub 文档之中了,Buterin 和 Griffith 正在日以继夜地进行更新。

不过值得注意的是,据雷锋网了解,目前白皮书工作仍然处于早期阶段,相关文档中也有不少疑问标记,以及包含一些“即将到来!”的文档标注。但是,Griffith 已经表示,内容更新会在一个月时间内完成,不会让大家等待太长时间。他补充说道:“我正在努力工作,会把内容补充完整。”

稳扎稳打

第一个白皮书名叫“Casper协议,友好的终极工具”——名字来源于上世纪九十年代的一部电影《鬼马小精灵》(Casper the Friendly Ghost)——解释了共识系统在高层次上是如何运作的。

值得注意的是,在这份白皮书中重申了最近以太坊改变的方向。事实上,以太坊并不是马上从工作认证转到利益认证,而是计划首先慢慢地将两者融合在一起。

白皮书中这样解释道:

提案机制最初将会被用于现有的以太坊工作证明链,使得依赖于工作证明的混合 PoW/PoS 算法 Casper 协议的第一个版本获得活跃性,而不是安全性。不过,提案机制的未来版本可以用别的东西替代。

如果再进一步的话,工作认证将会被用于验证绝大多数以太坊区块,但是利益认证将会在每第 100 个区块中用于“检查点”,为系统提供更多“最终性”,或是确保交易不会被二次支出。

在这份白皮书中还继续介绍了一些可能的攻击,比如“长范围攻击”,验证者可以尝试使用如何通过 Casper 协议来克服这些攻击。

“恶魔”的细节

据雷锋网(公众号:雷锋网)获悉,另外两份白皮书讨论了系统细节内容。

第二份白皮书的标题为“Casper 协议,友好的终极工具中的激励机制”,探讨了让整套系统运作,并且还解释了一些确保整个系统不会搞砸的激励机制。

对于 Casper 协议来说,有两类可能出错的事情:第一类是当规则被破坏时会出现“安全故障”,举个例子,当两个验证器出现了不兼容的状态时,“安全故障”就会发生;第二类是“活跃性故障”,这个故障会发生在系统停摆,或是无法推送交易的时候。

由于用户必须要存储部分资金才能作为验证者参与到以太坊网络里,所以这份白皮书中还特别提到说,如果验证者试图违反规则,以太坊系统将会“窃取”他们的存款。

第三份白皮书的题目叫做“自动化的审查攻击拒绝”,主要专注于 51% 的攻击——那些矿工和矿山池积累了大部分网络计算能力,他们可以把系统规则扭转到对自己有优势的地方,比如说双重支出或阻止交易。

对于这个问题,其实从它出现开始,开发人员就已经思考了很多,因为这个问题会削弱区块链作为单一合法交易来源的信心。

在这份白皮书中,Buterin 认为 Casper 协议缓解了这个问题,因为如果验证者发生错误或违规,该协议就会对他们进行惩罚,“窃取”他们的存款。

其他解决方案

值得注意的是,Buterin 在这些白皮书中所罗列出来的权益认证解决方案其实并不是唯一的。

以太坊基金会的 Vlad Zamfir 主要负责 Casper 协议的实际开发,他表示计划在今年秋季举行的以太坊大型开发者会议 Devcon 大会召开之前,发布更多关于自己版本的 Casper 协议细节内容。

在接受 CoinDesk 采访时,他表示:

Vitalik 更多是希望尽快推动执行,而我更多的是在理论层面上寻求最优的解决方案,尽管这可能意味着要耗费更多时间。

不仅如此,由于 Buterin 的 Casper 协议版本现在已经开始处于着手准备白皮书阶段了,因此预计在同行评议过程中,还可能会做进一步的细化。

但是,开发人员已经开始启动执行 Buterin 的 Casper 协议解决方案中首个步骤了,预计执行时间会在以太坊的下一次大更新——即今年秋季发布 Metropolis(大都会)之前的某个时间点。

那么,现在其实还不太清楚 Casper 协议背后的理论具体会在什么时候被完全敲定,但至少,应该会在人们真实生活中看到幽灵之前吧。



本文作者:天诺
本文转自雷锋网禁止二次转载, 原文链接
目录
相关文章
|
3月前
共识协议的技术变迁问题之Mencius的灵感对后来的共识协议有何影响
共识协议的技术变迁问题之Mencius的灵感对后来的共识协议有何影响
54 12
|
3月前
|
智能网卡 数据处理
共识协议的技术变迁问题之为什么考虑将共识协议的某些部分卸载到硬件中实现
共识协议的技术变迁问题之为什么考虑将共识协议的某些部分卸载到硬件中实现
|
3月前
|
运维
共识协议的技术变迁问题之Tempo的方案有什么新意和不足
共识协议的技术变迁问题之Tempo的方案有什么新意和不足
|
3月前
|
存储 人工智能 前端开发
共识协议的技术变迁问题之分布式系统的基础目标是什么
共识协议的技术变迁问题之分布式系统的基础目标是什么
|
4月前
|
存储 供应链 安全
区块链技术防止交易被篡改的能力主要依赖于其独特的架构和机制
**区块链技术通过分布式存储、去中心化网络、哈希链接、共识机制及加密算法确保交易防篡改。每个区块含前块哈希,篡改将破坏链式结构;共识机制如PoW、PoS保证交易验证;智能合约增强安全性。多层防护保障数据完整性和安全性,支撑其在多个行业中的应用。**
|
5月前
|
算法 区块链 Python
区块链代币DAPP逻辑系统开发技术方案丨单边上扬模式开发逻辑
区块链代币DAPP逻辑系统开发技术方案丨单边上扬模式开发逻辑
|
5月前
|
存储 安全 区块链
|
存储 安全 Linux
基于私链的去中心化交易所模式系统定制开发部署规则解析
如果采用私链构建交易所,我们就需要解决资产控制权的问题。 公链可以做到资产链上存储,资产上链,配合撮合器实现价值转移。交易撮合成功后,交易记录上链,买方与卖方之间的交易均为钱包点对点,链上合约转账。以此实现交易所去资产托管。
|
存储 安全 算法
Free自由协议dapp流动性挖矿系统开发说明及流程
区块链是比特币的一个重要概念,是利用块链式数据结构来验证与存储数据;利用分布式节点共识算法,来生成和更新数据;利用密码学的方式,保证数据传输和访问的安全;利用由自动化脚本代码组成的智能合约,来编程和操作数据的一种全新的分布式基础架构与计算方式。
|
监控 安全 区块链
在区块链上追踪区块链的缺点
在区块链上追踪区块链的缺点