http://www.7klian.com

区块链学术前沿:脸书 Calibra 团队研究 PoS 长程进攻,哈佛学者阐明 Tezos 自私背书进攻

试图举办长程进攻的敌对分叉

研究者还提供了一个框架,可用于通过参数化特定协议的时间和回报模子来查抄其它 PoS 系统是否存在自私行为的潜在裂痕。

而来自哈佛大学约翰·保尔森工程和应用科学学院的 Michael Neuder 等人阐明白最近更新的 Tezos PoS 协议,,并证明白在某些条件下,理性的参加者确实会被鼓励参加非厚道的行为。

论文 2:《Winkle:阻止 PoS 系统中存在的长程进攻》

所谓长程进攻(Long Range Attack),是指进攻者建设了一条起始于创世区块区块链分支,并试图替换掉当前的正当主链,而该分支链上大概存有和主链差异的生意业务或区块。

但无论如何,这是一种如何针对一般最长链 PoS 系统的自私进攻示例。

有意思的是,研究者还针对这类进攻提出了一个简朴的修复提议,它可以进一步淘汰进攻收益(淘汰至一年 0.21 XTZ)。

2019 年 10 月 17 日,标签为「Babylon」的更新被纳入了 Tezos 协议,对此,研究者阐明白这次进级的一个重要构成部门:一个名为 Emmy+的新共鸣机制。

由于烘焙优先级和背书权限是果真的,委托者 X 可以或许预测并计较何时可执行此进攻。

这一调查使他们引入了一种称为 Winkle 的新机制,操作来自客户端的投票建设基于客户端验证的去中心化二级层,以确认查抄点(区块链的快照)并防备对 PoS 协议的长程进攻。

假如进攻者可以或许从同一个首创区块开始建设一个与真实生意业务链不行区分的替代生意业务链,则我们认为长程进攻是乐成的。

在 上一期周评论文部门,我们提到了与事情量证明(PoW)共鸣机制相关的自私挖矿计策研究,可以说,学术界在这方面的研究已经长短常深入了。

这种设计用于加强共鸣协议,动态改变验证者以抵挡长程进攻。固然 Winkle 也可以掩护其他系统,但它主要合用于基于拜占庭容错(BFT)共鸣的区块链,如 PBFT、LibraBFT、Tendermint、HotStuff 可能 SBFT。

洒脱喜简评:关于 PoS 类共鸣机制的自私行为进攻研究,今朝还处于很是早期的阶段,固然这一研究功效表白相关的进攻影响很是有限,但它也为此后相关偏向的研究奠基了一些基本。

自私背书进攻

研究者给出一个其称之为自私背书的鼓励进攻例子,它在必然观念内鼓励一个理性的 baker X 忽略最长链法则,并比网络的其他部门更快地建设一个单独的两区块分叉。

论文链接:https://arxiv.org/pdf/1912.02954.pdf

分叉选择法则产生了变动,在这次更新之前,「类型的」分叉是获得最多承认的分叉,也就是最重链法则,而此刻的最佳分叉就是从首创区块的最长链,而最长链法则使分叉的评估更容易,并减轻了 baker (烘焙者)的不确定性;

然而,验证者也大概会有动力向进攻者出售他们的旧密钥(在清空相关资产之后),尤其是当验证者的真实身份在一个无许可系统中是未知的时候。而当验证者呈现这类理性的非厚道行为之时,整个系统的安详性将面对庞大的风险。

而背书区块嘉奖也产生了变动,当前的公式是:

Tezos 中的 PoS 机制

Tezos 实施了一个可选委托权益证明(DPoS)机制,有时也被称为活动性权益证明(LPoS)机制,以区别于其它的 DPoS 方案。Tezos 共鸣层的成员被称为代表,其需要持有 8000 个 Tezos 帐户单位(这被称为 roll),每个署理都有一组相关的 roll,活泼的代表介入抽签,在链中的每一个区块高度(bake)烘焙和(endorse)背书一个区块。

下面是「Babylon」协议的更新内容:

上图显示了 baker X 如何利用此进攻方法在 slot l 烘焙一个区块,尽量它具有第二优先级(此时,以 0 优先级烘焙的区块也定时宣布)。

洒脱喜简评:Facebook Calibra 团队研究 PoS 协议的安详问题,或许率是为其 Libra 项目在未来转向 PoS 而举办的(注:Libra 的恒久方针是成为非许可网络,而其最初的设计是同盟链),而长程进攻问题显然是 Libra 最急切要办理的安详问题,今朝来看,Facebook 提出的办理方案依旧是存在缺陷的,这需要进一步的研究与摸索。

相较于相对成熟的 PoW,关于 PoS 的安详研究当前仍处于早期阶段,实际上,权益证明(PoS)共鸣协议会带来更巨大的建模挑战,今朝关于 PoS 共鸣协议,最知名的安详挑战就是长程进攻(long range attack)以及无好坏进攻(Nothing at Stake),而在本周的学术主题精选部门,我们会分享两篇与 PoS 协议安详主题相关的研究,个中一篇是关于 Tezos 的自私鼓励进攻,而另一篇则是关于如何办理 PoS 长程进攻问题。

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

说点什么吧
  • 全部评论(0
    还没有评论,快来抢沙发吧!