Trước đó: flightofthefox vừa gộp simulator và production vào chung một framework test-scenario, với một reshape orchestrator gọn gàng điều khiển cả hai runner.
Tiếp nối việc hợp nhất test từ tuần trước, flightofthefox chuyển sang tập trung vào tính an toàn và phát hiện ra lỗi lớn nhất từ trước đến nay — một trường hợp hiếm hoi mà beacon có thể finalise cùng một epoch theo hai cách khác nhau khi mạng bị chia cắt. Anh ấy đã tái hiện lỗi này trong simulator, khắc phục bằng một commit path mới được pool phê duyệt, và chứng minh được bản sửa lỗi bằng năm mô hình toán học mới. Một tuần đáng nhớ cho độ tin cậy của beacon.
82
-15% so với tuần trước
commit
+11k −6.1k
+16% so với tuần trước
dòng thay đổi
Commit / ngày
đỉnh 17/ngày · 7/7 ngày hoạt động
Đà tiến
Dòng thay đổi / tuần
8 tuần gần nhất
82% Rust7% Config7% Docs5% Specs
flightofthefox đã xây gì
Beacon double-commit, đã tìm ra và khắc phục
flightofthefox đã tái hiện một lỗi an toàn hiếm hoi, trong đó beacon có thể finalise cùng một epoch theo hai cách khác nhau khi mạng bị chia cắt, sau đó xây dựng một commit path được pool phê duyệt để loại trừ lẫn nhau với route cũ — đóng kín lỗ hổng này vĩnh viễn.
→ xem “The Census” trên hyperscale.rsStraddlers và reshapes, được rào chắn chắc chắn hơn
Các giao dịch bị kẹt trong một shard đang tách ra không thể bị trục xuất khi gate vẫn còn giữ chúng, và quá trình bàn giao giữa committee cũ và mới giờ sẽ đợi cho đến khi successor thực sự trực tuyến.
→ xem “The Will” trên hyperscale.rsNăm bằng chứng toán học mới
Năm mô hình hình thức mới hiện chứng minh bằng toán học các quy tắc an toàn cốt lõi: straddler settlement, cross-shard atomic commit, shard consensus, weighted-time clock, và chính bản sửa lỗi dual-commit.
→ xem “The Proof” trên hyperscale.rsĐiều cốt lõi
Thay đổi nổi bật
Lỗ hổng an toàn double-commit hiếm hoi của beacon hiện đã được đóng lại, loại trừ lẫn nhau, và chứng minh bằng toán học.
Tiếp theo là gì
Dự kiến tiếp theo: cơ chế shuffling validator kiểu xổ số, một phần lớn còn lại của M1 chưa hoàn thành, giờ sẽ chạy trên một nền tảng beacon vững chắc hơn nhiều.
Khái niệm của tuần
The Census— Beacon theo dõi validator & topologySự kiện trọng tâm là lỗ hổng an toàn double-commit của beacon đã được tái hiện, khắc phục bằng pool ratification, và chứng minh bằng toán học. Đó là một bước tiến lớn cho chuỗi theo dõi validator và topology.
hyperscale.rs/census Giải mã thuật ngữ
Pool ratification — Cách thức để validator pool bỏ phiếu và phê duyệt một beacon block trước khi nó được tính là final, thay thế cho một path cũ kém an toàn hơn.
Dual commit — Lỗi an toàn trong đó hai phiên bản xung đột của cùng một block có thể được finalise cùng lúc trên một mạng bị chia cắt.
Công việc đổ về đâu
lỗ hổng dual-commit đã được đóng lại bằng pool ratification
tái hiện lỗi partition từ đầu đến cuối
các data type mới cho ratification và straddler
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 10 · ~tháng 2 trên 4 · 59%. Từ ngày đầu: 2.324 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-09