Trước đó: flightofthefox đã mở rộng các chứng minh hình thức với Model F bao phủ toàn bộ vòng đời reshape, chạy phân tích Monte Carlo đối kháng trên việc xáo trộn validator, và chuyển các cấu trúc safe-vote và ratification sang durable
Nếu tuần trước là về việc chứng minh toán học cho reshape, thì tuần này là về việc làm cho các shard sống sót qua điều tệ nhất. flightofthefox đã xây dựng toàn bộ hệ thống halt-recovery — cỗ máy phát hiện một shard bị đóng băng, vẽ lại committee của nó, và hồi sinh nó mà không làm mất hay nhân bản một giao dịch nào. Một tuần dày đặc với 60 commit trải khắp gần như mọi phần của codebase.
60
+9% so với tuần trước
commit
+12k −1.8k
-10% so với tuần trước
dòng thay đổi
Commit / ngày
đỉnh 18/ngày · 7/7 ngày hoạt động
Đà tiến
Dòng thay đổi / tuần
8 tuần gần nhất
89% Rust4% Docs4% Specs3% Config
flightofthefox đã xây gì
Các shard tự chữa lành
flightofthefox đã xây dựng toàn bộ pipeline halt-recovery: phát hiện các shard bị đình trệ, vẽ lại toàn bộ committee của chúng, bắc cầu consensus qua một parent đã được chứng minh, và đóng băng các giao dịch cross-shard cho đến khi shard an toàn trở lại.
→ xem “The Will” trên hyperscale.rsBeacon trừng phạt im lặng, thưởng cho tính mới
Beacon nay giam các validator cố tình giấu đề xuất randomness, áp trọng số khi lấy mẫu lại committee dựa trên độ gần đây mà mỗi validator đã phục vụ, và trục xuất thành viên có thâm niên lâu nhất ở mỗi lần shuffle — giữ cho lottery công bằng và sống động.
→ xem “The Lottery” trên hyperscale.rsRandomness bằng folding, được chứng minh bằng toán học
Mỗi shard nay publish một randomness reveal theo từng block, được fold vào randomness chung của epoch — seed cho việc rút committee. Một model Quint mới chứng minh fold này là chính xác.
→ xem “The Proof” trên hyperscale.rsĐiều cốt lõi
Thay đổi nổi bật
Một hệ thống halt-recovery hoàn chỉnh nay cho phép một shard bị đóng băng được phát hiện, thay nhân sự mới, và khôi phục mà không làm mất hay nhân bản các giao dịch cross-shard.
Tiếp theo là gì
Khả năng tiếp theo: kết nối logic xáo trộn validator vào production nay khi halt recovery và quản lý committee của beacon đã sẵn sàng.
Nghe được trong chat
Tâm trạng: Thảo luận cộng đồng về độ phủ trên X và trang radix.wiki, cộng thêm một drama ngoài lề đã bị mod xóa. flightofthefox đã làm rõ cách đặt tên consensus và nhấn mạnh giá trị của việc kết hợp mô phỏng
“Có vẻ như chúng ta đang sống một tuần mỗi 2 ngày 😅”
— flightofthefox, trong Telegram cộng đồng
Khái niệm của tuần
The Will— Di chúc của shard đã chếtTrọng tâm của tuần này là trao cho các shard đã chết một con đường hồi sinh sạch sẽ: phát hiện sự đình trệ, đóng băng công việc cross-shard, dựng lại committee, và đảm bảo các straddler được giải quyết bằng fence — chứ không phải bằng may mắn.
hyperscale.rs/testament Giải mã thuật ngữ
Halt recovery — Quá trình phát hiện một shard bị đóng băng, gán cho nó một committee mới, và đưa nó trở lại hoạt động mà không làm mất giao dịch.
Randomness reveal — Một giá trị mà mỗi shard publish trên mỗi block, được trộn chung lại để tạo seed không thể dự đoán cho lần rút committee tiếp theo.
Fence freeze — Tạm dừng tất cả giao dịch cross-shard liên quan đến một shard bị đình chỉ cho đến khi số phận của nó được giải quyết.
Công việc đổ về đâu
pipeline halt-recovery và dựng lại committee
cấu trúc dữ liệu recovery và các kiểu fence
jailing, trọng số recency, giới hạn committee
Tham khảo — bản đồ khái niệm, lộ trình & liên kết▾
Bức tranh toàn cảnh
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.
Con đường tới mainnet
Hiện tại: Milestone 1 · Adaptive Sharding — Tuần 12 · ~tháng 3/4 · 71%. Từ ngày đầu: 2.402 commit — một lập trình viên, hoàn toàn công khai.
Liên kết
Có câu hỏi? flightofthefox luôn sẵn lòng trao đổi trong Telegram cộng đồng.
Do AI viết từ các commit công khai, chat cộng đồng và hyperscale.rs — có thể có sai sót. · tạo ngày 2026-07-20