“赌注共识（Consensus by bet）——没能成功。中心辐射式链（Hub and spoke chains）——没能成功。工作量证明的证明（Proof-of-proof-of-work，PPOW）——没能成功。超级立方链（Hyper cube chains）——没能成功。”

（V神演唱视频链接）

这是本周三在布拉格举行的以太坊Devcon4大会上，以太坊创始人Vitalik Buterin与歌曲作者乔纳森•曼(Jonathan Mann)一起演唱的歌曲的片段。这首歌的歌词列出了过去5年以太坊所做的研究中已经“入土的创意”。

Devcon是一年一度的以太坊开发者大会，内容全都是关于以太坊的——包括其过去、现在和未来，Buterin在台上讲到了所有这些时间段，包括平台期待已久的向一种更可扩展和更生态的模式的切换——Casper，即以太坊由PoW向PoS的切换。

Buterin特别强调这个切换的发展历史，它的各种学习曲线和“解决Casper过程中遇到的各种失败尝试”。

Casper是一种备受期待的以太坊网络升级，将使以太坊从目前基于挖矿的PoW共识算法切换到PoW共识算法。自2015年开始，以太坊开发者就一直在研究这种升级。

此后，Casper又被戏称为“Shasper”，因为Casper与即将到来的扩容解决方案“分片（Sharding）”进行了融合。有时也被更普遍地称为“以太坊2.0”，Buterin告诉听众，他正在为这个PoS切换恢复使用一个旧的名字——“宁静”(Serenity)。

“我拒绝称它为Shasper，因为我觉得这个名字很差劲，”Buterin说。

撇开名字的问题，Buterin继续说道，这个切换就快实现了。

在介绍“100%纯正有组织的Casper”以及扩展性改进的同时，Buterin表达了对这次切换对以太坊平台意义的兴奋。

他说：

“Serenity是真正意义上的“世界计算机”，而不是一台1999年才推出的能玩“贪吃蛇”的智能手机。

根据Buterin所说，尽管在技术细节方面，这一切换花了数年时间，但过去两年集中在改进上的成果意味着，这一切换的到来比以往任何时候都要近。

风云历史

通过列出Casper和sharding开发的历史，Buterin详细描述了以太坊路线图前进过程中遇到的一些错误和偏差。例如，一个叫做“赌注共识（consensus-by-bet）”的早期想法，由于与后来的研究不兼容，最终被放弃了。

“我们当初为它创造了一个完整的概念验证，并且耗费了我们几个月的时间，”Buterin说。

2016年的The DAO攻击事件以及随后的大规模垃圾邮件攻击导致以太坊研究滞后了6个月时间，不过Buterin表示，“人们对哪种算法最优的理解越来越好。”

他接着说，在2017年，以太坊研究进入了“勤勉的时代”，在这个时期，开发者提出了实现Serenity所需的“最少苛刻条件”。

他告诉听众说：

“我们成功确定了混合[PoS]的参数规格。”

今年3月，一种早期的PoS切换——一种被设计成智能合约的Casper——被换成了一种更有效的替代方案，也就是后来的Shasper。

Buterin说，虽然这“最终会废掉以前完成的工作”，但是通过融合Casper和Sharding以前相互独立运行的工作流，改善了整体开发进度。

Buterin说:

“如果我们致力于同一种规范，一种协议，这将使我们在同一时间内获得PoS和分片的优点。”

Serenity四步走

据Buterin所说，Serenity将分四个阶段推出。

第一阶段，被称为阶段零，将引入“信标链（beacon chain）”，这种新的基于PoS的区块链将与以太坊本身共存，并允许Casper验证者参与。

Buterin说：

“这是从测试网络到主网的的中间部分。”

在第一阶段之后是Serenity的一个高度“简化版”，以“分片作为数据链”为特色，它能够处理数据存储，但不能将智能合约或资金从一个分片转移到另一个分片。

在此之后，第三阶段将实现跨分片通信——即用户通过不同分片互相发送消息和资金。

Buterin说，第四阶段，也就是最后阶段，只需要做一些调整和优化。

Buterin还谈到了更广泛的未来。例如，他建议可以通过匿名的以太坊分片来“改善隐私”，这些分片只能在以太坊区块链本身上共享加密的信息。

此外，他还表示有兴趣将区块链更新为“简洁透明交互式知识论证（starks）”, starks是一种加密机制，它允许将无信任的交易聚合到可验证的交易中，同时还提供了一个执行隐私的组件。这个方法是由一个名为Starkware的盈利性公司首创的，该公司最近从以太坊基金会获得了400万美元的资金。

Buterin还思考了在Serenity发布前需要做些什么。首先，需要一个稳定的指导开发工作的规范或技术手册。

Buterin说：“这个规范现在变化得相当快，但很快就会稳定下来。”

然后，这个规范将被实现为不同的编程语言。Buterin说，目前大约有8个不同的团队致力于实现。

“我认为我们离发布这个规范的候选版不远了，”Buterin继续说道，并补充道:

“正式发布——这是我们一直在等待的里程碑，这是过去四五年努力实现的里程碑，而如今这实际上已经不遥远了。”