Sebelumnya: flightofthefox baru saja menutup celah keamanan double-commit langka di beacon dan membuktikan perbaikannya dalam lima model formal baru yang mencakup straddlers, cross-shard commit, dan dual commit itu sendiri.
Pekan ini pekerjaan formal-proof berkembang pesat: flightofthefox membangun model Quint baru yang menelusuri seluruh siklus reshape dari awal hingga akhir. Selain itu, validator shuffling mendapatkan analisis keamanan adversarial pertamanya yang layak, dan simulator menerima batch baru skenario jaringan yang brutal. Kode beacon dan shard terus diketatkan, dengan beberapa bagian data safe-vote dan ratifikasi kini tersimpan secara tahan lama.
55
-33% vs minggu lalu
commit
+13k −2.3k
-8% vs minggu lalu
baris berubah
Commit / hari
puncak 16/hari · 6/7 hari aktif
Momentum
Baris berubah / minggu
8 minggu terakhir
72% Rust12% Config12% Docs4% Specs
Apa yang dibangun flightofthefox
Model F menelusuri kisah reshape secara penuh
flightofthefox membangun model Quint baru — 'Model F' — yang membuktikan seluruh siklus split atau merge shard: jalur merge, serah-terima ready-signal, draw-seed twins, dan bahkan kasus ready signal yang unbound. Ini mengubah janji desain reshape menjadi matematika yang dapat diperiksa.
→ lihat “The Proof” di hyperscale.rsThe Lottery mendapat pengujian adversarial
Logika validator-shuffling diuji di bawah mikroskop Monte Carlo, dengan penyerang worst-case adaptif yang ditambahkan. Deviasi diukur dan dicatat, sehingga penugasan komite acak kini memiliki kasus keamanan yang dipublikasikan, bukan sekadar klaim optimis.
→ lihat “The Lottery” di hyperscale.rsThe Crash Lab grows new nightmares
Several fresh partition and Byzantine scenarios landed in the simulator — a beacon pool that stalls during a partition, inter-shard severance, fragment rejoin, exact-quorum heal, a slow proposer, and a stale parent. The Crash Lab now has more ways to break the network on purpose.
→ lihat “The Crash Lab” di hyperscale.rsIntinya
Perubahan paling menonjol
A new Quint model now mechanically proves the entire reshape lifecycle — splits, merges, ready signals, and staffing — is safe under formal analysis.
Apa selanjutnya
Likely next: the validator-shuffling logic gets the production-side wiring, now that the security math and simulator scenarios are landing.
Terdengar di obrolan
Suasana: DAO and core-team chatter dominates the chat this week — who should run Radix, market-maker contracts expiring with no renewal in sight, and a small side thread about turning these weekly reports into
“finishing the roadmap is only conditional on the requisite fee being paid (and the coins themselves actually having liquid value). if the DAO keeps it's half of the bargain, then i'll keep mine.”
— flightofthefox, di Telegram komunitas
Konsep minggu ini
The Proof— Formal, mathematical verificationModel F is the centerpiece of the week: a single Quint model that mechanizes the whole reshape story — splits, merges, ready signals, staffing — turning the design into provable math.
hyperscale.rs/proof Jargon, dijelaskan
Monte Carlo — A way of stress-testing something by running huge numbers of random trials and watching the patterns.
Byzantine — Describes a participant in a network that is deliberately misbehaving or sending lies.
Adaptive adversary — A worst-case attacker that watches what's happening and changes its strategy on the fly to do the most damage.
Ke mana pekerjaan bermuara
beacon ratification and safe-vote registers durably stored
fork-safety storage, header scope, ready-signal dwell
new partition and Byzantine scenarios, harness cleanup
Referensi — peta konsep, peta jalan & tautan▾
Gambaran utuh
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.
Jalan menuju mainnet
Sekarang: Milestone 1 · Adaptive Sharding — Week 11 · ~month 3 of 4 · 65%. Sejak hari pertama: 2.342 commit — satu developer, sepenuhnya terbuka.
Tautan
Ada pertanyaan? flightofthefox selalu senang berdiskusi di Telegram komunitas.
Ditulis oleh AI dari commit publik, obrolan komunitas, dan hyperscale.rs — mungkin mengandung kesalahan. · dibuat 2026-07-13