Cardano Peras 将证书处理移入协议代码
最新的 Peras 更新包含初始的持久化证书数据库、用于数据扩散的追赶完成检测,以及用于可治理协议参数的 Cardano 账本原型。这些组件正在为即将到来的 Cardano 硬分叉的代码冻结做准备。
By SongMarketCap
Updated:
Ouroboros Peras 正在从协议规范走向实现代码路径,这些代码决定了 Cardano 节点如何存储证书、与对等体同步,以及为共识数据预留区块空间。Tweag 连同测试网更新与对密码学投票分析的审查一起报告了这项工作。Peras 仍计划在较后的 Dijkstra 阶段启用,尚未公布主网激活日期。
Peras 证书存储移入共识代码
在 Ouroboros Consensus 代码库中,通过拉取请求 2293 提交了ImmutablePerasCertDB的初始实现。该数据库旨在为 Peras 证书提供持久化存储,目前正在进行内部审查。
Peras 通过引入基于质押的投票与区块认证来扩展 Ouroboros Praos。其证书汇聚参与质押对区块背书的证据,为节点在评估结算置信度时提供更多信息。
如果启用,Peras 可能使交易所、跨链桥与钱包在更少区块后就能对 ADA 交易达到更强的结算置信度。这些服务将依赖 Cardano 节点提供的结算保证,而不是将 Peras 证书作为单独的用户功能来处理。
ObjectDiffusion 的实现还新增了客户端的优雅终止,以及用于检测证书同步何时已追上的方法。该状态可供 Cardano 的治理状态机在协调对等连接与网络同步时使用。
网络设计团队还单独证明了:在节点至少连接一个诚实对等体且标准的链质量与网络假设成立时,与链选择相关的证书应按递增的 Peras 轮次顺序抵达节点。该排序结果简化了通过 ObjectDiffusion 分发历史与最新证书的既定方案。
Cardano Ledger 测试可治理的 Peras 参数
账本集成团队正在完善即将到来的硬分叉在代码冻结前所需的剩余 Peras 组件。工作内容包括界定哪些 Peras 协议参数今后可通过 Cardano 治理进行修改。
在 Cardano Ledger 代码库中,通过拉取请求 6067 提交了一个原型。敲定参数清单还需要更新 Cardano 宪章,以便治理框架明确哪些数值可以更改以及适用的限制。
这些账本工作为 Cardano 未来部署 Peras 做好准备。激活仍安排在较后的 Dijkstra 阶段,并将需要单独的测试、治理批准与协议版本变更。
开发者还完成了在出块前估算证书大小的初始方法。Peras 证书会与 ADA 与原生资产交易竞争区块体内的容量,因此出块节点在选择交易前必须预留足够空间。
一项相关的拉取请求在区块包含 Peras 证书时减少所选交易数量。此调整可防止节点在添加所需的共识数据之前就将区块填满。
Peras 测试网为集成节点测试做准备
在处理评审反馈后,开发团队已合并标记为 Peras 67 与 Peras 68 的更改。另有两项拉取请求 Peras 69 与 Peras 70,添加了严格性注解并修复了一个曾阻碍每夜构建与测试网运行的查询缺陷。
测试网准备工作包括改进的初始化脚本、日志与指标的集中收集,以及将基础分支更新到最新的 Peras 代码。这些更改旨在当共识、网络与账本组件协同运行时,使故障更易追踪。
Tweag 还审阅了由 Input Output 的 Applied Cryptography 团队研究人员撰写的 Peras 投票分析 1.1 版。审阅过程中提出的问题正用于制定未来主网实现所需密码学组件的交付计划。
计划中的测试网更新将合并此前分离的四项能力:持久化证书存储、已完成证书同步的检测、感知证书的出块,以及账本对 Peras 参数的访问。达到该运行状态取决于完成未决的内部审查,并将测试网分支迁移到最新实现。