Trước đó: flightofthefox đã gia cố VM để từ chối các cấu trúc không hợp lệ lúc build, chính thức hóa vaults và proofs, và đang dở dang trên các đường dẫn trình bày proof-and-authorization.
Tuần này mạng Radix bị một lỗ hổng nghiêm trọng ở cấp độ VM, gây chấn động khắp cộng đồng. flightofthefox vẫn tập trung vào code, xây dựng hệ thống garbage-collection thực sự đầu tiên của mạng và siết chặt việc ký transaction — trong khi minh bạch về việc bảo vệ runway của Hyperscale và phác thảo cách thức migration sẽ hoạt động trong tương lai.
19
-95% so với tuần trước
commit
+4.1k −711
-80% so với tuần trước
dòng thay đổi
Commit / ngày
đỉnh 18/ngày · 2/7 ngày hoạt động
Đà tiến
Dòng thay đổi / tuần
8 tuần gần nhất
95% Rust2% Docs2% Specs1% Config
flightofthefox đã xây gì
Trạng thái không thể truy cập, được dọn sạch
flightofthefox đã xây dựng hệ thống garbage-collection: các nullifier theo dõi trạng thái mà không gì có thể truy cập, được nhóm theo expiry bucket để mỗi block giải nghệ đúng những gì đến hạn. Mạng giờ có thể tự động thu hồi không gian lưu trữ.
→ xem “The Library” trên hyperscale.rsIntents khai báo mạng của chúng
Transaction intents giờ mang theo signed header ghi tên mạng mà chúng dành cho và thời hạn hiệu lực — ngăn chặn cross-network replay và thu hẹp thời gian hiệu lực của mỗi intent về mức tối thiểu.
→ xem “The Journey” trên hyperscale.rsĐiều cốt lõi
Thay đổi nổi bật
Substate sweep mang cho mạng garbage collection thực sự đầu tiên — tự động theo dõi và xóa trạng thái mà không gì có thể truy cập.
Tiếp theo là gì
Tiếp theo có thể: hoàn thiện đường dẫn ký intent và xác thực mạng, và tích hợp substate sweep vào execution lifecycle của shard.
Nghe được trong chat
Tâm trạng: Cuộc tấn công vào mạng Radix chi phối toàn bộ thảo luận, với tranh luận giữa relaunch và migration, và flightofthefox minh bạch thanh lý XRD để bảo vệ runway của Hyperscale.
“khó mà hyperscale được khi bạn không có nhà”
— flightofthefox, trong Telegram cộng đồng
flightofthefox giải thích
Sharding giới hạn phạm vi lỗi
Một shard dừng hoạt động không ảnh hưởng đến các shard khác, nên tác động đến liveness được giới hạn cục bộ. Các sự cố kéo dài sẽ được beacon chain ghi nhận, và cả committee sẽ được xoay vòng nếu cần.
Migration sang Xi'an
Bạn sẽ dump trạng thái Babylon tại một epoch xác định, biến đổi nó, và nạp vào genesis của Xi'an — giống như từ Olympia lên Babylon. Phần phức tạp là các contract cần biên dịch lại.
Thiết kế VM được ưu tiên hàng đầu
Ưu tiên số một tuyệt đối là xây dựng một VM tối ưu, hoàn toàn phù hợp với Hyperscale và sharding. Các primitive giữ lại từ Scrypto ở đó vì những ý tưởng thực sự tốt.
Giới hạn của formal verification
Bạn xác minh các mô hình nhỏ hơn bằng ngôn ngữ chuyên dụng, không phải toàn bộ code. Nó không phải viên đạn bạc, nhưng viết ra các invariant giúp giảm đáng kể khả năng xuất hiện bug.
Khái niệm của tuần
The Library— Ngày chuyển nhà không bao giờ tớiPhần lớn tuần này tập trung xây dựng cơ chế dọn dẹp state tree — theo dõi, lập chỉ mục, và xóa trạng thái mà không gì còn có thể truy cập.
hyperscale.rs/library Giải mã thuật ngữ
Nullifier — Một dấu hiệu hệ thống dùng để theo dõi trạng thái mà cuối cùng sẽ bị xóa khi không còn có thể truy cập.
Substate sweep — Garbage collection tự động của mạng: tìm và xóa các mục trạng thái mà không gì còn có thể truy cập.
Expiry bucket — Cách nhóm các mục trạng thái theo block height mà chúng sẽ được dọn dẹp, để mỗi block xử lý chúng một cách hiệu quả.
Công việc đổ về đâu
lưu trữ substate sweep và nullifier
ký intent và xác thực mạng
cấu trúc dữ liệu nullifier và sweep
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
✓ M1
Adaptive Sharding
~4 mo
Hiện tại: Milestone 2 · Radix Engine — Tuần 5 · ~tháng 1 trong 5. Từ ngày đầu: 4.023 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-09-07