Hyperscale Weekly
上期回顾:flightofthefox 引入了用于垃圾回收的 substate sweep,并为交易意图添加了签名网络头;随后 Radix VM 漏洞促使他清算了 XRD,并勾勒出迁移路径的草图。
这是 Milestone 2 迄今为止工作量最大的一周——flightofthefox 完成了对 VM 执行交易方式的近乎完整的重写,将所有路径统一收束到一个名为 core boundary 的检查点。与此同时,跨分片结算系统、substate sweep 以及分片终止规则都在同步走向成熟,Telegram 群里也爆发了一场关于 Hyperscale 对 Radix 未来意味着什么的激烈讨论。
围绕单一核心重写执行层
如今每条智能合约执行路径都要经过一个统一的 core boundary,所有模块在此处发布、校验并计量。VM 按内存页自行计算燃料,代码只能访问被明确授予的权限——这既收紧了安全性,也使执行方式与分片架构保持一致。
→ 在 hyperscale.rs 查看“The System”跨分片账本初具雏形
遗弃记录、对端查询和状态探针被统一整合进一个账本,采用统一的保留规则,取代了过去散落各处的临时检查,让跨分片承诺更加干净、更可验证。
→ 在 hyperscale.rs 查看“The Generals”Sweep 接入 block commit 流程
substate sweep 被直接并入 block commit 路径,每笔交易派生的产物现在都带有统一的过期宽限期——随着区块最终确认,清理工作会自动完成。
→ 在 hyperscale.rs 查看“The Archive”分片死亡规则加固
当分片在交易中途终止时会发生什么,相关规则已收紧:已结算集合和 fence 现在管辖所有跨分片者,终结证据的尺寸也与分片最终跨度对齐。
→ 在 hyperscale.rs 查看“The Will”分叉安全性增强
同一区块高度上的冲突 commit 现在会被直接拒绝,跨链声明必须通过统一的 vote fence,被丢弃轮次的证书连同其 ticks 一并清除——由此堵上了几个分叉安全漏洞。
→ 在 hyperscale.rs 查看“The Overlap”模拟器与 CI 扩容
测试套件现在在 arm64 runner 上运行并提升了并行度,模拟器新增了与主机绑定的占位 validator,两种存储后端也共享了同一个一致性测试辅助工具。
→ 在 hyperscale.rs 查看“The Crash Lab”- 内存存储快照现在共享结构,减少了跨节点的重复。
- beacon header 窗口在插入时即设上限,防止无限增长。
- Merkle 证明将空兄弟节点编码为单个 bit,节省了传输空间。
- 区块遗弃记录现在按字节数而非条数设限。
- RocksDB 存储克隆通过移除包装类型得以简化。
- Resharding 拆分逻辑现在保留了委员会洗牌无法占用的 pool 空间。
- 四个 reshape 断言被修复,终于真正测试了它们声称要测试的内容。
- 已退出分片的存储现在仍被提供服务,路由在启动时即完成种子注入。
氛围:群里爆发了激烈争论,讨论 flightofthefox 是否有义务为 Radix 提供完整迁移方案,不满情绪一度沸腾——但他重申会帮助 Radix 采用 Hyperscale,并提到了 VM 的重写。
参考 — 概念地图、路线图与链接▾
有疑问?flightofthefox 随时乐意在社区 Telegram中交流。