В прошлом выпуске: flightofthefox только что закрыл редкую уязвимость двойного commit в beacon и подтвердил исправление в пяти новых формальных моделях, охватывающих straddlers, cross-shard commit и сам двойной commit.
На этой неделе работа над формальными доказательствами резко расширилась: flightofthefox построил совершенно новую модель Quint, которая проходит весь жизненный цикл reshape от начала до конца. Параллельно с этим shuffle validator'ов получил первый полноценный анализ безопасности на фоне атак, а симулятор пополнился свежей порцией жёстких сетевых сценариев. Код beacon и shard продолжает укрепляться — несколько фрагментов данных safe-vote и ratification теперь хранятся надёжно и долговременно.
55
-33% к прошлой неделе
коммитов
+13k −2.3k
-8% к прошлой неделе
строк изменено
34+
дней подряд с коммитами
Коммиты / день
пик 16/день · 6/7 активных дней
Динамика
Строк изменено / неделя
последние 8 нед.
72% Rust12% Config12% Docs4% Specs
Что построил flightofthefox
Model F проходит весь путь reshape
flightofthefox построил новую модель Quint — «Model F» — которая доказывает весь жизненный цикл разделения или слияния shard'ов: путь merge, передачу ready-signal, двойники draw-seed и даже случай неограниченного ready signal. Это превращает обещания дизайна reshape в проверяемую математику.
→ смотрите «The Proof» на hyperscale.rsThe Lottery проходит проверку на атаки
Логика shuffle validator'ов была помещена под Monte Carlo-микроскоп с добавлением адаптивного атакующего в худшем случае. Отклонения были измерены и задокументированы, так что случайное назначение комитета теперь имеет опубликованное обоснование безопасности, а не просто оптимистичные заявления.
→ смотрите «The Lottery» на hyperscale.rsThe Crash Lab обрастает новыми кошмарами
В симулятор добавили несколько свежих сценариев partition и Byzantine — пул beacon, зависающий во время partition, разрыв между shard'ами, повторное присоединение фрагментов, восстановление при точном кворуме, медленный proposer и устаревший parent. В The Crash Lab теперь стало ещё больше способов намеренно сломать сеть.
→ смотрите «The Crash Lab» на hyperscale.rsГлавное
Главное изменение
Новая модель Quint теперь механически доказывает, что весь жизненный цикл reshape — разделения, слияния, ready signal и укомплектование — безопасен с точки зрения формального анализа.
Что дальше
Скорее всего дальше: логика shuffle validator'ов получит продакшен-обвязку, теперь, когда математика безопасности и сценарии симулятора ложатся на место.
Услышано в чате
Настроение: На этой неделе в чате доминируют обсуждения DAO и основной команды — кто должен управлять Radix, истечение контрактов маркет-мейкеров без продления в перспективе и небольшой побочный тред о том, как превратить эти еженедельные отчёты в
“завершение roadmap обусловлено только тем, что requisite fee будет уплачен (а сами монеты будут иметь реальную ликвидную ценность). если DAO выполнит свою часть сделки, я выполню свою.”
— flightofthefox, в Telegram сообщества
Концепция недели
The Proof— Формальная, математическая верификацияModel F — главное событие недели: единая модель Quint, которая механизирует всю историю reshape — разделения, слияния, ready signal, укомплектование — превращая дизайн в доказуемую математику.
hyperscale.rs/proof Жаргон — простыми словами
Monte Carlo — Способ стресс-тестирования путём прогона огромного числа случайных испытаний и наблюдения за закономерностями.
Byzantine — Описывает участника сети, который намеренно ведёт себя некорректно или отправляет ложные данные.
Adaptive adversary — Атакующий в худшем случае, который наблюдает за происходящим и на лету меняет стратегию, чтобы нанести максимальный ущерб.
Куда легла работа
данные ratification и safe-vote в beacon теперь хранятся надёжно и долговременно
хранение fork-safety, область header, ожидание ready-signal
новые сценарии partition и Byzantine, чистка harness
Справка — карта концепций, дорожная карта и ссылки▾
Полная картина
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.
Путь к мейннету
Сейчас: Milestone 1 · Adaptive Sharding — Неделя 11 · ~месяц 3 из 4 · 65%. С первого дня: 2 342 коммитов — один разработчик, полностью публично.
Ссылки
Есть вопросы? flightofthefox всегда рад обсудить в Telegram сообщества.
Написано ИИ по публичным коммитам, чату сообщества и hyperscale.rs — возможны ошибки. · создано 2026-07-13