波卡的共识是什么?

本文来自波卡百科(Polkadot Wiki)的【基础知识】部分。

共识是对一种共同的状态达成一致的方法。为了使区块链的状态继续创建并向前推进,网络中的所有节点都必须一致并达成共识。这是去中心化网络中的节点能够保持彼此同步的方式。如果一个去中心化的区块链中节点没有共识,就无法确保一个节点相信的真实状态被其他节点所共享。共识的目的是在参与者都有自己“主观观点”的网络中,提供关于状态的“客观观点”。它是这些节点进行通信并达成一致的过程,并且能够生产出新的块。

现在工作量证明(PoW)和权益证明(PoS)已经被用于表示区块链机制的一种简写,但这并不能说明全部情况。PoW 是一种对区块生产者达成一致的方法,也是完全的中本聪共识(Nakamoto Consensus)的一部分,该共识还包括链选择算法(比特币中的最长链机制)。类似地,PoS 是一组用于选择验证人节点的规则,它并不是特指一个链的选择规则,或者一个链如何达到最终性(finality)。通常在节点之间,PoS 算法与拜占庭协议算法是互相结合的。例如,Tendermint 是一个实用的拜占庭容错算法,它使用 PoS 作为其验证人节点的选择方法。

尽管在达成去中心化共识方面简单而有效,但使用中本聪共识的工作量证明消耗了海量资源,而且还没有经济性或可证明的最终性,而且缺乏有效的措施来抵制垄断联盟。

波卡周报:Kusama首批插槽获胜者Karura、Moonriver、KILT成功续租48周:3月27日消息,根据PolkaWorld发布的波卡周报,Parity发布Polkadot v0.9.18版本,该版本的优先级较低。

Equilibrium赢得Polkadot第12次插槽Auction,并立马接入了Polkadot中继链。

Polkadot的第13次插槽Auction已经在3月25日凌晨2点开始,目前正在进行蜡烛期,领先出价的是Phala Network。

Acala携手9个平行链项目和顶级风投发起2.5亿美元的“aUSD生态基金”,旨在支持Polkadot或Kusama生态系统中可以使用aUSD的早期项目。

Polkadot理事会投票通过了Motion 172,该议案将提供资金为Polkadot大使制作3D NFT徽章。

Karura宣布自己是ID为2003的赢得Kusama第29次插槽Auction的获胜者。

截止发文,Kusama的第一批插槽获胜者Karura(ID2003)、Moonriver(ID2112)、KILT(ID2108)都已经成功续租了48周的使用时间。

Kusama第30次插槽Auction将于3月28日凌晨0:30左右结束,截止发文Turing Network领先整个蜡烛期。

Kusama理事会投票通过了Motion 449,该议案旨在资助一个通过NFT奖励来激励社区参与治理的项目。[2022/3/27 14:20:40]

运行 PoW 的纯中本聪共识区块链只能实现概率最终性的概念,然后去达成最终的共识。概率最终性是指在网络和参与者的某些假设下,如果我们看到创建在给定区块上的几个区块,就可以估计该区块终结的概率。最终的共识意味着,在未来的某个时刻,所有节点都将同意一组数据的真实性。这一最终共识可能需要很长时间,也无法提前确定需要多长时间。然而,诸如 GRANDPA 或 Ethereum 的 Casper FFG 这样的最终性工具的设计是为了对区块的最终性提供更有力和更快的保证,特别是,在拜占庭协议的某些过程发生后,它们永远无法恢复。不可逆共识的概念就被称为可证明的最终性。

本周波卡解除质押的DOT总量为339.57万枚:据 KingData 数据监控,本周(12月13日-12月19日)波卡解除质押的DOT总量为339.57万枚,解锁峰值在12月13日,解锁166.46万枚DOT。[2021/12/13 7:35:45]

在 GRANDPA 文档中,它被这样表述:

如果协议中的 oracle A 在一段未指明的时间后向所有参与者返回相同的值,那么我们称它是最终一致的。

混合共识

