Anteriormente: flightofthefox reforçou a VM para rejeitar construções inválidas em tempo de build, formalizou vaults e provas, e estava no meio do trabalho nos caminhos de apresentação de prova e autorização.
Esta semana a rede Radix sofreu um grande exploit em nível de VM, enviando ondas de choque pela comunidade. flightofthefox manteve o foco no código, construindo o primeiro sistema real de garbage-collection da rede e apertando a assinatura de transações — enquanto era transparente sobre a proteção da runway da Hyperscale e esboçando como uma futura migração funcionaria.
19
-95% vs semana passada
commits
+4.1k −711
-80% vs semana passada
linhas alteradas
0
dias seguidos com commits
Commits / dia
pico 18/dia · 2/7 dias ativos
Ritmo
Linhas alteradas / semana
últimas 8 semanas
95% Rust2% Docs2% Specs1% Config
O que flightofthefox construiu
Estado inalcançável, limpo
flightofthefox construiu um sistema de garbage-collection: nullifiers rastreiam estado que nada consegue alcançar, agrupados por expiry buckets para que cada bloco desative exatamente o que está vencido. A rede agora pode reivindicar armazenamento automaticamente.
→ veja “The Library” em hyperscale.rsIntents declaram sua rede
Intents de transação agora carregam headers assinados que nomeiam para qual rede são e por quanto tempo são válidas — parando replay entre redes e apertando a janela de tempo de cada intent para o limite mais restrito.
→ veja “The Journey” em hyperscale.rsResumo da ópera
Mudança de destaque
O substate sweep dá à rede seu primeiro garbage collection real — rastreando e removendo automaticamente estado que nada mais alcança.
O que vem por aí
Provável próximo: finalizar os caminhos de assinatura de intent e validação de rede, e integrar o substate sweep no ciclo de vida de execução do shard.
Ouvido no chat
O clima: O hack à rede Radix dominou toda a conversa, com debate sobre relançamento vs. migração e flightofthefox liquidando XRD de forma transparente para proteger a runway da Hyperscale.
“difícil fazer hyperscale quando você está sem morada”
— flightofthefox, no Telegram da comunidade
flightofthefox explicou
Sharding localiza falhas
Um shard parando não afeta os outros, então o impacto na liveness é localizado. Interrupções prolongadas são notadas pela beacon chain, que rotaciona todo o comitê, se necessário.
Migração para Xi'an
Você faria dump do estado de Babylon numa epoch predeterminada, transformá-lo, e carregá-lo no genesis de Xi'an — igual a Olympia para Babylon. A parte difícil é que os contratos precisam de recompilação.
Design da VM vem primeiro
A prioridade absoluta número um é construir uma VM ótima perfeitamente adequada à Hyperscale e ao sharding. Primitivas mantidas do Scrypto estão lá porque as ideias eram genuinamente boas.
Limites da verificação formal
Você verifica modelos menores em linguagens especializadas, não o código completo. Não é uma bala de prata, mas ter invariantes escritos torna bugs muito menos prováveis.
O conceito da semana
The Library— A mudança que nunca aconteceA maior parte desta semana construiu a maquinaria de limpeza da árvore de estado — rastreando, indexando e removendo estado que nada mais alcança.
hyperscale.rs/library Jargão, decifrado
Nullifier — Um marcador que o sistema usa para rastrear estado que eventualmente deve ser removido, uma vez que não está mais alcançável.
Substate sweep — O garbage collection automático da rede: encontrar e remover entradas de estado que nada mais consegue alcançar.
Expiry bucket — Uma forma de agrupar itens de estado pela altura do bloco em que devem ser limpos, para que cada bloco os processe de forma eficiente.
Onde o trabalho aterrissou
substate sweep e armazenamento de nullifier
assinatura de intent e validação de rede
estruturas de dados de nullifier e sweep
Referência — mapa de conceitos, roteiro e links▾
O quadro completo
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.
O caminho até a mainnet
✓ M1
Adaptive Sharding
~4 mo
Agora: Milestone 2 · Radix Engine — Semana 5 · ~mês 1 de 5 · 23%. Desde o primeiro dia: 4.023 commits — um único desenvolvedor, totalmente em público.
Links
Dúvidas? flightofthefox está sempre feliz em conversar no Telegram da comunidade.
Escrito por IA a partir de commits públicos, do chat da comunidade e de hyperscale.rs — pode conter erros. · gerado 2026-09-07