源作者:璨剑
devc++无法运行程序“通过赌注达成共识 - 这不起作用。集线和分支链 - 不起作用。工作证明证明 - 不起作用。超立方体链 - 也没有用!”
与歌曲作者Jonathan Mann一起在舞台上演唱,以太坊创始人Vitalik Buterin周三在布拉格Devcon4结束了他的主题演讲,其中一首歌曲列出了过去五年的以太坊研究中的“思想的坟墓”。
每年一次的以太坊开发者大会,Devcon4都是关于以太坊 - 过去,现在和未来 - 而Buterin花时间在舞台上触摸所有这些时间段,因为它与平台期待已久的转向更具可扩展性和生态范式有关。
Buterin特别强调了这种转变的发展历史,它的各种学习曲线以及“解决Casper的中止尝试”。
Casper是一项备受期待的从基于采矿的工作证明共识算法转变为更具代表性的共识算法(称为股权证明),自2015年以来一直在为以太坊工作。
从那以后,由于Casper与即将推出的缩放方法,分片的融合,该项目被昵称为“Shasper” 。有时也更普遍地称为“以太坊2.0”,Buterin告诉人群他正在恢复一个较旧的名称,用于证明赌注转换,“Serenity”。
“我拒绝称它为Shasper,因为我发现它很蹩脚,”Buterin说。
除了名字,Buterin继续说这种转变非常接近结果。
Buterin引入了“100%纯正的纯有机Casper”以及可扩展性改进,表达了对该交换机对以太坊平台意味着什么的兴奋。
他说:
“宁静是'世界计算机'真正意义上的,而不是1999年可以玩蛇的智能手机。”
根据Buterin的说法,尽管在任何技术细节上都需要花费几年的时间才能实现,但过去两年的改进意味着它现在比以往任何时候都更加紧密。
打嗝的历史
通过Casper的历史记录和分析开发,Buterin详细描述了路线图中的几个错误和偏差。例如,由于与后来的研究不兼容,早期的想法(称为共识 - 下注)最终被废弃。
“我们创造了一个完整的概念验证,它耗费了我们几个月的时间,”Buterin说。
2016年的DAO黑客以及随后的上海攻击导致研究延迟了6个月,但Buterin仍然表示,“人们继续对更优化的算法看起来更好,更好。”
他继续说,在2017年,以太坊研究进入“勤劳时代”,开发商“提出了最小的削减条件”。
他告诉观众:
devcon无法运行怎么办“我们设法确定了混合[股权证明]的规格。”
3月份,早期的股权证明转换形式 - 一种被设计为智能合约的Casper形式 - 被换成了一种更有效的替代品,后来被称为Shasper。
Buterin表示,虽然这“最终导致以前完成的工作无效”,但它通过融合Casper和分离以前一直单独工作的工作流程来改善整体开发。
“如果我们制定了一个规范,一个协议可以让我们同时获得利益证明和分片的好处,”Buterin说。
四步宁静
根据Buterin的说法,Serenity将分四个阶段推出。
第一阶段,称为零阶段,将引入“信标链”,新的基于股权证明的区块链将与以太坊本身共存,并允许卡斯珀验证员参与。
“这是测试网和主网之间的一半,”Buterin说。
第一阶段是Serenity本身的“简化版本”,其特色是“分片作为数据链”,能够应对数据存储,但无法将智能合约或资金从一个碎片转移到另一个碎片。在此之后,第三阶段将启用跨分片通信 - 意味着用户通过不同的分片向彼此发送消息和资金。
Buterin说,第四个也是最后一个阶段只会进行一些调整和优化。
Buterin还更普遍地谈到了未来。例如,他建议通过仅在以太坊区块链本身上共享加密信息的匿名以太坊分片来“改善隐私”。
此外,他表示有兴趣将区块链更新为starks,这是一种加密机制,允许将交易无信任地聚合成可验证的批次,同时还提供隐私执行组件。该方法由一家名为Starkware的营利性公司开创,该公司 最近获得了以太坊基金会提供的400万美元赠款。
Buterin还反思了在Serenity发布之前需要发生什么。首先,需要稳定指导 - 或指导未来开发工作的技术手册。
“规格一直在快速发展,但很快就会稳定下来,”Buterin说道。
然后将该规范实现为不同的编程语言。Buterin说,目前大约有八个不同的团队正在进行实施。
“我认为我们距离该规范的候选版本并不是那么远,”Buterin继续说道,并补充道:
“发布 - 这是我们一直在等待的里程碑,这个里程碑在过去四五年里一直在努力,实际上并不是那么遥远。”