当我们谈到 Polkadot 的共识协议时,大家经常看到两个缩略词,GRANDPA 和 BABE。我们同时提到了这两个词是因为 Polkadot 使用的是混合共识。混合共识可以将最终性工具从区块生产机制中分离出来。

这是一种在 Polkadot 中获得概率最终性(总是可以产生新区块的能力)和可证明最终性(在没有逆转机会的规范链上具有普遍一致性)好处的方法。它还避免了每种机制的缺点:概率最终性中不知不觉地遵循错误分叉的可能,以及可证明最终性中“暂停”(无法产生新的块)的问题。通过结合这两种机制,Polkadot 可以快速地生成区块,而较慢的最终性机制则可以在单独的进程中运行以完成区块,而不必承担交易处理较慢或暂停的风险。

波卡创始人Gavin Wood公布了一项7.77亿美元的发展基金,以支持网络的发展:10月19日消息,波卡创始人 Gavin Wood周日在推特上表示,Polkadot 的财政部已将超过1890万个 Polkadot DOT(时价值约 7.77 亿美元)分配给一个将通过社区治理支付的发展基金。 Gavin Wood就如何使用资金提出了广泛的建议,并表示将动员资金来实现社区“建设、改善、教育”波卡生态系统的愿景,以及“波卡治理认为有价值的任何其他事情”。因此,新的开发基金可能旨在鼓励开发人员开始在Polkadot上构建,为平行链上线做准备。(cointelegraph)[2021/10/19 20:40:33]

混合共识在过去也曾被提起过。值得注意的是,在以太坊改进建议 EIP 1011 中,曾提议将混合共识作为以太坊向的 PoS 过渡的一步(现已失效),该建议指定了 Casper FFG。

BABE(Blind Assignment for Blockchain Extension)是在验证节点之间运行并确定新块生产者的区块生成机制。BABE 作为一种算法可以与 Ouroboros Praos 相比较,在链选择规则和 slot(验证人插槽)时间调整方面有一些关键的区别。BABE 根据 stake 和使用 Polkadot 随机循环机制将区块生产的 slot 分配给验证人。

波卡生态预言机协议Paralink将进行版本更新:10月12日消息,波卡生态预言机协议Paralink发布消息称正在进行版本更新相关工作。目前,Paralink团队正在重新设计Paralink预言机的部分核心功能,以支持新的区块链及新功能。同时,团队正在定义staking参数,具体事宜将于后期在新网站上进行发布。[2021/10/12 20:23:01]

Polkadot 中的验证人将参与每个 slot 的抽签,通过这个抽签告诉验证人是否是该 slot 的区块生成候选人。Slot 是不连续的时间单位,通常为 6 秒。由于这种随机机制,多个验证人可能是同一个 slot 的候选者。其他时候,一个 slot 可能是空的,从而导致区块时间不一致。

一个 slot 有多个验证人

当在一个给定 slot 中有多个验证人是区块生成候选者时,所有验证人都要生成一个区块并将其广播到网络中。此时这是一场比赛。区块最先到达大部分网络的验证人会获胜。根据网络拓扑和延迟,这两个链将继续生产区块,直到最终确定启动并切断分叉。请参阅下面的“分叉选择”了解其工作原理。

Slot 中没有验证人

当随机抽签滚到足够低的位置,没有验证人获得区块生产的资格时,一个 slot 可能没有区块。我们通过在后台运行二级循环式验证人选择算法来避免这种情况。通过该算法选择生成块的验证人总是可以生成区块,但如果同一 slot 也从 VRF 选择的验证人生成主区块,则忽略这些副区块。因此,一个 slot 可以有一个主区块或一个副区块,并且不会跳过任何 slot 。

波卡生态概念板块今日平均涨幅为5.97%:金色财经行情显示,波卡生态概念板块今日平均涨幅为5.97%。26个币种中11个上涨,15个下跌,其中领涨币种为:XOR(+130.87%)、CRU(+38.60%)、INSTAR(+31.58%)。领跌币种为:KLP(-10.17%)、DOCK(-6.31%)、EDG(-5.26%)。[2021/4/12 20:11:42]

VRF:https://wiki.polkadot.network/docs/en/learn-randomness

