Sebelumnya: flightofthefox memperluas pembuktian formal dengan Model F yang mencakup siklus reshape penuh, menjalankan analisis Monte Carlo adversarial pada pengacakan validator, dan memindahkan struktur safe-vote dan ratifikasi ke penyimpanan yang tahan lama.
Kalau minggu lalu soal membuktikan matematika reshape, minggu ini soal membuat shard bertahan dari kondisi terburuk. flightofthefox membangun seluruh sistem halt-recovery — mekanisme untuk mendeteksi shard yang membeku, menggambar ulang komitenya, dan menghidupkannya kembali tanpa kehilangan atau menggandakan satu transaksi pun. Minggu yang padat dan berat dengan 60 commit nyaris menyentuh setiap bagian codebase.
60
+9% vs minggu lalu
commit
+12k −1.8k
-10% vs minggu lalu
baris berubah
Commit / hari
puncak 18/hari · 7/7 hari aktif
Momentum
Baris berubah / minggu
8 minggu terakhir
89% Rust4% Docs4% Specs3% Config
Apa yang dibangun flightofthefox
Shard yang menyembuhkan dirinya sendiri
flightofthefox membangun pipeline halt-recovery lengkap: mendeteksi shard yang macet, menggambar ulang seluruh komitenya, menjembatani consensus via parent yang terbukti, dan membekukan transaksi cross-shard sampai shard aman kembali.
→ lihat “The Will” di hyperscale.rsBeacon menghukum diam, memberi imbalan pada yang baru-baru ini aktif
Beacon kini men-jail validator yang menahan proposal randomness, memberi bobot pada re-sample komite berdasarkan seberapa baru setiap validator bertugas, dan mengeluarkan anggota dengan masa tugas terpanjang di setiap shuffle — menjaga agar undian tetap adil dan hidup.
→ lihat “The Lottery” di hyperscale.rsRandomness via folding, dibuktikan dengan matematika
Setiap shard kini mempublikasikan per-block randomness reveal yang difolding ke dalam randomness epoch — benih untuk pengundian komite. Model Quint baru membuktikan bahwa fold tersebut benar.
→ lihat “The Proof” di hyperscale.rsIntinya
Perubahan paling menonjol
Sistem halt-recovery lengkap kini memungkinkan shard yang membeku dideteksi, diisi ulang, dan dipulihkan tanpa kehilangan atau menggandakan transaksi cross-shard.
Apa selanjutnya
Kemungkinan berikutnya: menghubungkan logika pengacakan validator ke production sekarang setelah halt recovery dan manajemen komite beacon sudah berjalan.
Terdengar di obrolan
Suasana: Diskusi komunitas soal visibilitas di X dan situs radix.wiki, plus drama off-topic yang dihapus oleh mod. flightofthefox menjelaskan penamaan consensus dan menekankan pentingnya menggabungkan simula
“Kayaknya kita lagi punya seminggu tiap 2 hari 😅”
— flightofthefox, di Telegram komunitas
Konsep minggu ini
The Will— Wasah shard yang matiInti minggu ini adalah memberi shard yang mati jalan kembali yang bersih: mendeteksi kebuntuan, membekukan pekerjaan cross-shard, membangun ulang komite, dan memastikan straddler diselesaikan via fence — bukan lewat keberuntungan.
hyperscale.rs/testament Jargon, dijelaskan
Halt recovery — Proses mendeteksi shard yang membeku, menetapkan komite baru, dan mengembalikannya online tanpa kehilangan transaksi.
Randomness reveal — Nilai yang dipublikasikan setiap shard setiap block dan dicampur menjadi benih tak terduga untuk pengundian komite berikutnya.
Fence freeze — Menghentikan semua transaksi cross-shard yang melibatkan shard yang halt sampai nasibnya dipastikan.
Ke mana pekerjaan bermuara
pipeline halt-recovery dan pembangunan ulang komite
struktur data recovery dan tipe fence
jailing, pembobotan recency, batas komite
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 12 · ~bulan 3 dari 4 · 71%. Sejak hari pertama: 2.402 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-20