V神玩起freestyle! 5位以太坊核心大咖在悉尼的演讲精华全在这了!| 直击EDCON
4月11日,以太坊开源技术社区最受关注的系列峰会EDCON 2019,在悉尼的国际会议中心(ICC)召开。EDCON是由以太坊社区成员灵钛科技发起举办的,每年在不同的国家举行 。
作为区块链领域最受关注的技术会议之一,EDCON旨在就以太坊的最新更新和就开发者最关注的话题进行讨论。
今年的EDCON大会以「EDCON Week」的形式举行,包括黑客马拉松和主题演讲两个部分, 内容涵盖分片、以太坊2.0新进展、链上/链下技术、Plasma、Snark等多项技术领域 。
在第一天的会议中,包括以太坊创始人 Vitalik Buterin,以及Karl Floersch、Hsiao-WeiWang、Justin Drake、Danny Ryan 等多位以太坊核心研究员,悉数带来了这一年来自己研究的新进展,以及对于以太坊生态未来的思考。
在会议一开始, 这些以太坊生态的大神们就来了个灵魂舞步,一向低调内敛的V神更是大胆玩起了Freestyle,大段大段玩起了Rap。活脱脱一个「以太坊偶像天团」 。
流量党可以看看这图里的舞步,还认识你们的V神吗?
当然, 除了献唱之外,V神和一众大神也带来了干货十足的演讲 。
接下来, 就跟着在前线的营长,第一时间把大佬们的干货一网打尽吧!
V神: CBC Casper与以太坊2.0
大家早上好,今天我来讲一下以太坊的一个非常大的进步,那就是CBC Casper,以及它在以太坊2.0中的应用。
首先,我想给大家介绍一下CBC Casper是什么。CBC Casper的提出者是Vlad Zamfir,它是一个新的异步BFT共识。
CBC Casper共识中有一个模块,可以界定最好的链是哪一个,基于这个链创建区块,可以加强这个链的权威性。
接着,再来看一下LMD GHOST协议。LMD GHOST协议是2013年提出的,目的是让我们选择一个在其上完成计算最多的路径。在同一条链上,每出现一个区块,总会有更多的支持区块。
你可以想象一下,每个区块包含复杂的信息。从创世区块开始,每个验证者(Validator)都能创建一个区块,假如有5个验证者,如果是这个区块本身可以打1分;如果有另一个区块对其支持,可以打2分;还有一个4分的区块(而第5个节点并不是最新的区块)。新创建的区块会选择分数最高的区块,这就是LMD GHOST的基本原理。
你可能会问,为什么我们会使用LMD GHOST,这里有两个原因。
首先,「最长链」原则对于多链并行的场景并不适用。在以太坊中,每14秒就会有一个新的区块诞生,但问题是,当这个区块诞生的同时,因为网络速度或其他原因,可能会同时诞生出多个相同的区块。
第二,多数人并不会打败多数人。从下图可以看到,除了B之外,其他人没有办法在同一条链上增加区块,因此B的区块会消失。
首先,选择底下的链,因为相比起上面这条只有1条最新消息支持的单一区块链条,底下的链有4条支持自己的最新消息,然后在下一个分叉支持中间的链。最终的结果与最长链相同。
事实上,在一个运行良好(即孤儿率很低)的网络中,大多数时候 LMD GHOST 和最长链规则都会给出完全相同的答案。但在更极端的情形中,就不一定是这样了。例如,我们不妨考虑下述这条链,其发生了三区块分叉
依据链的长度为区块赋予权重。如果我们遵循最长链规则,那么由于顶链更长,所以顶链获胜。
此外,CBC Casper还有很多优点,包括:
- 在显示区块为最终形态后,不同的客户可以根据自己的需要设置其安全范围;
- 如果有客户认为某些节点出于长久下线的状态,可以私下对其进行验证;
- 他可以很方便的与现有的PoS系统进行整合
Danny Ryan:以太坊2.0的进展
作为开场第二位演讲嘉宾,以太坊核心研究员Danny Ryan分享了名为《以太坊2.0进展》的主题演讲。
先就以太坊2.0的推进进展做了详细总结,并指出,过去的12个月,以太坊2.0的进展很大。首先,在2018年初,以太坊开始了PoS和PoW的混合方案,这中间Casper FFG协议尤为重要;以及通过分片管理合约(SMG)来对分片进行管理。
然而,这两个方向在2018年中旬就被全盘否定了,提出了新的解决方案,并且试图找到一个将它们有机串联的方法。包括:
- ethResearch
- Python PoC
- HackMD
接下来,我们就来看一下以太坊2.0的架构实现和进展,以太坊2.0的架构图如下所示:
其中,第一层(PoW)部分为当前的以太坊主网。
第二层是Beacon链,它作为第一个被交付的组件,目前已经开发到了0.5.1的版本。Beacon链是以太坊2.0中极为重要的组件,它的功能包括:
- 管理PoS协议,以及所有的分片;
- 管理验证着;
- 提供随机性;
- 跟踪和更新验证者的存款;
- 执行交联(Crosslinks)的处理。
在Danny看来,以上架构图也可以看作是以太坊2.0进程的路线图。第0阶段先实现底层;第1阶段实现第2层和第3层;第2阶段则会实现第2层、第3层和第4层。
目前,Danny已经在继续着手第0阶段,同时开始开展第一阶段的工作,关于时间,Danny坦言,目前还无法给出确定的时间表,但已经在努力。
此外,Danny也指出,以太坊2.0实现进程中所面临的困难。包括共识测试的推进、面对4百万验证者的优化、网络的稳定、状态同步机制的确定、验证者UI/UX设计、验证工具开发等等。
因此,Danny坦言以太坊2.0,还需要更多人参与贡献。但是,以太坊2.0已经离我们不远了。
Hsiao-Wei Wang:以太坊Beacon链验证者的生命周期
第三位出场的,是以太坊核心研究员Hsiao-Wei Wang,作为以太坊位数不多的女性开发者,Hsiao-Wei Wang一直致力于分片领域的研究。也是以太坊各种线下会议的老面孔。
在今天的演讲中,Hsiao-Wei Wang以一个Beacon链验证者(validator)的视角,全面阐述了Beacon链验证者在以太坊平台的声明周期。
首先,Hsiao-Wei Wang仍然先给出了以太坊2.0的生态架构,与Danny一样,Hsiao-Wei Wang同样认为以太坊2.0的实现,有赖于以下几个阶段,即Beacon链、分片链、分片状态处理,以及更多迭代的内容。
在开始前,Hsiao-Wei Wang首先给出了3个成为验证者的理由,主要体现在验证者可得到的奖励。包括:区块提出奖励、Casper FFG奖励(在Beacon链上投票)、交联(Crosslink)奖励(在分片链上投票)。
那么,如何成为以太坊Beacon链的验证者呢?总共分3步。
首先,用 MAX_DEPOSIT_AMOUNT 函数调用押金合约,并向该合约发送32个ETH;
接着,查看押金合约的状态,包括3种逻辑,如下图:
最后,等待pseudo-randomly sampled的执行结果。
作为验证者,也有一些责任,在第0阶段,主要包括在beacon链上发起有效的区块并对其进行证明。
如果验证者没有做到,则可能会受到一定的惩罚,包括Casper FFC惩罚、静止泄密惩罚、交联惩罚、提出者惩罚、证明者惩罚等。
最后,Hsiao-Wei Wang透露,要实现网络的稳定,还需要经历几个阶段,目前他们正在着手序列化与BLS签名方面的推进。
Justin Drake:以太坊2.0,数据下载的问题及解决方案
Justin Drake是上午的第四位出场嘉宾,他的演讲内容是围绕以太坊2.0 Custody证明展开的。
在演讲中他首先提出在目前的系统中,数据下载所面临的问题,由于分片链很多,假如一个分片链的下载速度是1MB/分钟:
那么多个分片链锁用的时间就是天文数字了。
针对此,他介绍了交联解决方案。交联解决方案从所有的验证者(Validator)中,通过Random Sampling随机选出一部分验证者,组成验证者委员会。
假如所有验证者中的诚实验证者有2/3的话,那么被选到验证者委员会中的验证者中就有一半以上是诚实的,也就能保证最终的投票结果大于等于1。
关于Beacon链和Custody的更多细节,可以参考官方文档:
https://github.com/ethereum/eth2.0-specs/blob/dev/specs/core/1_custody-game.md
Karl Floersch:从Plasma看以太坊扩容最新进展
还记得去年跟V神一起来北京,参加2018以太坊技术及应用大会的小可爱Karl Floersch?在这次的EDCON会议中,他继续以丰富的肢体语言,带来了Plasma的最新进展。
众所周知,整个2018年,以太坊的重点都放在了扩容上,在扩容方案中,Plasma是非常重要的一个解决方案。它类似于比特币的闪电网络,又不完全一样。
作为Plasma的负责人、以太坊核心研究员,Karl Floersch也带来了Plasma最新的进展,并且向观众详细阐明了Layer 2方案的优势。哦,对了,Karl Floersch也是上面以太坊偶像天团中的领舞者。
在演讲开始,Karl Floersch首先阐明了Plasma的好处,例如基于链下解决方案,不受限于15秒的出块时间等。
然而,随着Plasma测试网的推出,一些关于它的传言也越来越多。例如已部署的Plasma链超过了50个;每一个的处理能力都超过每秒2000笔交易;产生了几千个区块。
针对这些谣言Karl明确的提醒开发者,坚决不要相信!
目前,Plasma已经实现的能力只包括以下几点:
- 一键部署;
- 对客户端节点的移动支持;
- 支持ERC 20标准;
- 原子交换(Atomic Swaps)
- Optimistic Exits
此外,Karl还透露,未来在Layer2上,还可以扩展第三方零和证明生成器,以及第三方存储系统,如aws等。
同时,Plasma的验证流程如下所示:
最后,谈到Plasma与扩容,Karl认为目前他们实现的有以下三点:
- 测试网上线;
- Plasma的基础说明发布;
- Plasma基础部署实现。
这些工作无疑牵涉到很多人的参与,但对此Karl反而很乐观,他PPT的最后一页,写着「大爱无疆」,看来他是很期待来自世界各地的人参与到Plasma的建设中。
*特别鸣谢:
感谢灵钛科技、Catherine Guo对本文的协助与支持!
原创: Aholiab区块链大本营