以太坊明年就要完成难度炸弹了,这意味着会彻底实施权益证明,不过目前在共识算法细节上仍然在进行讨论研究。
在11月19日,Vitalik在研究者论坛里提到了一个建议,是关于Casper?FFG的,其主要内容我们节选如下:
在CasperFFG保证安全性和活性不变的情况下,允许增加连续epoch之间验证区间来适应延迟。例如,如果epoch100、101未能证明是正确的,则链可以尝试证明epoch102、104、108的合理性,增加了验证区间,这样两个连续尝试的epoch仍然可以成功验证,以便在多个epoch延迟的情况下也可以为我们提供最终结果。
金色沙龙 | 姜家志:每一条链上都承载了不同的价值:在今日举行的金色沙龙中,针对“数据封闭究竟对区块链行业的发展带来了哪些阻碍”的问题,Matrixport CTO姜家志表示,用一条链解决满足多样的需求已经被证明是不可行的, 因为太多功能的叠加必然导致系统复杂度和效率的降低,分片等提升性能的方案也存在诸多技术困难。所以就必然会有不同特征的区块链出现以满足不同领域的需求。每一条链上都承载了不同的价值, 然而跨链技术出现之前, 这些链彼此之间都是孤岛。跨链可以将不同区块链,也即将不同的价值区间进行链间,促进价值流动, 实现1+1>2的效果。详情见原文链接。[2020/4/29]
这个调整是需要对Casper?FFG的共识算法中的验证部分进行修改的。目前还未见讨论成果。为了弄明白为什么提及这个部分的设计,我们尝试用下文理解Vitalik这次的建议。
金色相对论 | 高庆忠:区块链+AI应用前景广阔:在本期金色相对论中,在谈到区块链结合AI能带来怎样的独特优势这一问题,智能矩阵Atmatrix创始人高庆忠表示:区块链+AI, 落地是否难上加难,关键要看其项目要解决的问题是什么以及其解决方法是否有效,对于能扬长避短,不仅发挥AI优势,而且发挥区块链优势的AI区块链项目只会更容易些。对于能解决实体产业实际问题的AI区块链项目未来将更容易被市场认可。ATN和Atmatrix连接人工智能与区块链,为区块链世界带来人工智能,用区块链技术来重构人工智能产业生态,这个项目未来应用前景将相当广阔。区块链有短板,AI有困境,只要避开短板和困境,发挥各自优势和特长,两者结合,还是很有前景的。[2018/7/17]
CasperFFG和CasperFFGCBC是以太坊对权益证明的共识算法研究的两个思路,其对拜占庭容错等算法进行了修订和再研,因此是核心算法问题,应该说这是以太坊最明确的未来以及最核心的技术讨论,其主要的思路是在解决共识算法中的确认问题。
Reddit Collectible Avatar总量突破350万,过去4天增长超50 万:金色财经报道,据Dune Analytics最新数据显示,Reddit于Polygon网络发行的NFT系列 Reddit Collectible Avatar总量已突破350万,本文撰写时为3,556,626个。 此外,Reddit Avatar NFT累计销售额已达到11,269,384美元,总销售量38,151笔,Avatar NFT 持有地址总量为 3,064,658个,单一 NFT 持有地址为2,993,655个。历史数据显示,Reddit Collectible Avatar总量于11月16日突破300万,这意味着在过去四天增长超50 万。[2022/11/20 22:09:15]
Vlad最早开始设计机制时,特别是希望Casper可以更强健地抵制寡头形成,并且抛弃掉一些其他算法的问题,比如传统拜占庭容错理论,在彻底改造BFT理论后,则出现了CorrectbyConstruction的方法,即CBC。
而因为CBC对于算法中的验证的设定更复杂,在CBC里定义了一系列规则来确定什么时候区块会敲定确认,并证实关键的“安全性”和“合理活性。
不过以太坊最终把罚没条件从4条简化为2条,就得到了CasperFFG,它被设计为可以覆盖在任何PoW或PoS或其它类型的区块上,用于增加确定性保证。
2017年12月31日CasperFFG在以太坊的Python测试网上测试,不过后来进展缓慢。
2018年6月,以太坊做了一个决定:彻底放弃“用合约实现混合CasperFFG”,追求完全Casper独立链,改变这个设计让整合分片变得更加容易,也就是会直接在2.0上应用。
不过CasperFFG都要求,在每一个“轮次epoch”有完整的验证者集来投票敲定区块,意味着每秒钟都会有数以千计的签名要通过网络发送。即使有BLS签名聚合方案,在几秒内完成“100个确认”安全性也是很难的。
其需要拥有一个强大的链上随机数源来公正地选出提议者,不过链上随机性也是难以实现的,所以最终使用了可验证延迟函数进行了验证计算,消除了提前操纵的可能。
此时,Vitalik还将CasperFFG的实现确定性的时间从2.5个轮次减少到理论上最优的2个轮次。
尽管有可验证延迟函数的进展,但网络延迟的假设还是必要的,这是有效发现攻击的需求,也就因此会出现延长epoch验证区间的思路。
期待在权益证明正式上线时的CasperFFG和CBC。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。