有关 BABE 的更多细节,请参阅研究草案文档。

https://research.web3.foundation/en/latest/polkadot/BABE/Babe.html

GRANDPA: 最终性工具

GRANDPA (GHOST-based Recursive ANcestor Deriving Prefix Agreement) 是为 Polkadot 中继链实现的最终性小工具。

它在一个部分同步的网络模型中工作,只要 2/3 的节点是诚实的,并且能够在异步设置中处理 1/5 的拜占庭节点。

一个显著的区别是,GRANDPA 在链上而不是区块上达成协议,大大加快了最终确定过程,即使在长期的网络分区或其他网络故障之后也是如此。

换句话说,只要超过 2/3 的验证人证明一个包含某个块的链,所有指向该块的块都将立即完成。

协议

有关协议的完整说明,请参阅论文的标题 3 部分。

https://github.com/w3f/consensus/blob/master/pdf/grandpa.pdf

实施

Rust 是 Substrate 框架的一部分。

https://github.com/paritytech/substrate/blob/master/frame/grandpa/src/lib.rs

有关更多详细信息,请参阅 W3F 研究页上的 GRANDPA。

https://research.web3.foundation/en/latest/polkadot/GRANDPA.html

分叉选择

带着 BABE 和 GRANDPA 混合机制,波卡的分叉选择变得清晰起来。BABE 一定要建立在 GRANDPA 最终确定的链上。当在最终确定之后有分叉时,BABE 通过构建具有最主要区块的链来提供概率最终性。

在上面的图像中,黑色块是已终结的。一个是主区块,两个是副区块。即使最上面的链是最新终结块上最长的链,但它不合格,因为它在评估时获得首选的次数比下面那条少。

中本聪共识

中本聪共识由最长链规则组成,使用工作量证明作为其防止女巫攻击和领导人选举的机制。

中本聪共识只给了我们概率最终性。概率最终性表明,过去的某个区块的安全程度,仅取决于它拥有的确认数量,或在该区块上构建的区块数量。随着工作量证明链中构建在某特定区块上的区块越来越多,这条链也会花费更多计算资源。然而,包含了该区块的链不一定总是被认可的链,因为某位具有无限资源的参与者可能构建竞争链,并花费足够的计算资源来创建不包含特定块的链。在这种情况下,比特币和其他 PoW 链使用的最长链规则将转移到这条新的链,让新链成为主链。

PBFT / Tendermint 共识

请参阅与 Cosmos 对比文章中的相关内容。

https://wiki.polkadot.network/docs/en/learn-comparisons-cosmos#consensus

Casper FFG

GRANDPA 和 Casper FFG(友好型最终性工具 Friendly Finality Gadget)的两个主要区别是:

在 GRANDPA 中,不同的投票者可以同时为不同高度的块投票

GRANDPA 只依赖最终的块来影响底层块生产机制的分叉选择规则

Casper CBC

Coming soon!

资源

GRANDPA 论文:GRANDP 最终性工具的学术描述。包含算法的形式化证明。

https://github.com/w3f/consensus/blob/master/pdf/grandpa.pdf

Rust 实现:一个参考文档和附带的 Substrate 模块。

https://github.com/paritytech/finality-grandpa

原文:https://wiki.polkadot.network/docs/en/learn-consensus

翻译:PolkaWorld

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

银河链

ADAIPFS如何改变我们熟知的互联网世界?

想想一个世界,其中4k视频流是无缓冲的,脱机并不会结束您的在线工作流程,在这里电子商务对商家是免费的,并且单一实体无法控制互联网的访问。在讨论IPFS这个技术之前,首先了解一下当前WEB2.0所面临的问题.

TRX马云:区块链是解决知识产权问题的新方法

马云第一次当淘宝主播,在景德镇与年轻人展开对话。“知识产权必须要用新的方式保护,我相信区块链技术正在解决这个问题,缺乏知识产权意识的人应该早日关注。”“2003年第一批开淘宝店的人,都做得非常成功;今天敢用新技术的人,也一定会很好.

[0:15ms0-1:763ms