XI'AN · HYPERSCALE FOR RADIX

Hyperscale Weekly

Tuần #3 · 25–31 tháng 5, 2026 · Milestone 1 · Adaptive Sharding · Tuần 5 · ~tháng 1 trong 4

Chia việc, đừng chia thế giới

TIẾN ĐỘ CỘT MỐC 129%

Tuần trước: flightofthefox đã dựng khung cho beacon crate — chuỗi điều phối chậm theo dõi validator và bản đồ shard — và tái cấu trúc production node theo mô hình thread-per-shard, cùng với The Crash Lab và The Pr

Đây là một tuần bước ngoặt. flightofthefox đã triển khai hệ thống an toàn do compiler ép buộc trên toàn bộ codebase, sao cho các block hoặc vote chưa xác thực không thể vô tình được sử dụng. Anh cũng kết nối hoàn toàn beacon vào production node và thay thế một đường khôi phục cũ bằng một skip flow gọn gàng hơn.

184

-27% so với tuần trước

commit

+15k −11k

+22% so với tuần trước

dòng thay đổi

297

tệp được chạm tới

ngày commit liên tiếp

Commit / ngày

đỉnh 45/ngày · 7/7 ngày hoạt động

Đà tiến

Dòng thay đổi / tuần

8 tuần gần nhất

96% Rust4% Config

flightofthefox đã xây gì

An toàn do compiler ép buộc trên mọi nơi

Một typestate wrapper mới giờ đây ép compiler từ chối bất kỳ code nào cố sử dụng block, vote, hoặc certificate trước khi đã được kiểm tra mật mã học. Dữ liệu chưa xác thực không còn có thể lọt qua vô tình — một lợi thế an toàn cấu trúc sâu sắc cho The Overlap.

→ xem “The Overlap” trên hyperscale.rs

Beacon thức dậy

Beacon đã được kết nối hoàn toàn vào production node: sync, gossip, fetch pools, timers, và state machine SPC đều đã online. Một đường 'recovery' cũ đã được nghỉ hưu thay bằng một skip flow đơn giản hơn cho các block bị bỏ lỡ.

→ xem “The Census” trên hyperscale.rs

The Crash Lab mọc nanh

Mô phỏng đã tích hợp các kịch bản multi-coordinator, Byzantine, và topology-change, cộng thêm các bài test từ chối chữ ký cross-network, nhờ đó một phạm vi rộng hơn các cuộc tấn công giờ đây có thể được phát lại byte-to-byte trong The Crash Lab.

→ xem “The Crash Lab” trên hyperscale.rs

Điều cốt lõi

Thay đổi nổi bật

Một wrapper 'verified' do compiler ép buộc giờ đây bao phủ gần như mọi loại consensus, khiến cho việc tin tưởng một block, vote, hoặc certificate chưa xác thực là bất khả thi về mặt cấu trúc.

Tiếp theo là gì

Khả năng tiếp theo: điều hành một epoch transition đầy đủ của beacon từ đầu đến cuối thông qua simulator, bao gồm skip flow mới.

Nghe được trong chat

Tâm trạng: Tuần khá yên trong chat — flightofthefox cắm mặt vào codebase.

Khái niệm của tuần

The Overlap— Không fork—được chứng minh

Gần như mọi loại consensus giờ đều phải được xác thực mật mã học trước khi compiler cho phép code chạm tới, khiến cho việc dữ liệu chưa xác thực có thể ảnh hưởng đến một quyết định là bất khả thi về mặt cấu trúc. Đây là fork-safety được nướng sẵn vào type system.

hyperscale.rs/overlap

Giải mã thuật ngữ

Typestate — Một coding pattern mà chính type ghi nhận xem một bước đã xảy ra chưa, để compiler từ chối cho bạn sử dụng thứ gì đó trước khi bước đó hoàn tất.

Gossip — Cách các node lan truyền message peer-to-peer, mỗi node truyền tin cho vài neighbour rồi chúng lại truyền tiếp, như một lời đồn.

Unicast — Gửi một message đến một node cụ thể, ngược lại với việc broadcast cho tất cả.

Công việc đổ về đâu

types · The Overlap

typestate wrapper cho các loại consensus đã xác thực

beacon · The Census

kết nối vào node, sync, fetch, skip flow

node

BeaconCoordinator được kết nối vào runner

Tham khảo — bản đồ khái niệm, lộ trình & liên kết▾

Bức tranh toàn cảnh

The System