POL:Polkadot v1.0:分片和经济安全(2)_Verify DeFi

这篇文章是由Polkadot联合创始人Robert发布的关于Polkadot分片和经济安全的技术文章,原文篇幅较长,PolkaWorld将分四篇翻译和发布!本篇是该文章的第二部分——介绍平行链如何与中继链同步增长。请查阅!

第一部分:Polkadotv1.0:分片和经济安全

提交区块和增长平行链

将潜在的平行链块包含到平行链中需要2个步骤。第一个是中继链块引用平行链块以及关于其有效性的证明。下一步是检查平行链所需的相应数据。

由于中继链可以有短期分叉,每个平行链也可以有短期分叉。如果在给定高度有两个相互竞争的中继链块A和B,并且A包含平行链块P,B包含平行链块P',那么这也构成了平行链中的一个分叉。

区块链就业平台Opolis筹集660万美元融资,Greenfield领投:金色财经报道,区块链就业平台Opolis已获得一轮660万美元融资。此轮融资由加密货币投资公司Greenfield领投,并获得NEAR基金会、DraperAssociates和PolygonVentures等投资。筹集的资金将用于扩大业务规模并实现更加顺畅的用户体验。功能增强的路线图侧重于改进信息可访问性,特别是会计数据、税务报告详细信息和健康保险信息。

此次融资是在种子轮前和种子轮融资之后进行的,使Opolis的融资总额达到1330万美元,最近一次融资的估值为5000万美元。[2023/7/14 10:54:02]

出于本文的目的,我们将考虑Polkadot中继链状态机的简化版本。提醒大家一下,中继链分支中的每个块都代表从前一个状态到下一个状态的转换。

CFTC增加GMAC和小组委员会的成员;包括Uniswap、Polygon团队代表:金色财经报道,美国CFTC委员、全球市场咨询委员会 (GMAC)发起人Caroline D. Pham宣布了GMAC及其全球市场结构、技术问题和数字资产市场小组委员会的新成员和领导层。包括Uniswap Labs、Polygon Labs、Crypto.com、CoinFund、Galaxy Digital团队代表。

据悉,GMAC及其小组委员会共有128名成员,构成了CFTC发起的有史以来规模最大的单一咨询委员会计划。[2023/7/7 22:23:15]

每个块表示从区块链的先前状态到某个新状态的原子变化单元。账户余额、可用性内核、治理建议和智能合约都是区块链状态的一部分。块通过固有的逻辑更新状态。

Polygon链上DeFi协议总锁仓量为16.2亿美元:金色财经报道,据DefiLlama数据显示,目前Polygon链上DeFi协议总锁仓量为16.2亿美元,24小时增加-1.75%。锁仓资产排名前五分别为AAVE(3.61亿美元)、Quickswap(2.88亿美元)、Curve(1.62亿美元)、Meshswap(0.74亿美元)、Stargate(0.72亿美元)。[2022/7/10 2:03:40]

在构建区块链时,典型的设计模式是节点收集信息并在链下工作,然后将工作记录放在链上。例如,你可以通过相同的视角查看交易包含。节点参与链下八卦协议以收集新交易,然后区块作者将其选择的交易捆绑到一个区块中。平行链的工作方式相同:大部分工作都是在链下进行的,但工作记录保存在中继链上,以提供共识的规范指示。

DeFi保险产品PolkaCover与以色列区块链协会达成战略合作:DeFi保险产品PolkaCover宣布与以色列区块链协会建立战略伙伴关系。通过这一合作关系,PolkaCover正在为以色列的DeFi和银行平台开发产品,并将能够访问位于以色列的InsureTech和FinTech项目,以及在扩展PolkaCover时开放利用以色列区块链生态系统的渠道。[2021/2/9 19:20:08]

节点为发展平行链所做的链下工作涉及整理、支持和可用性。

节点监视中继链的最新块以确定它们应该做什么工作。

校对由平行链头和PoV或有效性证明组成,这是检查从前一个平行链头到当前头的转换所需的所有数据。只有头部才能在链上运行,但必须提供PoV。我们使用纠删码来确保PoV可用:数据被分成称为块的块,每个验证人一个块,任何足够大的块子集都可以恢复完整数据。这可以防止节点脱机或谎报拥有自己的数据。

在此示例中,数据被拆分为9块,任何4块或更大的子集都可以恢复完整数据。当验证人观察到可用性内核是空的,并且在该内核上调度的平行链是节点被分配到的平行链时,它将尝试从收集人那里收集整理并参与支持过程。新的潜在平行链区块以及验证人的证明通过八卦系统传播。这意味着每个连接良好的节点都知道每个下一个潜在的平行链块。下一个中继链区块作者监控网络状态并选择一组新的平行链区块以支持他们创建的中继链区块。

这是一个粗略地描述验证人为支持过程执行的逻辑的流程图。只要平行链的可用性内核为空,它们就会执行此逻辑。

该图显示了验证人如何从收集人那里获得新的平行链区块,并与其他验证人合作从指定的验证人那里获得足够的支持。未分配到平行链的验证人仍然会监听证明,因为无论哪个验证人最终成为中继链块的作者,都需要为多个平行链捆绑已证明的平行链块并将它们放入中继链块中。

一旦平行链区块在链上得到支持,它就开始占据可用性内核。

当验证人观察到可用性内核被占用时,如果它不是最初证明该块的验证人组的一部分,它会尝试获取其擦除编码的PoV块。否则,验证人负责将块分配给相应的验证人。

可用性分布:非支持验证人向支持验证人请求它们的块。一些非支持验证人可能无法直接连接,但只要足够,就可以了。

验证人从需要分发它们的支持验证人请求他们的数据块

每个验证人都会签署关于它拥有哪些区块的平行链区块的声明,并八卦这些声明。中继链区块作者在中继链中包含此类语句。一旦2/3+的验证人表明他们拥有占据内核的平行链块的块,则认为平行链块是可用的,并被正式包含为平行链的一部分,并且内核再次免费。

如果在一定数量的块内没有达到可用性,那么内核被释放,被认为是超时并且占据内核的平行链块被放弃。

总之,支持Backing和可用性协议availabilityprotocols确保当平行链块被包含的时候,已经有一小部分验证人见证了该区块,并且至少2/3的验证人见证了平行链区块所需的PoV的可用性。从另一个角度来说,支持和可用性是利益相关,并实施问责制。下一节将讨论Polkadot如何确保在没有进行更彻底检查的情况下,没有任何平行链块被最终确定下来。

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

区块博客

[0:0ms0-7:218ms