Trước đó: flightofthefox đã định hình lại internals của VM — bố trí component chính thức, định danh resource, và fetching shard record theo từng node — tiến gần tới feature parity với Babylon.
Đây là một tuần củng cố VM sâu và bền bỉ: flightofthefox khiến Radix Engine từ chối các construction không hợp lệ ở mọi khâu, chính thức hóa cách vault và resource được mô tả, và tái cấu trúc những vùng mã lớn thành các module gọn gàng hơn. Trong cộng đồng, một cuộc thảo luận sôi nổi về formal verification và privacy đã cho thấy triết lý testing-first của dự án được hưởng ứng mạnh mẽ đến mức nào.
349
-21% so với tuần trước
commit
+17k −6.9k
-44% so với tuần trước
dòng thay đổi
Commit / ngày
đỉnh 134/ngày · 5/7 ngày hoạt động
Đà tiến
Dòng thay đổi / tuần
8 tuần gần nhất
79% Rust18% Config1% Docs1% Specs
flightofthefox đã xây gì
VM học cách nói không
Hàng chục commit khiến engine từ chối các input sai — trường trùng lặp, thay đổi supply áp dụng dở dang, hình dạng không hợp lệ — ngay tại build time thay vì crash ở runtime, giúp toàn bộ hệ thống an toàn hơn ngay từ thiết kế.
→ xem “The System” trên hyperscale.rsVault và resource dần成形 hình
Vault giờ là các state field được đặt tên với cặp mint-burn tường minh, thay đổi supply phải áp dụng toàn bộ hoặc không gì cả, và mệnh giá token được gắn cố định vào resource — mang lại cho hệ thống token một cấu trúc chính xác, có thể kiểm tra được.
→ xem “The System” trên hyperscale.rsProof có provenance và cấu trúc
Authority proof giờ mang theo provenance có thể truy vết, threshold sign-in có một presenting path chính thức, và badge-gating gắn với bằng chứng ở cấp protocol — khiến access control có thể xác minh thay vì mặc định tin tưởng.
→ xem “The Journey” trên hyperscale.rsĐiều cốt lõi
Thay đổi nổi bật
Radix Engine giờ từ chối một dải rộng lớn các construction không hợp lệ — hình dáng sai, trường trùng lặp, thay đổi token dở dang — trước khi code kịp chạy, biến failure của smart-contract thành vấn đề ở build-time thay vì crash ở runtime.
Tiếp theo là gì
Tiếp theo dự kiến: tiếp tục kết nối các resource operation như minting, burning, và vault movement vào VM đã củng cố, và hoàn tất các presenting path cho proof-and-authorization vốn đang dang dở.
Nghe được trong chat
Tâm trạng: Trò chuyện rôm rả về formal verification sau khi một bug của Zcash lên báo, với flightofthefox giải thích cách privacy relay có thể hoạt động và cho biết chưa theo đuổi phần payment admin của M1 — quá bận buildin
“càng tích hợp chặt chẽ robust testing ngay từ đầu - thì nó càng mở khóa khả năng di chuyển với tốc độ phi lý - và di chuyển với sự tự tin”
— flightofthefox, trong Telegram cộng đồng
Khái niệm của tuần
The System— Chia công việc, không chia thế giớiGần như mọi commit trong tuần đều khoan sâu vào kiến trúc lõi của Radix Engine — execution layer chạy mọi smart contract — củng cố type system, resource model, và authorization của nó trước toàn bộ các lớp lỗi ngay trước khi chúng kịp xảy ra.
hyperscale.rs Giải mã thuật ngữ
Vault — Một trường được đặt tên bên trong component của smart-contract, giữ một loại token cụ thể, theo dõi lượng resource mà nó chứa.
Provenance — Bản ghi về nguồn gốc của proof of authority, để hệ thống có thể xác minh đúng người đã ký phê duyệt một hành động.
Manifest — Một blueprint file mô tả nội dung của một gói smart-contract và cách xuất bản nó lên mạng.
Công việc đổ về đâu
63 file: từ chối resource-operation và validation
52 file: manifest builder và projection tại thời điểm construction
38 file: gộp test và guest scaffold trong repo
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 4 · ~tháng 1 trên 5 · 18%. Từ ngày đầu: 4.003 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-08-31