Trước đó: flightofthefox vừa đóng lỗ hổng an toàn hiếm hoi liên quan đến double-commit của beacon và chứng minh bản sửa lỗi trong năm mô hình formal mới, bao phủ straddlers, cross-shard commit, và chính lệnh double-commit.
Tuần này công tác formal-proof mở rộng đáng kể: flightofthefox đã xây dựng một mô hình Quint hoàn toàn mới đi qua toàn bộ vòng đời reshape từ đầu đến cuối. Bên cạnh đó, logic validator shuffling đã nhận được bài phân tích bảo mật đối kháng đầu tiên đúng nghĩa, và simulator đón nhận một loạt tình huống mạng khắc nghiệt mới. Code beacon và shard tiếp tục được siết chặt, với một số phần dữ liệu safe-vote và ratification nay đã được lưu trữ bền vững.
55
-33% so với tuần trước
commit
+13k −2.3k
-8% so với tuần trước
dòng thay đổi
Commit / ngày
đỉnh 16/ngày · 6/7 ngày hoạt động
Đà tiến
Dòng thay đổi / tuần
8 tuần gần nhất
72% Rust12% Config12% Docs4% Specs
flightofthefox đã xây gì
Model F đi qua toàn bộ câu chuyện reshape
flightofthefox đã xây dựng một mô hình Quint mới — 'Model F' — chứng minh toàn bộ vòng đời của một shard split hoặc merge: merge path, ready-signal hand-off, draw-seed twins, và kể cả trường hợp unbound ready signal. Điều này biến các cam kết thiết kế reshape thành toán học có thể kiểm chứng.
→ xem “The Proof” trên hyperscale.rsThe Lottery được kiểm thử đối kháng
Logic validator-shuffling được đặt dưới kính hiển vi Monte Carlo, kèm theo một adaptive worst-case attacker. Các độ lệch được đo lường và ghi lại, nhờ đó việc gán committee ngẫu nhiên giờ đã có một bộ chứng minh bảo mật được công bố thay vì chỉ là những lời khẳng định đầy hy vọng.
→ xem “The Lottery” trên hyperscale.rsThe Crash Lab thêm những cơn ác mộng mới
Một số tình huống partition và Byzantine mới đã được đưa vào simulator — beacon pool bị đình trệ trong partition, inter-shard severance, fragment rejoin, exact-quorum heal, slow proposer, và stale parent. The Crash Lab giờ có thêm nhiều cách để cố ý phá vỡ mạng.
→ xem “The Crash Lab” trên hyperscale.rsĐiều cốt lõi
Thay đổi nổi bật
Một mô hình Quint mới giờ chứng minh bằng cơ học rằng toàn bộ vòng đời reshape — splits, merges, ready signals, và staffing — đều an toàn dưới phân tích formal.
Tiếp theo là gì
Khả năng tiếp theo: logic validator-shuffling sẽ được đấu nối phía production, giờ khi toán học bảo mật và các tình huống simulator đã dần hạ cánh.
Nghe được trong chat
Tâm trạng: Các thảo luận về DAO và core-team chiếm trùm chat tuần này — ai nên vận hành Radix, hợp đồng market-maker đáo hạn mà chưa thấy dấu hiệu gia hạn, và một luồng phụ nhỏ về việc biến các báo cáo hàng tuần này thành
“việc hoàn thành roadmap chỉ phụ thuộc vào việc phí cần thiết được thanh toán (và bản thân các coin thực sự có giá trị thanh khoản). Nếu DAO giữ đúng phần thỏa thuận của họ, thì tôi cũng giữ phần của mình.”
— flightofthefox, trong Telegram cộng đồng
Khái niệm của tuần
The Proof— Kiểm chứng hình thức và toán họcModel F là trọng tâm của tuần: một mô hình Quint duy nhất cơ học hóa toàn bộ câu chuyện reshape — splits, merges, ready signals, staffing — biến thiết kế thành toán học có thể chứng minh được.
hyperscale.rs/proof Giải mã thuật ngữ
Monte Carlo — Cách kiểm tra sức chịu đựng bằng cách chạy số lượng lớn phép thử ngẫu nhiên và quan sát các quy luật xuất hiện.
Byzantine — Mô tả một thành viên trong mạng cố ý hành vi sai lệch hoặc gửi thông tin dối trá.
Adaptive adversary — Kẻ tấn công worst-case quan sát tình hình và thay đổi chiến lược tức thời để gây tối đa thiệt hại.
Công việc đổ về đâu
ratification và thanh ghi safe-vote của beacon được lưu trữ bền vững
lưu trữ fork-safety, header scope, ready-signal dwell
tình huống partition và Byzantine mới, dọn dẹp harness
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 11 · ~tháng thứ 3 trong 4 · 65%. Từ ngày đầu: 2.342 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-13