XI'AN · HYPERSCALE FOR RADIX

Hyperscale Weekly

Неделя №3 · 25–31 мая 2026 · Milestone 1 · Adaptive Sharding · Неделя 5 · ~месяц 1 из 4

Раздели работу, а не мир

ПРОГРЕСС ЭТАПА 129%

Ранее: flightofthefox создал каркас для крейта beacon — медленной координационной цепочки, которая будет отслеживать валидаторов и карту шардов — и перестроил production-узел вокруг модели поток-на-шард, вместе с The Crash Lab и The Pr

На этой неделе наступил переломный момент. flightofthefox внедрил систему безопасности на уровне компилятора по всей кодовой базе, поэтому неверифицированные блоки или голоса буквально невозможно использовать случайно. Он также полностью подключил beacon к production-узлу и заменил старый путь восстановления более чистым механизмом skip flow.

184

-27% к прошлой неделе

коммитов

+15k −11k

+22% к прошлой неделе

строк изменено

297

файлов затронуто

дней подряд с коммитами

Коммиты / день

пик 45/день · 7/7 активных дней

Динамика

Строк изменено / неделя

последние 8 нед.

96% Rust4% Config

Что построил flightofthefox

Безопасность на уровне компилятора повсюду

Новый тип-обёртка typestate теперь заставляет компилятор отклонять любой код, который пытается использовать блок, голос или сертификат до их криптографической проверки. Неверифицированные данные больше не могут случайно проскользнуть — глубокая структурная победа в безопасности для The Overlap.

→ смотрите «The Overlap» на hyperscale.rs

Beacon оживает

Beacon был полностью интегрирован в production-узел: синхронизация, gossip, fetch-пулы, таймеры и конечный автомат SPC заработали в полную силу. Старый путь 'recovery' был упразднен в пользу более простого skip flow для пропущенных блоков.

→ смотрите «The Census» на hyperscale.rs

The Crash Lab обретает зубы

Симулятор впитал сценарии с несколькими координаторами, византийскими атаками и изменениями топологии, а также тесты на отклонение подписей между сетями, так что теперь более широкий спектр атак можно воспроизвести байт-в-байт в The Crash Lab.

→ смотрите «The Crash Lab» на hyperscale.rs

Главное

Главное изменение

Обёртка 'verified', контролируемая компилятором, теперь охватывает почти каждый тип consensus, делая структурно невозможным доверие к неверифицированному блоку, голосу или сертификату.

Что дальше

Вероятно дальше: проведение полной эпохальной транзиции beacon end-to-end через симулятор, включая новый skip flow.

Услышано в чате

Настроение: Тихая неделя в чате — flightofthefox с головой ушел в кодовую базу.

Концепция недели

The Overlap— Доказательно без форков

Теперь почти каждый тип consensus-данных должен быть криптографически верифицирован, прежде чем компилятор позволит коду взаимодействовать с ним, делая структурно невозможным влияние неверифицированных данных на принятие решений. Это безопасность от форков, встроенная прямо в систему типов.

hyperscale.rs/overlap

Жаргон — простыми словами

Typestate — Паттерн программирования, при котором сам тип фиксирует, произошел ли определенный шаг, поэтому компилятор не позволит использовать объект до того, как этот шаг будет выполнен.

Gossip — Способ распространения сообщений между узлами peer-to-peer, когда каждый передает новость нескольким соседям, а те передают дальше — как слухи.

Unicast — Отправка сообщения одному конкретному узлу — противоположность трансляции всем сразу.

Куда легла работа

types · The Overlap

обёртки typestate для верифицированных consensus-типов

beacon · The Census

подключен к узлу, синхронизации, fetch, skip flow

node

BeaconCoordinator подключен к runner

Справка — карта концепций, дорожная карта и ссылки▾

Полная картина

The System

The whole sharded design at a glance.