В прошлом выпуске: flightofthefox обернул практически все типы консенсуса в тег «verified», гарантируемый компилятором, и связал beacon с нодой сквозным образом.
На этой неделе flightofthefox довёл дисциплину verified-tag вплоть до уровня хранилища и воспроизвёл в симуляторе реальный форк шардов-консенсуса — а затем устранил его. Теперь топология на основе timestamp отвечает на вопрос «кто сейчас за главного» для любого момента времени.
86
-53% к прошлой неделе
коммитов
+5.4k −2.8k
-68% к прошлой неделе
строк изменено
22
дней подряд с коммитами
Коммиты / день
пик 18/день · 7/7 активных дней
Динамика
Строк изменено / неделя
последние 8 нед.
Что построил flightofthefox
Хранилище учится говорить verified
Чтение и запись как в хранилище шардов, так и в beacon теперь возвращают «verified»-блоки — сеть типов из прошлой недели tightened так, что ничто недоказанное не может проскочить в персистентное хранилище. Это делает правила безопасности структурными, а не просто процедурными.
→ смотрите «The Overlap» на hyperscale.rsЧасы становятся опрашиваемыми
Новый per-epoch топология-распорядок позволяет любой ноде спросить, какие валидаторы обслуживают шард X в момент T, и получить одинаковый ответ повсюду. ID шардов стали префиксными путями, а комитеты вычисляются на одну эпоху вперёд — концепция «три движка, одни часы» обрела плоть.
→ смотрите «The Clock» на hyperscale.rsШард-консенсус переходит на HotStuff-2
flightofthefox воспроизвёл форк из-за конфликтующих коммитов, вызванный старым правилом vote-unlock, а затем закрыл его с помощью safe-vote правила из HotStuff-2. Раунды теперь увеличиваются с каждым блоком, родительские хеши подписываются, а pacemaker с таймаутом удерживает валидаторы в синхроне.
→ смотрите «The Overlap» на hyperscale.rsГлавное
Главное изменение
Форк из-за конфликтующих коммитов, который мог бы затронуть реальные шарды, теперь воспроизведён в симуляторе и закрыт safe-vote правилом из HotStuff-2.
Что дальше
Далее, скорее всего: полное прохождение перехода эпохи — с новым топология-распорядком и правилом HotStuff-2 — через The Crash Lab от начала до конца.
Концепция недели
The Clock— Три движка, одни часыНовый опрашиваемый по timestamp топология-распорядок — архитектурный центр недели; это конкретная lookup-таблица, благодаря которой концепция «три движка, одни часы» работает для каждой честной ноды каждый раз.
hyperscale.rs/clock Жаргон — простыми словами
HotStuff-2 — Правило голосования в два раунда, делающее математически невозможным коммит конфликтующих блоков честными валидаторами.
Pacemaker — Таймер внутри движка консенсуса, который побуждает все валидаторы переходить к следующему раунду, если блок не появляется вовремя.
Куда легла работа
typestate-обёртки пронизывают десятки файлов
overflow-защита и отбрасывание дублирующих комитетов
safe-vote правило HotStuff-2 и pacemaker с таймаутом
Справка — карта концепций, дорожная карта и ссылки▾
Полная картина
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 — Неделя 6 · ~месяц 1 из 4 · 35%. С первого дня: 2 324 коммитов — один разработчик, полностью публично.
Ссылки
Есть вопросы? flightofthefox всегда рад обсудить в Telegram сообщества.
Написано ИИ по публичным коммитам, чату сообщества и hyperscale.rs — возможны ошибки. · создано 2026-07-09