Ранее: flightofthefox переработал внутренности VM — формальные макеты компонентов, идентичность ресурсов и выборку записей shard по каждому узлу — продвигаясь к паритету функционала с Babylon.
На этой неделе шла глубокая и кропотливая работа по усилению VM: flightofthefox заставил Radix Engine отклонять некорректные конструкции на каждом этапе, формализовал описание vaults и ресурсов, а также реструктурировал большие объёмы кода в более чистые модули. В сообществе развернулась живая дискуссия о формальной верификации и приватности, показавшая, насколько сильно философия тестирования-превыше-всего находит отклик в проекте.
349
-21% к прошлой неделе
коммитов
+17k −6.9k
-44% к прошлой неделе
строк изменено
Коммиты / день
пик 134/день · 5/7 активных дней
Динамика
Строк изменено / неделя
последние 8 нед.
79% Rust18% Config1% Docs1% Specs
Что построил flightofthefox
VM учится говорить «нет»
Десятки commit-ов заставляют движок отклонять некорректные входные данные — дублирующиеся поля, частично применённые изменения supply, невалидные формы — на этапе сборки, а не падать в рантайме, делая всю систему надёжнее по построению.
→ смотрите «The System» на hyperscale.rsVaults и ресурсы обретают форму
Теперь vaults — это именованные поля состояния с явными парами mint-burn, изменения supply должны применяться целиком или не применяться вовсе, а номиналы токенов жёстко привязаны к своим ресурсам — это даёт токенной системе точную и проверяемую структуру.
→ смотрите «The System» на hyperscale.rsProofs получают provenance и структуру
Proofs авторизации теперь несут отслеживаемый provenance, пороговая подписка получает формальный путь предъявления, а badge-gating привязывается к доказательствам уровня протокола — делая контроль доступа проверяемым, а не предполагаемым.
→ смотрите «The Journey» на hyperscale.rsГлавное
Главное изменение
Radix Engine теперь отклоняет огромный спектр невалидных конструкций — плохие формы, дублирующиеся поля, частично применённые изменения токенов — ещё до запуска кода, превращая ошибки смарт-контрактов в проблему времени сборки, а не рантайм-крэш.
Что дальше
Вероятно дальше: продолжение связывания операций с ресурсами, таких как minting, burning и перемещения vaults, с усиленным VM, а также завершение путей предъявления proof-ов и авторизации, которые явно находятся в процессе.
Услышано в чате
Настроение: В чате активно обсуждали формальную верификацию после того, как заговорили об ошибке в Zcash, а flightofthefox объяснял, как могли бы работать privacy relays, и отметил, что пока не брался за платёж-админку M1 — слишком занят строительством.
“чем лучше надёжное тестирование интегрировано с самого начала — тем больше это раскрывает возможность двигаться на умопомрачительной скорости — и двигаться с уверенностью”
— flightofthefox, в Telegram сообщества
Концепция недели
The System— Разделяй работу, а не мирПочти каждый commit на этой неделе углублялся в базовую архитектуру Radix Engine — уровень исполнения, на котором работает каждый смарт-контракт — усиливая его систему типов, модель ресурсов и авторизацию против целых классов ошибок ещё до того, как они могут возникнуть.
hyperscale.rs Жаргон — простыми словами
Vault — Именованное поле внутри компонента смарт-контракта, хранящее определённый вид токенов и отслеживающее, сколько этого ресурса в нём содержится.
Provenance — Запись о том, откуда взялся proof авторизации, чтобы система могла проверить, что нужный человек подписал действие.
Manifest — Файл-чертёж, описывающий содержимое пакета смарт-контракта и то, как он должен быть опубликован в сеть.
Куда легла работа
63 файла: отказы и валидация resource-operation
52 файла: manifest builder и проекции на этапе сборки
38 файлов: консолидация тестов и in-repo guest scaffold
Справка — карта концепций, дорожная карта и ссылки▾
Полная картина
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 — Неделя 4 · ~месяц 1 из 5 · 18%. С первого дня: 4 003 коммитов — один разработчик, полностью публично.
Ссылки
Есть вопросы? flightofthefox всегда рад обсудить в Telegram сообщества.
Написано ИИ по публичным коммитам, чату сообщества и hyperscale.rs — возможны ошибки. · создано 2026-08-31