Ранее: flightofthefox усилил VM, чтобы отбрасывать некорректные конструкции на этапе сборки, формализовал vaults и proofs, и был в процессе работы над путями предъявления proof и авторизации.
На этой неделе сеть Radix подверглась серьёзному эксплойту на уровне VM, что вызвало шок в сообществе. flightofthefox сохранил фокус на коде: построил первую настоящую систему сборки мусора в сети и ужесточил подписание транзакций — при этом прозрачно рассказав о защите ресурса Hyperscale и набросав, как могла бы выглядеть будущая миграция.
19
-95% к прошлой неделе
коммитов
+4.1k −711
-80% к прошлой неделе
строк изменено
Коммиты / день
пик 18/день · 2/7 активных дней
Динамика
Строк изменено / неделя
последние 8 нед.
95% Rust2% Docs2% Specs1% Config
Что построил flightofthefox
Недостижимое состояние — очищено
flightofthefox построил систему сборки мусора: nullifiers отслеживают состояние, до которого ничего не может добраться, сгруппированное по бакетам истечения — так каждый блок удаляет ровно то, что пора. Теперь сеть может автоматически освобождать хранилище.
→ смотрите «The Library» на hyperscale.rsИнтенты объявляют свою сеть
Теперь интенты транзакций несут подписанные заголовки, указывающие, для какой сети они предназначены и как долго действительны — это останавливает replay между сетями и сужает временное окно каждого интента до минимально возможного.
→ смотрите «The Journey» на hyperscale.rsГлавное
Главное изменение
Substate sweep даёт сети первую настоящую сборку мусора — автоматическое отслеживание и удаление состояния, до которого больше ничто не может добраться.
Что дальше
Вероятно дальше: завершение путей подписания интентов и валидации сети, а также интеграция substate sweep в жизненный цикл исполнения шарда.
Услышано в чате
Настроение: Взлом сети Radix доминировал во всех обсуждениях: шли споры о перезапуске против миграции, а flightofthefox прозрачно ликвидировал XRD для защиты ресурса Hyperscale.
“сложно hyperscale'ить, когда ты бездомный”
— flightofthefox, в Telegram сообщества
flightofthefox объяснил
Шардинг локализует сбои
Остановка одного шарда не влияет на остальные, так что влияние на liveness локализовано. Длительные сбои фиксируются beacon chain, который при необходимости ротирует весь коммит.
Миграция на Xi'an
Нужно сдампить состояние Babylon на заранее определённой эпохе, трансформировать его и загрузить в генезис Xi'an — так же, как при переходе Olympia to Babylon. Сложность в том, что контракты требуют перекомпиляции.
Сначала дизайн VM
Абсолютный приоритет номер один — построить оптимальный VM, идеально подходящий для Hyperscale и шардинга. Примитивы, оставшиеся от Scrypto, сохранены, потому что идеи были действительно удачными.
Ограничения формальной верификации
Вы верифицируете небольшие модели на специализированных языках, а не весь код. Это не серебряная пуля, но зафиксированные инварианты делают баги гораздо менее вероятными.
Концепция недели
The Library— Переезд, который никогда не наступитБольшая часть работы на этой неделе ушла на механизм очистки дерева состояния — отслеживание, индексация и удаление состояния, до которого больше ничто не может добраться.
hyperscale.rs/library Жаргон — простыми словами
Nullifier — Маркер, с помощью которого система отслеживает состояние, которое в итоге должно быть удалено, как только оно становится недостижимым.
Substate sweep — Автоматическая сборка мусора в сети: поиск и удаление записей состояния, до которых больше ничто не может добраться.
Expiry bucket — Способ группировки элементов состояния по высоте блока, на которой они должны быть очищены, чтобы каждый блок обрабатывал их эффективно.
Куда легла работа
хранение substate sweep и nullifier
подписание интентов и валидация сети
структуры данных nullifier и sweep
Справка — карта концепций, дорожная карта и ссылки▾
Полная картина
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.
Путь к мейннету
✓ M1
Adaptive Sharding
~4 mo
Сейчас: Milestone 2 · Radix Engine — Неделя 5 · ~месяц 1 из 5. С первого дня: 4 023 коммитов — один разработчик, полностью публично.
Ссылки
Есть вопросы? flightofthefox всегда рад обсудить в Telegram сообщества.
Написано ИИ по публичным коммитам, чату сообщества и hyperscale.rs — возможны ошибки. · создано 2026-09-07