|
所有验证器都被赋予这些插槽 [ A, A, A, A, A, B, B, C, C ] 使用历史以太坊区块作为种子，我们对这个数组进行洗牌。 使用种子打乱插槽后，我们得到这个数组 [ A, B, A, A, C, B, A, A, C] 现在根据生产者数量（由验证者治理维护），我们从顶部选出验证者，例如，如果我们想选择 5 个生产者，我们将生产者设置为 [ A, B, A, A, C] 因此，为下一个跨度设置的生产者定义为 [ A: 3, B:1, C:1 ]。 使用这个验证器集和 Tendermint 的提议者选择算法，我们为 Bor 上的每个sprint选择一个生产者。 该模型允许任何人使用任意数量的 MATIC 代币参与保护网络。它也不会牺牲交易速度，因为并非所有验证者都必须一直验证区块。 让我们回到 Heimdall 的另一个重要功能——检查点（Checkpointing）。 检查点检查点很重要，因为它们在以太坊链上提供了最终性。 Heimdall 层允许将 Bor 生成的区块聚合到单个 Merkle 根中，并定期将其发布到以太坊主链。此已发布状态也称为检查点，因此整个过程称为检查点。 检查点提议者最初是通过 Tendermint 的加权循环算法选择的。基于检查点提交的成功实现进一步的自定义检查。这允许 Polygon PoS Chain 与 Tendermint 提议者选择解耦，并为其提供诸如仅在以太坊主网上的检查点交易成功时选择提议者或在检查点交易失败时提交先前区块的检查点交易等功能。 在 Tendermint 上提交检查点是一个两阶段提交过程。通过上述算法选择的提议者在提议者字段中发送带有地址的检查点，所有其他提议者对其进行验证。 然后下一个提议者发送确认交易以证明之前的检查点交易在以太坊主网上成功。每个验证器集更改都将由嵌入到验证器节点上的 Heimdall 上的验证器节点中继。这允许 Heimdall 始终与以太坊主链上的 Polygon 合约状态保持同步。 部署在主链上的 Polygon PoS Chain 合约被认为是最终的真实来源，因此所有验证都是通过查询以太坊主链合约来完成的。 检查点还在提取资产时提供“销毁证明”。 说到提现，让我们来看看 PoS 链的另一个重要元素——双向以太坊桥。 双向以太坊桥典型的双向桥依赖于一小组通常甚至不被质押的权威机构，也不是侧链验证者集的一部分——基本上桥通常是由几个 PoA 签名者控制的。这是一个重要的安全问题。 
Polygon 提供了两种不同的方式在以太坊和 Polygon 之间移动资产——Plasma Bridge 和 PoS Bridge。 由于 Plasma 退出机制，Plasma Bridge 提供了更高的安全保证。但是，由于 Plasma 架构中的某些限制，所有退出/提款都有 7 天的提款期。 (责任编辑：admin) |