作者 | Aholiab
出品 | CSDN、灵钛科技
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神和一众大神也带来了干货十足的演讲。
接下来,就跟着在前线的营长,第一时间把大佬们的干货一网打尽吧!
分享本篇文章到50人以上社群,截图发给营长,马上提取大佬演讲PPT!
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系统进行整合
最后,关于CBC Casper的部署,V神强调了一点,即你创建的任何区块都要包含前一个区块链的信息,这就是一条私有信息链。
Danny Ryan:以太坊2.0的进展
作为开场第二位演讲嘉宾,以太坊核心研究员Danny Ryan分享了名为《以太坊2.0进展》的主题演讲。
先就以太坊2.0的推进进展做了详细总结,并指出,过去的12个月,以太坊2.0的进展很大。首先,在2018年初,以太坊开始了PoS和PoW的混合方案,这中间Casper FFG协议尤为重要;以及通过分片管理合约(SMG)来对分片进行管理。
然而,这两个方向在2018年中旬就被全盘否定了,提出了新的解决方案,并且试图找到一个将它们有机串联的方法。包括:
ethResearch
Python PoC
HackMD
因此,到了今年一月,我们已经取得了一些进展,包括第0阶段的一些细节发布和优化,第1阶段的细节发布,以及客户端测试网上线等。
接下来,我们就来看一下以太坊2.0的架构实现和进展,以太坊2.0的架构图如下所示:
其中,第一层(PoW)部分为当前的以太坊主网。
第二层是Beacon链,它作为第一个被交付的组件,目前已经开发到了0.5.1的版本。Beacon链是以太坊2.0中极为重要的组件,它的功能包括:
管理PoS协议,以及所有的分片;
管理验证着;
提供随机性;
跟踪和更新验证者的存款;
执行交联(Crosslinks)的处理。
第三层是分片,是基于数据的共识。最后,第4层是状态执行层,负责合约状态的传输。
在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
在介绍完Plasma的最新进展后,Karl从实现原理上,讲解了Layer1和Layer2的对比。简单来说,Layer2解决方案,就是把计算、交易等业务处理环节拿到主链之外来执行,主链上只记载最终的状态。这样既能提升区块链的可扩展性,又能保证区块链的可信任能力。
此外,Karl还透露,未来在Layer2上,还可以扩展第三方零和证明生成器,以及第三方存储系统,如aws等。
同时,Plasma的验证流程如下所示:
最后,谈到Plasma与扩容,Karl认为目前他们实现的有以下三点:
测试网上线;
Plasma的基础说明发布;
Plasma基础部署实现。
但仍有很多工作要做,包括核心合约的验证,以及更加完善的代码库。
这些工作无疑牵涉到很多人的参与,但对此Karl反而很乐观,他PPT的最后一页,写着「大爱无疆」,看来他是很期待来自世界各地的人参与到Plasma的建设中。
*特别鸣谢:
感谢灵钛科技、Catherine Guo对本文的协助与支持!
在北京见V神!
今年6月29~30日,由CSDN、灵钛科技主办的第二届以太坊技术及应用大会将在北京长城饭店正式召开,届时由V神带队的上述以太坊核心研究员也将在北京与大家见面!更多会议相关咨询请私信营长!
中国人的区块链论文闯入国际学术顶会
4月21日相约北京,不见不散!!
推荐阅读:
偷电、挖矿、赚快钱,这些大学生到底怎么了?
一个月修复20个漏洞获23675美元赏金, 原来是黑客队伍里出了无间道
V神最新亲笔:“你是如何被欺骗的?”
频繁跳槽涨工资?会影响征信的! | 畅言
京东或将裁员 12000 人!雷军年薪百亿;马云:阿里没人敢跟我打赌 | 极客头条
39个国外SCI抢发6万篇中国英文论文?然而,真正的问题是……
终于有人把5G和边缘计算的关系说清楚了 | 技术头条
曝光!月薪 5 万的程序员面试题:73% 人都做错,你敢试吗?
老铁在看了吗?