火星链 火星链
Ctrl+D收藏火星链
首页 > 火必 > 正文

以太坊:Paradigm 介绍 Goldfish:PoS 以太坊中 LMD GHOST 分叉规则的安全替代品

作者:

时间:1900/1/1 0:00:00

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

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

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

在题为“PoS以太坊不再被攻击?”的文章中,我们提出了Goldfish,它是PoS以太坊中LMDGHOST选择分叉规则可证明的、安全的替代品。我们认为这只是朝着更严格的协议设计和分析迈出的第一步,目的是加强以太坊的安全性。

以太坊的权益证明协议

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

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

CoinGecko新增Discord Bots代币版块:7月25日消息,CoinGecko发推称,已新增Discord Bots代币版块。截至发稿Discord Bots代币市值为9,861,246美元,24小时交易额超100万美元。[2023/7/25 15:57:52]

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

Moonbirds创始人:项目代币将具备多种效用:7月4日消息,Proof兼Moonbirds创始人Kevin Rose今日于个人推特发布了一篇长推,概述了Proof和Moonbirds过去一段时间的发展状况以及未来规划。

在谈及代币相关话题时,Kevin Rose提到:“我们项目代币将有多种效用,并成为艺术、数字和现实生活奖励的连接纽带,让持有者与他们认为有价值的事物建立连接。”

值得一提的是,该推文的配图列举了六种效用,分别为:

1. 艺术展览及合作,比如访问Proof的策展;

2. 限量版商品和货物,如获得一些少量供应的高质量原创周边;

3. 独家活动,如参与一些的线下活动;

4. Proof原创系列,如参与一些Proof内部推进的实验性项目;

5. 白名单,如获得新项目的铸造资格;

6. 其他实验,如获得游戏等Moonbird相关实验的体验资格。[2023/7/4 22:17:21]

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

Martin Leinweber :加密指数将会发展,但下一阶段的采用可能还很遥远:金色财经报道,MarketVector Indexes 数字资产产品策略师 Martin Leinweber 表示,加密指数的未来涉及一系列深入该细分市场许多子行业的产品,尽管实现这一目标需要时间。?该领域的产品开发是满足客户需求与展望更多创新产品之间的持续平衡。除了智能合约,DeFi 和其他加密货币领域的许多子行业目前都太小且流动性差,无法“投资”。他指出,在下一次牛市到来之前,采用此类指数可能不会受到关注。[2023/5/5 14:43:23]

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

Goldfish

在题为“PoS以太坊不再被攻击?”的文章中,我们提供了PoS以太坊的LMDGHOST分叉选择规则的替代品。该协议称为Goldfish,类似于LMDGHOST,但带有安全证明。

《华尔街日报》:FTX或免受美国法律制裁:11月14日消息,据《华尔街日报》披露,FTX的离岸地位可能会让该公司免受美国法律的制裁。曼哈顿美国检察官办公室正在调查FTX破产事件,但检察官面临的一项挑战是他们是否对位于巴哈马的FTX拥有管辖权。

律师警告说,如果所有行为都发生在海外并且与美国没有直接联系,美国执法机构可能没有强有力的管辖权要求。不过,SBF曾前往美国,包括会见美国立法者和监管机构,而且FTX US也是 FTX上周五提交破产申请中的一部分。

截至目前,美国曼哈顿检察官办公室发言人拒绝对此事置评、FTX发言人和FTX US总法律顾问Ryne Miller也没有回应置评请求。[2022/11/14 13:03:39]

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

Dapper Labs、NFL和NFL PA正式开放NFL传奇时刻数字收藏品平台:金色财经消息,DapperLabs、全国橄榄球联盟(NFL)和NFL PA(NFL球员协会)宣布NFL传奇时刻数字收藏品平台NFL ALL DAY正式向所有用户开放,将于北京时间8月19日2:00推出首批Pack,包括球星Derrick Henry等传奇时刻,以及Trevor Lawrence等的比赛。另外,运动员Patrick MahomesII将在2022年NFL赛季担任NFL ALL DAY的代言人。NFL ALL DAY在去年12月份开放封闭测试版。[2022/8/18 12:34:11]

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

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

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

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

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

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

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

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

Goldfish面临的挑战:异步

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

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

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

还需要做什么

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

来源:Paradigm、比推

编译及整理:比推MaryLiu

来源:金色财经

标签:LOTSLOT以太坊GHOSTPLOT币Slothi Token以太坊币价格今日行情价格红色是涨吗ghostface币今日价格

火必热门资讯
KSY:9.15BTC早间分析

比特币早间分析昨日比特币在早盘反弹到20500附近一线之后,行情也是在这一线上方向下震荡走势,白盘行情没有多大波动,比特币也是在昨日晚间走出趋势,晚间比特币最低下跌到19600附近之后.

1900/1/1 0:00:00
GENE:9月17日行情分析:多看少动

BTC目前的操作意义并不大,没什么波动,整个的走势都是震荡的,小周期也没有结构,山寨币种也没什么合适的,暴涨的不建议追涨,当前走势完整的就ATOM和KNC,可以关注下.

1900/1/1 0:00:00
HUB:道富:9.17比特币支撑压力

大饼昨日我们提到要以低多为主,咱们也给出了19250一个低多位. 区块链公司MineHub以250万美元价格收购供应链数字化平台Waybridge:3月8日消息.

1900/1/1 0:00:00
WEB3:随着 Web2 向 Web3 的演进最大的变化值得期待

随着互联网从Web2过渡到被称为Web3的去中心化未来,这一切都将彻底改变数据隐私、治理以及人们开展业务和赚取收入的方式的概念.

1900/1/1 0:00:00
IRT:比特币 区块链 以太坊BTC ETH ENS DYDS PEOPLE 9月17日行情分析预判

大家好这里是金狐狸区块链我是金狐狸由于看盘软件的不同,本分析都是以早上8:00收盘为准,周一早上8:00收周线现在说技术面技术分析仅供参考市场如有黑白天鹅要懂的随机应变今天的比特币BTC技术分析.

1900/1/1 0:00:00
比特币:以太坊完美布局 精准拿捏75点

以太坊完美布局,精准拿捏75点收米,收米,再次收米!以太坊最大空间75点,今天午间3点半到的1655-168.5附近空单入场,完美最低点位斩获75点目标点位,并成功拿到75点利润.

1900/1/1 0:00:00