Önceki hafta: flightofthefox, beacon'un nadir görülen çift commit güvenlik açığını kapatmış ve straddlers, çapraz shard commit ve çift commit'in kendisini kapsayan beş yeni formal modelde düzeltmeyi kanıtlamıştı.
Bu hafta formal ispat çalışmaları büyük ölçüde genişledi: flightofthefox, tüm reshape yaşam döngüsünü baştan sona adım adım ele alan yepyeni bir Quint modeli kurdu. Bunun yanında validator karıştırma mantığı ilk proper adversarial güvenlik analizini aldı ve simulator kötü niyetli ağ senaryolarından yeni bir grup eklendi. Beacon ve shard kodu sıkılaşmaya devam ediyor; safe-vote ve ratification verilerinin bir kısmı artık dayanıklı şekilde saklanıyor.
55
-33% geçen haftaya göre
commit
+13k −2.3k
-8% geçen haftaya göre
değişen satır
Commit / gün
zirve 16/gün · 6/7 gün aktif
Momentum
Değişen satır / hafta
son 8 hafta
72% Rust12% Config12% Docs4% Specs
flightofthefox ne inşa etti
Model F tüm reshape hikayesini baştan sona işliyor
flightofthefox, bir shard split veya merge'in tüm yaşam döngüsünü ispatlayan yeni bir Quint modeli kurdu: merge yolu, ready-signal geçişi, draw-seed ikizleri ve hatta bound olmamış bir ready signal durumu. Bu, reshape tasarım vaatlerini kontrol edilebilir matematiğe dönüştürüyor.
→ hyperscale.rs'te “The Proof” konseptine bakınThe Lottery adversarial testten geçiyor
Validator karıştırma mantığı, adaptive worst-case saldırgan da eklenerek Monte Carlo mikroskobu altına alındı. Sapmalar ölçülüp kaydedildi; böylece rastgele komite ataması artık sadece umut dolu iddialar yerine yayınlanmış bir güvenlik analizine sahip.
→ hyperscale.rs'te “The Lottery” konseptine bakınThe Crash Lab'a yeni kabuslar ekleniyor
Simulator'e bir dizi taze partition ve Byzantine senaryosu eklendi: partition sırasında takılan beacon pool, shard'lar arası bağ kopması, fragment rejoin, exact-quorum heal, yavaş proposer ve eski parent. The Crash Lab artık bilerek ağı bozmanın daha fazla yoluna sahip.
→ hyperscale.rs'te “The Crash Lab” konseptine bakınÖzetin özeti
Öne çıkan değişiklik
Yeni bir Quint modeli artık mekanik olarak tüm reshape yaşam döngüsünü ispatlıyor: split, merge, ready signal ve staffing kombinasyonu formal analiz altında güvenli.
Sırada ne var
Muhtemelen sıradaki: güvenlik matematiği ve simulator senaryoları otururken validator karıştırma mantığına production tarafı bağlantıları çekilir.
Sohbette duyulanlar
Hava: Bu hafta sohbeti DAO ve core-team konuşmaları domine ediyor: Radix'i kim yönetmeli, yenilenmesi gözükmeyen market-maker kontratları ve bu haftalık raporları dönüştürme üzerine küçük bir yan konu.
“roadmap'i bitirmek sadece gerekli fee ödenmesine (ve coin'lerin gerçekten likit değer taşımasına) bağlı. DAO kendi sözünü tutarsa ben de tutarım.”
— flightofthefox, topluluk Telegram'ında
Haftanın konsepti
The Proof— Formal, matematiksel doğrulamaModel F bu haftanın merkezi: split, merge, ready signal, staffing dahil tüm reshape hikayesini mekanikleştiren tek bir Quint modeli — tasarımı ispatlanabilir matematiğe dönüştürüyor.
hyperscale.rs/proof Jargon, çözüldü
Monte Carlo — Bir şeyi devasa sayıda rastgele deneme yaparak ve örüntüleri izleyerek stres testine tabi tutma yöntemi.
Byzantine — Ağda kasıtlı olarak kötü davranan veya yalan bilgi gönderen katılımcıyı tanımlar.
Adaptive adversary — Olanları izleyip en çok zarar verecek stratejiyi anında değiştiren worst-case saldırgan.
Çalışma nereye gitti
beacon ratification ve safe-vote register'ları dayanıklı şekilde saklandı
fork-safety storage, header scope, ready-signal dwell
yeni partition ve Byzantine senaryoları, harness temizliği
Referans — konsept haritası, yol haritası ve bağlantılar▾
Büyük resim
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.
Mainnet'e giden yol
Şimdi: Milestone 1 · Adaptive Sharding — Hafta 11 · 4 ayın 3. ayı · %65. İlk günden beri: 2.342 commit — tek geliştirici, tamamen halka açık.
Bağlantılar
Sorunuz mu var? flightofthefox topluluk Telegram'ında tartışmaktan her zaman memnuniyet duyar.
Halka açık commit'ler, topluluk sohbeti ve hyperscale.rs kaynaklarından yapay zekâ ile yazıldı — hata içerebilir. · oluşturulma 2026-07-13