原文：https://github.com/paritytech/polkadot/blob/master/roadmap/parachains.md

翻译：PolkaWorld

本文是平行链底层中枢本事的道路图 —— 内容对于需要哪些契约、API 和代码旅途才气统统展示一个自食其力和安全的平行链。本文不会涵盖平行链器具包需要公开哪些 API 才气使用平行链功能  —— 而是只是先容这些功能的收尾面目，以及它们提供给考证功能的底层 API（淌若有的话）。

类别

咱们将使用以下类别来描写功能：

Runtime：中继链的 runtime 代码，用于指定共鸣要津现象，并更新统统全节点必须顾惜或履行的现象。

集合（Networking）: 用于节点相互交流并在集合中传输信息的契约。

节点（Node）: 部分或统统链下节点必须顾惜或履行的现象或更新。频繁与集合组件交互，并援用 runtime 现象。

子面目和功能:

本节包含了不同的子面目和组成这些子项指标功能。

基础架构/API 平等集经管

类别：集合

分派给平行链的考证者需要一种发现并诱骗到整理者的方法，以便获取极新的平行链块进行考证。

整理者需要发现并诱骗到考证者，以便提交平行链区块。

渔民需要与考证者和查对者交谈，以获取可用数据并分发论说。

有些诱骗是永久存在的，有些仅用于单个申请。

平等集经管

类别：集合

分派给平行链的考证东谈主需要一种发现并诱骗到网罗东谈主的方法，以便获取极新的平行链区块进行考证。

网罗东谈主需要发现并诱骗到考证东谈主，以便提交平行链区块。

垂纶东谈主需要和考证东谈主和网罗东谈主交流，来获取可用数据并分发论说。

有些诱骗是永久存在的，有些仅用于单个申请。

自界说 libp2p 子契约

波卡平行链波及很多不同的集合契约。理念念情况下，咱们不错将每个任务看成单独的过去任务产生，并字据需要来通过通谈与其他契约或节点代码进行通讯。这需要在 Substrate 和 libp2p 中进行改变。

请根据您的直觉，从以下四幅画中选择最先引起您注意的一幅！

分派 拍卖

类别: Runtime

平行链的拍卖和注册。此功能也曾收尾，何况撤职 Parachain Allocation — Research at W3F 文档。

平行链拍卖

类别: Runtime

平行线程（Parathreads）是即付即用的平行链。这包括一个链上机制，用于惩办网罗东谈主的拍卖并确保他们生成一个区块。

平行线程的节点侧部分的作用，是让网罗东谈主实质投放出价，并被建树为在何种条款下投放出价。

考证东谈主分派

类别: Runtime

将考证东谈主分派给平行链。考证东谈主仅在短时刻内分派给平行链。可移动的参数包括分派给每个平行链的时刻长度和集合知谈考证东谈主分派的提前时刻。

契约 见证轮回

类别: 集合

一种黑箱集合组件，用于在职意给定链的考证东谈主之间轮回发送评释音信（Candidate， Valid，Invalid），以创建可在其上包含区块的 quorum。

可用性纠删码

类别：节点/集合

对于每个潜在的、被视为平行链的区块，对区块的 PoV 和传出音信履行擦除编码。为中继链区块调用中继链上的区块数目，此平行链区块被辩论包含在 n 中。擦除码分为 n 个部分，其中任何 f + 1 王人不错还原（f 是允许的最大故障节点数 = ~ n / 3）。第 i 个考证东谈主存储第 i 个编码并将其提供给任何筹商者。

PoV 区块获取

类别：集合

一种黑箱集合组件，用于平行链上的考证东谈主或垂纶东谈主，以获取评释中哈希所援用的 PoV 区块，以进行考证。当获取 “现时” PoV 区块（围聚链的起首，或与现时正在构建的区块接洽）时，这应该很快。当获取 “旧的” PoV 区块时，应该有可能何况要借助于从可用性擦除编码中还原。

平行线程拍卖投票

类别：节点/集合

皇冠体育

建树网罗东谈主在平行线程拍卖中投票的面目和时刻。

网罗轮回

类别：节点/集合

网罗东谈主节点的主要事件轮回：

新的中继链区块 B 同步新的平行链头 P w.r.t. B 诞生 P 的新子区块 提交给考证东谈主

跨链音信传递

https://hackmd.io/ILoQltEISP697oMYe4HbrA?view https://github.com/paritytech/polkadot/issues/597

平行链道路图中最大的子面目 —— 平行链之间奈何发送音信。这波及传入音信的现象机排序、用于获取这些音信的契约以及用于抓久保存音信的节点逻辑。

它的谋略基于平行链之间由发送者和罗致者组成的单向通谈办法。在每个中继链区块，每条平行链有契机在其适度的每个通谈上发送音信，它适度了发送部分的一半。它还将尝试按限定在它适度的每个罗致通谈的一半上处理音信：在块高 “b” 发送的音信，必须先于在块高 “b + 1” 发送的音信处理。对于在调换块高发送的不同通谈上的音信，将按照一些明确界说的限定进行处理。

这意味着，对于最近处理的音信在其罗致的统统通谈上的发送高度，罗致段的最大高度差为1。罗致段的最小已处剪发送高度叫作 “水印 (watermark)”。在水印之前或水印高度的统统通谈上发送到此段的统统音信均已处理。

罢了 CandidateReceipt 步地

类别：Runtime / 节点

CandidateReceipt 是对提交给 runtime 的 parablock 头的包装器。它包含对数据的加密答允，这对于考证或解释 parablock 至关热切，新宝会员包括见证数据和传出音信数据的哈希。

