以太合并进入倒计时:PoS中分叉规则的安全替代品_THE:ENT

本年度最大的叙事以太坊合并已经进入倒计时,究竟能不能成功我们拭目以待,那么合并后的以太坊真的有所提升吗?

合并:从工作量证明到权益证明

以太坊即将从工作量证明(PoW)过渡到权益证明(PoS),这是多年研究和开发的结晶。虽然PoS带来了许多潜在的优势,但这也意味着以太坊正在放弃中本聪最"长情"的协议——当然也是最简单、最优雅的共识协议之一,并且已经经过去中心化区块链的实战考验

以太坊PoS共识协议中,一个众所周知的脆弱组件已被证明是“LMDGHOST”选择分叉规则,最近发生了多次攻击和打补丁,其安全性仍未得到证明

它是PoS以太坊中LMDGHOST选择分叉规则可证明的、安全的替代品。我们认为这只是朝着更严格的协议设计和分析迈出的第一步,目的是加强以太坊的安全性

Mythical Games联合育碧等合作方推出Mythos基金会:10月5日消息,区块链游戏公司Mythical Games宣布联合包括Ubisoft(育碧)、Krafton、Kakao Games、Com2uS、FaZeClan、Gen.G、Sandbox Gaming、Animoca Brands等在内的22个合作伙伴推出Mythos基金会。

据悉,Mythos基金会旨在监督去中心化社区MythosDAO,而MythosDAO将推出其ERC-20标准Token“MYTH”,MYTH持有者将能够对生态系统决策进行投票并提交提案。除了作为治理Token之外,MYTH还将作为MythicalGamesNFT市场的主要货币,并将用于保护Mythical的区块链。此外,Mythos基金会的初始顾问将包括Animoca Brands董事长Yat Siu、100Thieves首席产品官PeteHawley、FaZeClan首席企业联盟官JaciHays、前Twitter首席运营官AdamBain,以及美国电子流行音乐组合The Chainsmokers等。(decrypt)[2022/10/6 18:40:18]

以太坊的权益证明协议

育碧:已结束《Ghost Recon Breakpoint》开发,将不再提供内容更新和NFT:4月6日消息,游戏巨头育碧(Ubisoft)表示已经完全结束了《Ghost Recon Breakpoint》游戏开发,后续将不再提供内容更新、NFT 或其他内容。

育碧在 2021 年底推出 Ubisoft Quartz 平台测试版本,允许玩家获取游戏内可使用物品的 NFT 并率先应用在旗下视频游戏品牌 Tom Clancy 中的战术射击在线游戏《Ghost Recon Breakpoint》的 PC 版本里,但这款游戏的反响不佳,也导致成为该公司的NFT 试验品。(福布斯)[2022/4/6 14:08:44]

以太坊的权益证明(PoS)共识协议比PoW复杂得多

它实际上是两种不同共识协议的组合:一个“finalitygadget”,在6.4分钟长的epoch后最终确定区块,以及在每个epoch内管理链的选择分叉规则fork-choicerule。这两个组件以复杂的方式相互交互,下面用框图进行描述:

育碧支持的区块链RPG游戏Nine Chronicles已在主网上线:法国游戏巨头育碧支持的区块链游戏公司Planetarium旗下区块链RPG游戏Nine Chronicles上周二宣布在主网上发布。Planetarium希望通过Nine Chronicles为用户驱动的游戏社区的新格局播下种子。联合开发者Kijun Seo表示,该游戏正在出售每天分配的原生代币:“社区非常积极,现在大部分的挖矿工作都是由社区完成的。80%决定玩游戏的人都是以矿工的身份加入这个网络的。”至于长期目标,Seo表示,“我们希望在游戏中建立一个自我可持续发展的社区,让玩家感到他们对社区所做的贡献是属于自己的,因为他们真正拥有了游戏。我们只是最初的创造者。”(Decrypt)[2020/11/3 11:31:29]

LMDGHOST指导区块生产过程,并以12秒的时间Slot和验证者的子抽样组合运行。因此,它可以被认为是在PoS以太坊区块奖励前负责较弱的“短期共识”。一旦就交易账本达成短期共识,它就会被移交给CasperFFG进行额外的加固,它在包含32个插槽=6.4分钟的时间尺度上运行,并涉及完整的验证器集。因此,CasperFFG负责提供更强大的“长期共识”,提供最终性和负责任的安全性

数据:以太坊散户钱包地址数量显著上升:Glassnode数据显示,以太坊非零钱包地址和持有0.01和0.1 ETH的钱包地址数量显著上升。非零钱包自2018年以来一直在逐渐增加,最近突破5000万。新高点有近5250万。持有至少0.01 ETH的地址已经超过了1100万个。这类钱包的增长在2020年末开始回升——就在ETH价格开始飙升的时候。最后,至少持有0.1 ETH的地址也达到了超371.5万个的新高点。这类钱包的增长在几个月前曾短暂放缓,但随着ETH价格反弹开始增长。(CryptoPotato)[2021/1/18 16:28:05]

不幸的是,这种复杂性伴随着挑战。特别是,LMDGHOST组件,以及LMDGHOST和CasperFFG之间的交互,都存在反反复复的攻击、打补丁。目前为Merge采用的协议既没有公开的攻击,也没有正式的安全分析/证明

