Sebelumnya: flightofthefox telah menyusun kerangka beacon crate — rantai koordinasi yang lambat yang akan melacak validator dan peta shard — dan membentuk ulang node produksi di sekitar model thread-per-shard, dengan The Crash Lab dan The Pr
Ini adalah pekan titik balik. flightofthefox mendorong sistem keamanan yang ditegakkan compiler ke seluruh codebase, sehingga block atau vote yang belum diverifikasi secara harfiah tidak bisa digunakan tanpa sengaja. Ia juga sepenuhnya menghubungkan beacon ke node produksi dan menggantikan jalur recovery yang lebih lama dengan alur skip yang lebih bersih.
184
-27% vs minggu lalu
commit
+15k −11k
+22% vs minggu lalu
baris berubah
Commit / hari
puncak 45/hari · 7/7 hari aktif
Momentum
Baris berubah / minggu
8 minggu terakhir
Apa yang dibangun flightofthefox
Keamanan yang ditegakkan compiler di mana-mana
Sebuah pembungkus typestate baru kini memaksa compiler untuk menolak kode apa pun yang mencoba menggunakan block, vote, atau sertifikat sebelum diperiksa secara kriptografis. Data yang belum diverifikasi tidak lagi bisa lolos secara tidak sengaja — sebuah kemenangan keamanan struktural yang mendalam untuk The Overlap.
→ lihat “The Overlap” di hyperscale.rsBeacon mulai aktif
Beacon telah sepenuhnya dihubungkan ke node produksi: sync, gossip, fetch pools, timer, dan state machine SPC semuanya aktif. Jalur 'recovery' yang lebih lama telah dihentikan demi alur skip yang lebih sederhana untuk block yang terlewat.
→ lihat “The Census” di hyperscale.rsThe Crash Lab semakin tajam
Simulator telah menyerap skenario multi-coordinator, Byzantine, dan perubahan topologi, ditambah uji penolakan tanda tangan lintas jaringan, sehingga rentang serangan yang lebih luas kini dapat diputar ulang byte demi byte di The Crash Lab.
→ lihat “The Crash Lab” di hyperscale.rsIntinya
Perubahan paling menonjol
Sebuah pembungkus 'verified' yang ditegakkan compiler kini mencakup hampir setiap tipe consensus, menjadikannya secara struktural tidak mungkin untuk mempercayai block, vote, atau sertifikat yang belum diverifikasi.
Apa selanjutnya
Kemungkinan selanjutnya: menjalankan transisi epoch beacon penuh secara end-to-end melalui simulator, termasuk alur skip yang baru.
Terdengar di obrolan
Suasana: Pekan yang sepi di chat — flightofthefox fokus penuh pada codebase.
Konsep minggu ini
The Overlap— Terbukti bebas forkHampir setiap tipe consensus kini harus diverifikasi secara kriptografis sebelum compiler mengizinkan kode untuk menyentuhnya, menjadikannya secara struktural tidak mungkin bagi data yang belum diverifikasi untuk memengaruhi keputusan. Ini adalah keamanan fork yang tertanam dalam sistem tipe.
hyperscale.rs/overlap Jargon, dijelaskan
Typestate — Pola pengkodean di mana tipenya sendiri mencatat apakah suatu langkah telah terjadi, sehingga compiler menolak untuk membiarkan Anda menggunakan sesuatu sebelum langkah tersebut
Gossip — Cara node menyebarkan pesan secara peer-to-peer, masing-masing meneruskan kabar ke beberapa tetangga yang meneruskannya lagi, seperti rumor.
Unicast — Mengirim pesan ke satu node tertentu, kebalikan dari menyiarkan ke semua orang.
Ke mana pekerjaan bermuara
pembungkus typestate untuk tipe consensus yang telah diverifikasi
dihubungkan ke node, sync, fetch, alur skip
node
BeaconCoordinator dihubungkan ke runner
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 — Minggu 5 · ~bulan 1 dari 4 · 29%. Sejak hari pertama: 2.324 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-09