上期回顾：flightofthefox 搭建了 beacon crate 的骨架——这条负责追踪 validator 和 shard 映射的慢速协调链——并围绕 thread-per-shard 模型重构了生产节点，同时配合 The Crash Lab 和 The Pr 进行了测试。
这是关键转折的一周。flightofthefox 在整个代码库中推入了编译器强制安全系统，确保未经验证的 block 或 vote 在实际操作中根本不可能被误用。他还将 beacon 完整接入生产节点，并用更简洁的 skip 流程替代了旧版恢复路径。
势头
flightofthefox 构建了什么
编译器强制安全全面铺开
一个新的 typestate wrapper 现在会强制编译器拒绝任何在密码学验证之前就尝试使用 block、vote 或 certificate 的代码。未经验证的数据再也不会意外溜进来——这对 The Overlap 来说是一次深层的结构性安全提升。
→ 在 hyperscale.rs 查看“The Overlap”The Crash Lab grows teeth
The simulator absorbed multi-coordinator, Byzantine, and topology-change scenarios, plus cross-network signature rejection tests, so a wider range of attacks can now be replayed byte-for-byte in The Crash Lab.
→ 在 hyperscale.rs 查看“The Crash Lab”本周要点
最亮眼的变化
A compiler-enforced 'verified' wrapper now covers nearly every consensus type, making it structurally impossible to trust an unverified block, vote, or certificate.
接下来做什么
Likely next: driving a full beacon epoch transition end-to-end through the simulator, including the new skip flow.
聊天室见闻
氛围：Quiet week in chat — flightofthefox heads-down on the codebase.
本周概念
The Overlap— Provably fork-freeNearly every consensus type now has to be cryptographically verified before the compiler will let the code touch it, making it structurally impossible for unverified data to influence a decision. This is fork-safety baked into the type system.
hyperscale.rs/overlap 术语解读
Typestate — A coding pattern where the type itself records whether a step has happened, so the compiler refuses to let you use something before that ste
Gossip — The way nodes spread messages peer-to-peer, each one passing the news to a few neighbours who pass it on, like a rumour.
Unicast — Sending a message to one specific node, the opposite of broadcasting to everyone.
工作落在了哪里
typestate wrappers for verified consensus types
wired into node, sync, fetch, skip flow
node
BeaconCoordinator wired into the runner
参考 — 概念地图、路线图与链接▾
全景图
The ClockConsensus-attested time across independent shards.
The CensusThe leaderless beacon of validators, stake and shards.
The OverlapWhy two conflicting blocks can never both commit.
The GeneralsAll-or-nothing cross-shard commits, computed not voted.
The ArchiveEvery published byte is preserved or provably expired.
The LibraryAll state in one merkle tree; a shard is a subtree.
The WillHow in-flight transactions settle when a shard dies.
The LotteryRandom, ever-moving committees; proven cheats are jailed.
The TriageUnder overload, urgent traffic never waits for bulk.
The GovernorValidator entry is re-priced every epoch, like a market.
The Crash LabThe simulator that replays any failure byte-for-byte.
The ProofProving safety with maths, not just tests.
The AsterisksEvery design's trade-offs — including Hyperscale's own.
通往主网之路
当前：Milestone 1 · Adaptive Sharding — 第5周 · 第4个月中的第1个月 · 29%。 自第一天以来：2,324 次提交 — 一位开发者，完全公开进行。
链接
有疑问？flightofthefox 随时乐意在社区 Telegram中交流。
由 AI 根据公开提交、社区聊天和 hyperscale.rs 撰写 — 可能存在错误。 · 生成于 2026-07-09