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

2017 年 9 月 11 日 AI金融评论 天诺


雷锋网AI金融评论报道,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 协议背后的理论具体会在什么时候被完全敲定,但至少,应该会在人们真实生活中看到幽灵之前吧。


VIA coindesk


登录查看更多
0

相关内容

AI创新者:破解项目绩效的密码
专知会员服务
33+阅读 · 2020年6月21日
【微众银行】联邦学习白皮书_v2.0,48页pdf,
专知会员服务
165+阅读 · 2020年4月26日
【复旦大学-SP2020】NLP语言模型隐私泄漏风险
专知会员服务
24+阅读 · 2020年4月20日
【ACL2020-Allen AI】预训练语言模型中的无监督域聚类
专知会员服务
23+阅读 · 2020年4月7日
【新书】Java企业微服务,Enterprise Java Microservices,272页pdf
资源|Blockchain区块链中文资源阅读列表
专知会员服务
43+阅读 · 2019年11月20日
终于有人把中台说清楚了
物联网智库
8+阅读 · 2019年6月23日
一箭60星,特朗普宣称的6G或已开始启动
全球人工智能
11+阅读 · 2019年5月27日
排查中国千人计划学者,美对华科技限制再次升级
算法与数学之美
6+阅读 · 2018年9月19日
陆奇,YC 中国的 01 号员工 | 36氪独家
36氪
4+阅读 · 2018年8月15日
量子计算
人工智能学家
7+阅读 · 2018年4月6日
号称“开发者神器”的GitHub,到底该怎么用?
算法与数据结构
4+阅读 · 2018年3月29日
李开复:已退掉所有区块链3点钟群 | 早报
中国企业家杂志
4+阅读 · 2018年3月8日
终于!TensorFlow引入了动态图机制Eager Execution
深度学习世界
5+阅读 · 2017年11月1日
Self-Attention Graph Pooling
Arxiv
5+阅读 · 2019年4月17日
Factor Graph Attention
Arxiv
6+阅读 · 2019年4月11日
Arxiv
15+阅读 · 2019年4月4日
Phrase-Based & Neural Unsupervised Machine Translation
Arxiv
5+阅读 · 2018年4月17日
VIP会员
相关资讯
终于有人把中台说清楚了
物联网智库
8+阅读 · 2019年6月23日
一箭60星,特朗普宣称的6G或已开始启动
全球人工智能
11+阅读 · 2019年5月27日
排查中国千人计划学者,美对华科技限制再次升级
算法与数学之美
6+阅读 · 2018年9月19日
陆奇,YC 中国的 01 号员工 | 36氪独家
36氪
4+阅读 · 2018年8月15日
量子计算
人工智能学家
7+阅读 · 2018年4月6日
号称“开发者神器”的GitHub,到底该怎么用?
算法与数据结构
4+阅读 · 2018年3月29日
李开复:已退掉所有区块链3点钟群 | 早报
中国企业家杂志
4+阅读 · 2018年3月8日
终于!TensorFlow引入了动态图机制Eager Execution
深度学习世界
5+阅读 · 2017年11月1日
相关论文
Self-Attention Graph Pooling
Arxiv
5+阅读 · 2019年4月17日
Factor Graph Attention
Arxiv
6+阅读 · 2019年4月11日
Arxiv
15+阅读 · 2019年4月4日
Phrase-Based & Neural Unsupervised Machine Translation
Arxiv
5+阅读 · 2018年4月17日
Top
微信扫码咨询专知VIP会员