XI'AN · HYPERSCALE FOR RADIX

Hyperscale Weekly

第 10 周 · 2026年7月13–19日 · Milestone 1 · Adaptive Sharding · 第12周 · 4个月中的第3个月
分割工作,而非世界
里程碑 1 进度71%

上期回顾:flightofthefox 用覆盖完整 reshape 生命周期的 Model F 扩展了形式化证明,对 validator 洗牌运行了对抗性蒙特卡洛分析,并将 safe-vote 和 ratification 结构迁移到 durable。

如果说上周的重点是证明 reshape 的数学基础,那么本周则是让 shard 能在最恶劣的情况中存活下来。flightofthefox 搭建了一套完整的 halt-recovery 系统——能够检测被冻结的 shard、重新组建其 committee,并在不丢失或重复任何一笔交易的情况下让它恢复运行。这是内容密集的一周,60 个 commit 几乎覆盖了代码库的每个角落。

60
+9% 对比上周
次提交
+12k 1.8k
-10% 对比上周
行代码变更
142
个文件改动
34+
天连续提交
每日提交
峰值 18/天 · 7/7 天活跃
势头
每周变更行数
最近 8 周
89% Rust4% Docs4% Specs3% Config
flightofthefox 构建了什么

能自我修复的 shard

flightofthefox 搭建了一条完整的 halt-recovery 流水线:检测停滞的 shard、重新组建其整个 committee、通过已验证的 parent 桥接共识,并在 shard 恢复安全之前冻结跨 shard 交易。

→ 在 hyperscale.rs 查看“The Will”

Beacon 惩罚沉默、奖励活跃

Beacon 现在会将扣留 randomness proposal 的 validator 关入禁闭,按最近一次参与服务的程度对 committee 重新采样进行加权,并在每次洗牌中驱逐任职最久的成员——让抽奖保持公平与活力。

→ 在 hyperscale.rs 查看“The Lottery”

通过折叠生成随机性,以数学证明

每个 shard 现在会发布每区块的 randomness reveal,并将其折叠进 epoch 的共享随机性中——这正是 committee 抽签的种子。一个新的 Quint 模型证明了这一折叠过程的正确性。

→ 在 hyperscale.rs 查看“The Proof”
本周要点
最亮眼的变化
一套完整的 halt-recovery 系统现已就位,可对被冻结的 shard 进行检测、重新配置成员并恢复运行,同时不会丢失或重复跨 shard 交易。
接下来做什么
预计下一步:既然 halt recovery 和 beacon 的 committee 管理机制已到位,将 validator 洗牌逻辑接入生产环境。
聊天室见闻

氛围:社区讨论了在 X 和 radix.wiki 站点上的可见度,还有一段被管理员清理的题外风波。flightofthefox 澄清了共识命名,并强调了结合 simula

感觉我们每2天就过完一周 😅
— flightofthefox,来自社区 Telegram
本周概念
The Will死亡 shard 的遗嘱
本周的核心是为死亡 shard 提供一条干净的恢复路径:检测停滞、冻结跨 shard 工作、重建 committee,并确保 straddler 通过 fence 而非运气来解决。
hyperscale.rs/testament
术语解读
Halt recovery检测被冻结的 shard、为其分配新 committee 并在不丢失交易的情况下使其恢复在线的过程。
Randomness reveal每个 shard 每个区块发布的一个值,会被混合在一起生成下一次 committee 抽签所需的不确定种子。
Fence freeze暂停涉及已停滞 shard 的所有跨 shard 交易,直到其状态得到最终确定。
工作落在了哪里
halt-recovery 流水线与 committee 重建
recovery 数据结构与 fence 类型
禁闭机制、活跃度加权、committee 上限
参考 — 概念地图、路线图与链接
全景图
The System
The whole sharded design at a glance.
The Journey
One transaction's trip through the network.
The Clock
Consensus-attested time across independent shards.
The Census
The leaderless beacon of validators, stake and shards.
The Overlap
Why two conflicting blocks can never both commit.
The Generals
All-or-nothing cross-shard commits, computed not voted.
The Archive
Every published byte is preserved or provably expired.
The Library
All state in one merkle tree; a shard is a subtree.
The Will
How in-flight transactions settle when a shard dies.
The Lottery
Random, ever-moving committees; proven cheats are jailed.
The Triage
Under overload, urgent traffic never waits for bulk.
The Governor
Validator entry is re-priced every epoch, like a market.
The Crash Lab
The simulator that replays any failure byte-for-byte.
The Proof
Proving safety with maths, not just tests.
The Asterisks
Every design's trade-offs — including Hyperscale's own.
通往主网之路
M1
Adaptive Sharding
~4 mo
M2
Radix Engine
~5 mo
M3
Gateway & API
~3 mo
M4
Validator GUI
~3 mo
M5
Migration
~3 mo
M6
Live support
12 mo
当前:Milestone 1 · Adaptive Sharding — 第12周 · 4个月中的第3个月 · 71%。 自第一天以来:2,402 次提交 — 一位开发者,完全公开进行。
链接
由 AI 根据公开提交、社区聊天和 hyperscale.rs 撰写 — 可能存在错误。 · 生成于 2026-07-20
Hyperscale Weekly — 第 10 周 · 2026年7月13–19日