Ранее: flightofthefox расширил формальные доказательства моделью Model F, охватывающей весь жизненный цикл reshape, провёл состязательный анализ методом Монте-Карло для перемешивания валидаторов и перенёс структуры safe-vote и ratification в durable.
Если на прошлой неделе речь шла о доказательстве математики reshape, то на этой — о том, чтобы шарды выживали в худших условиях. flightofthefox построил целую систему halt-recovery — механизм обнаружения замёрзшего шарда, пересборки его комитета и возвращения к жизни без потери или дублирования ни одной транзакции. Выдалась насыщенная неделя: 60 коммитов почти по всему коду.
60
+9% к прошлой неделе
коммитов
+12k −1.8k
-10% к прошлой неделе
строк изменено
34+
дней подряд с коммитами
Коммиты / день
пик 18/день · 7/7 активных дней
Динамика
Строк изменено / неделя
последние 8 нед.
89% Rust4% Docs4% Specs3% Config
Что построил flightofthefox
Шарды, которые лечат себя сами
flightofthefox построил полный пайплайн halt-recovery: обнаружение зависших шардов, полная пересборка их комитета, связывание консенсуса через проверенный родительский блок и заморозка кросс-шард транзакций до тех пор, пока шард снова не станет безопасным.
→ смотрите «The Will» на hyperscale.rsBeacon наказывает за молчание и вознаграждает за свежесть
Теперь beacon отправляет в jail валидаторов, утаивающих предложения случайности, взвешивает пересэмплинг комитета по тому, как давно каждый валидатор дежурил, и исключает самого «засидевшегося» участника при каждом перемешивании — чтобы лотерея оставалась честной и живой.
→ смотрите «The Lottery» на hyperscale.rsСлучайность через свёртку, доказанная математикой
Теперь каждый шард публикует per-block randomness reveal, который сворачивается в общий seed случайности эпохи — основу для жеребьёвки комитета. Новая модель Quint доказывает корректность свёртки.
→ смотрите «The Proof» на hyperscale.rsГлавное
Главное изменение
Полноценная система halt-recovery теперь позволяет обнаружить замёрзший шард, переназначить комитет и восстановить работу без потери или дублирования кросс-шард транзакций.
Что дальше
Ожидается дальше: подключение логики перемешивания валидаторов в продакшен теперь, когда halt recovery и управление комитетом в beacon уже на месте.
Услышано в чате
Настроение: Обсуждение в сообществе вокруг видимости в X и на сайте radix.wiki, плюс не по теме разразилась драма, которую подчистили модераторы. flightofthefox прояснил именование в консенсусе и подчеркнул ценность сочетания симуляций с формальными доказательствами.
“Похоже, у нас теперь неделя каждые 2 дня 😅”
— flightofthefox, в Telegram сообщества
Концепция недели
The Will— Завещание мёртвого шардаСуть этой недели — дать мёртвым шардам чистый путь обратно: обнаружить зависание, заморозить кросс-шард работу, пересобрать комитет и проследить, чтобы застрявшие транзакции разрешались по правилам забора, а не на удачу.
hyperscale.rs/testament Жаргон — простыми словами
Halt recovery — Процесс обнаружения замёрзшего шарда, назначения ему нового комитета и возвращения в строй без потери транзакций.
Randomness reveal — Значение, которое каждый шард публикует в каждом блоке и которое затем смешивается, создавая непредсказуемый seed для следующей жеребьёвки комитета.
Fence freeze — Приостановка всех кросс-шард транзакций с участием остановленного шарда до выяснения его участи.
Куда легла работа
пайплайн halt-recovery и пересборка комитета
структуры данных для восстановления и типы забора
jailing, взвешивание по свежести, ограничения комитета
Справка — карта концепций, дорожная карта и ссылки▾
Полная картина
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 — Неделя 12 · ~месяц 3 из 4 · 71%. С первого дня: 2 402 коммитов — один разработчик, полностью публично.
Ссылки
Есть вопросы? flightofthefox всегда рад обсудить в Telegram сообщества.
Написано ИИ по публичным коммитам, чату сообщества и hyperscale.rs — возможны ошибки. · создано 2026-07-20