CandidateReceipt 步地应字据上头提到的 XCMP 来罢了 —— 最热切的是，它应改变为保留以加密面目提交到每个绽开通谈现象的 bitfield 和 message_root 域。

罢了 PovBlock 步地

类别：Runtime / 节点

PovBlock 或 Proof-of-Validity 区块包含考证 parablock 所需的所零散据。它将需要包含传入的音信队伍以及潜在的传出音信队伍。

CST 更新标准

类别：Runtime

基于中继链区块中提供的 CandidateReceipt 的通谈现象表（CST）的存储界说和更新逻辑。

CST 准入评释的生成和查验

类别：节点

中继链的全节点在 CST 中生成面目评释的器具，轻客户端或被编著的节点查验这些评释的器具。

MQC 存储和分发契约

类别：节点

每个通谈的现象王人由音信队伍链（MQC，Message Queue Chain）描写，该队伍是一个哈希链，其中的集结由 “(M， b， H)” 界说：最近发送的音信、先前发送的音信方位的块高度、以及先前集结的哈希值。

sending 平行链的全节点有职守顾惜 MQC 的统统集结，直到并包括 b 小于 receiving 平行链的水印的集结。

该 para 的好意思满节点将知谈其通谈的统统 MQC 头，因为它们是通过履行该块产生的。这将需要与 Cumulus 团队（https://github.com/paritytech/cumulus）在 API 上进行合作。

咱们将需要一个集合，平行链的网罗东谈主不错在该集合中发现并获取从统统通谈传入的 MQC 的关连部分。

通谈注册者和经济学

类别：Runtime

平行链通过存放一笔入款来翻开或关闭通谈的 runtime 逻辑。平行线程不错翻开的通谈数目将受到界限。

paras 用于 runtime 逻辑通过放下入款来翻开和关闭通谈。parathread不错翻开的通谈数目将受到界限。待关闭的通谈应保抓翻开现象，直到罗致者的水印达到关闭所要求的区块高度为止。

垂纶/Slashing 灵验性/可用性论说处理标准

类别：Runtime

在 Polkadot 中，坏心的平行链组不错强制包含无效或不可用的平行链区块。垂纶东谈主的责任是监测这些区块并将其论说给 runtime。此项与论说处理标准接洽。

对于可用性/灵验性的 W3F 研究著作提供了争议惩办过程的举座视角：可用性和灵验性 - W3F 研究。

未惩办且需要采纳的主要活动之一，是在争端惩办经过料定出现造作时发生的 “回滚”。当咱们将平行链区块象征为无效或不可用时，咱们需要将统统平行链回滚到此现象之前的某个点。咱们还需要回滚中继链的现象，因为可能也曾有一条音信从平行链发送到中继链，当今需要回滚。最浅薄的方法是通过蔓延进取音信来侧目该问题，但这将极地面影响平行链参与插槽拍卖、理事会投票等的用户体验。假定咱们无法侧目这少许，咱们将必须找到一种方法来去滚中继链的指定现象。

双重投票 Slash 处理标准

类别：Runtime

在见证过程中，考证东谈主只可为给定的中继链区块提交一个“候选”音信。淌若在平行链区块上发布“候选”音信，则不成在该平行链区块上发布 “灵验” 或 “无效” 投票，因为 “候选” 音信是隐性灵验性投票。不然，在给定的平行链区块上同期进行 “灵验” 和 “无效” 投票是监犯的。

Runtime 处理标准需要两个相互打破的投票看成参数，并需要对违背者进行 slash。

灵验性/可用性垂纶

类别：节点

考证者也不错字据 VRF 可用性和灵验性 - W3F 研究自行采纳，并采纳此代码旅途。考证东谈主和垂纶东谈主将采纳平行链区块进行从头考证。在这些标准中：

尝试还原 PoV 区块，并清偿到纠删码。淌若不可用，则发布论说。 尝锻真金不怕火证 PoV 区块。淌若无效，则发布论说。 双重投票垂纶

类别：节点

在见证过程中不雅察到双重投票的节点应向链提交论说以触发 Slash。

阶段

该道路图分为多个阶段，相对于上一个阶段来说，每个阶段代表另一组的委用后果或黑箱组件上的迭代。

阶段 0: MVP

领先的阶段 —— 这是无 slashing（统统安全）或跨链音信传递的平行链。它根底上等于注册和考证闲居入手的 PoC。

基础架构/API: 自界说 libp2p 子契约 平等集经管 任务: 拍卖 平行线程拍卖 考证东谈主分派 契约: 评释流畅（黑箱：八卦） 可用性纠删码（黑箱：八卦） PoV 区块获取（黑箱：八卦） 网罗轮回 跨链音信传递: 罢了 CandidateReceipt 步地   阶段 1: 垂纶和 Slashing

此阶段标志着平行链安全性的跳动。一朝完成，平行链等于熟谙的加密经济学上安全的汇总基元。此阶段还包括接洽 XCMP 的收尾责任，但还莫得统统启用。

契约 可用性纠删码（黑箱：定向分发） PoV 区块获取（黑箱：定向分发和获取） 垂纶/Slashing 灵验性/可用性论说处理标准 双重投票 Slash 处理标准 灵验性/可用性垂纶 双重投票垂纶 跨链音信传递： 罢了 PoVBlock 步地。   阶段 2: 音信传递

此阶段标志着跨链音信传递的委用。

包括 XCMP 部分剩下的委果统统内容澳门永利真人百家乐。