声音 | V神:以太坊2.0的无状态模型可以增强安全性:据AMBcrypto消息,以太坊创始人V神表示,以太坊2.0的无状态模型将增强安全性并减少时间消耗,同时将整体状态和与此相关的其他问题最小化。此外,V神还介绍了无状态模型目前面临的问题,即在进行交易时,必须提交个人帐户状态的证明。在最新模型的提议下,将出现由谁提供证明或数据库的难题。据此前消息,V神曾表示,将智能合约的存在方式更改为无状态模型是以太坊区块链扩容解决方案之一。[2019/11/25]

缺乏安全证明是令人担忧的原因,但并不是因为简单学术模型中的证明必然完美地表明现实世界的安全性。相反,即使在简化模型中,我们也无法最终解释为什么这个协议是安全的,这表明我们实际上并不了解协议,或者它们的后果和交互的全部范围

PoS以太坊的LMDGHOST分叉选择规则的替代品。该协议称为Goldfish,类似于LMDGHOST,但带有安全证明

为了更好地理解Goldfish,让我们先预览下LMDGHOST的大致工作原理:

假设我们的简化网络模型中消息引起的最大延迟为已知值A。在LMDGHOST中,相似步骤得到的值为2A。对于每个间隙,从完整的验证者集中随机选择一个提议者和一个小的验证者委员会。在每个slot开始时,slot的提议者运行LMDGHOST分叉选择规则以确定规范的区块链奖励和提出一个新的区块

在slot进行到一半时,slot的委员会成员还使用相同的分叉选择规则确定规范的区块奖励,并投票支持该奖励。LMDGHOST没有指定确认规则,而是让用户来决定区块树的哪些区块拥有“足够”的票数以确信他们不会离开规范链。

Goldfish紧密遵循这个一般结构,但为验证者引入了一个额外的阶段,以同步他们对投票计数的看法,并确认区块:

在每个slot的开始,slot的提议者根据前一个slot的投票运行简单的GHOST分叉选择规则,以确定在哪里提议一个块。进入slot的三分之一时,该时段的委员会成员使用相同的分叉选择规则,该规则基于前一个时段的投票和提议者转发的投票,来确定在哪里投票。最后,在进入slot的三分之二时,所有验证者都运行一个明确定义的T深度确认规则

Goldfish基于两种关键技术,投票缓冲和投票到期,以仔细同步诚实验证者的观点:

投票缓冲。简而言之,缓冲从网络收到的选票,以及在每个验证者的本地视图中精心定时包含这些选票,保证了在具有诚实提议者的slot中,所有诚实的验证者都投票支持提议者的提议。这导致了重组弹性:诚实的提议者的提议保证保留在规范链中。随之而来的是安全性

投票到期意味着在每个slot内,只有前一个slot的投票会影响协议的行为(类似于“健忘”的金鱼,Goldfish

协议名称源于此)。投票到期使投票集很小,这可能会影响诚实验证者的短期未来行动。因此,在任何时间点,只有少数协议消息需要在诚实验证者的视图中进行缓冲和合并。因此,投票到期是投票缓冲效率/可行性的先决条件。投票到期对于支持波动的验证者参与水平以及支持在每个slot较小的子样本选民委员会中运行协议,而不是在整个验证者集中运行协议也至关重要

最后,Goldfish的确认规则会确认区块是否在创建后的一段时间内仍在规范链上。分析表明,由此产生的确认翻转概率在出块和区块确认之间的延迟中呈指数级降低

Goldfish面临的挑战:异步

Goldfish很简单,可以接受严格的安全证明。这一分析立即取得了成果:请记住,我们一开始就假设我们的简化模型中的网络延迟上限为A(上图中的△表示)。在证明安全性的过程中,我们必须明确这一假设和其他假设

如果违反了这个界限,即如果网络暂时异步,会发生什么?我们可以追踪安全论证的步骤,看看在没有假设的情况下会出现什么问题。我们看到,如果实际网络延迟大于2A,那么Goldfish将无法及时获得slot(t-1)的决定性选票以在slott的基础上进行构建,该协议可能会受到重组的影响

这样的重组是不好的。但至少由于严格的安全论点,我们可以更好地了解我们系统的安全性关键依赖于哪些条件,以及为什么以及如何。我们可以做出更明智的决定,以确保满足这些先决条件。例如,虽然在当前的点对点网络协议中,攻击者可能更容易引起一些网络延迟,但最近对强化的点对点协议重新产生了兴趣,这些协议重新启用共识层的权益分配来指导对等点的选择。这样的协议更加抗攻击,并且可以合理地缓解延迟问题。此外,确定性/问责制小工具为任何重组提供了支持

还需要做什么

我们提出了Goldfish共识协议,旨在作为PoS以太坊信标链中LMDGHOST的替代品。我们对Goldfish本身进行了严格的安全分析,并结合了终局/问责制小工具。其他PoS以太坊共识安全挑战仍然存在,例如,来自分叉选择和finalitygadget的交互,我们期待在未来看到PoS以太坊在这些方面的进一步共识安全改进

在加密行业你想抓住下一波牛市机会你得有一个优质圈子,大家就能抱团取暖,保持洞察力。如果只是你一个人,四顾茫然,发现一个人都没有,想在这个行业里面坚持下来其实是很难的。

想抱团取暖,或者有疑惑的,欢迎加入我们——共重号:开舒克的老陈

感谢阅读,喜欢的朋友可以点个赞关注哦,我们下期再见!

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:0ms0-4:419ms