Anteriormente: flightofthefox expandiu provas formais com o Model F cobrindo o ciclo de vida completo do reshape, rodou análise adversarial de Monte Carlo sobre o shuffle de validators, e moveu estruturas de safe-vote e ratification para durable.
Se a semana passada foi sobre provar a matemática do reshape, esta semana foi sobre fazer shards sobreviverem ao pior. flightofthefox construiu um sistema completo de halt-recovery — a maquinaria para detectar um shard congelado, redesenhar seu comitê e trazê-lo de volta à vida sem perder nem duplicar uma única transação. Foi uma semana grande e densa, com 60 commits em quase todas as partes do codebase.
60
+9% vs semana passada
commits
+12k −1.8k
-10% vs semana passada
linhas alteradas
34+
dias seguidos com commits
Commits / dia
pico 18/dia · 7/7 dias ativos
Ritmo
Linhas alteradas / semana
últimas 8 semanas
89% Rust4% Docs4% Specs3% Config
O que flightofthefox construiu
Shards que se autorrecuperam
flightofthefox construiu um pipeline completo de halt-recovery: detectando shards travados, redesenhando todo o seu comitê, fazendo a ponte do consensus sobre um parent comprovado, e congelando transações cross-shard até que o shard esteja seguro novamente.
→ veja “The Will” em hyperscale.rsBeacon pune o silêncio, recompensa a recência
O beacon agora prende validators que retêm propostas de randomness, pondera re-amostragens de comitê pela recência de serviço de cada validator, e remove o membro com maior mandato a cada shuffle — mantendo a loteria justa e viva.
→ veja “The Lottery” em hyperscale.rsRandomness por folding, comprovado por matemática
Cada shard agora publica um randomness reveal por bloco que é incorporado à randomness compartilhada da epoch — a seed para os sorteios de comitê. Um novo modelo Quint prova que o fold está correto.
→ veja “The Proof” em hyperscale.rsResumo da ópera
Mudança de destaque
Um sistema completo de halt-recovery agora permite que um shard congelado seja detectado, receba um novo comitê e seja restaurado sem perder nem duplicar transações cross-shard.
O que vem por aí
Provável próximo passo: integrar a lógica de validator-shuffling em produção, agora que o halt recovery e o gerenciamento de comitês do beacon estão prontos.
Ouvido no chat
O clima: Discussão da comunidade sobre visibilidade no X e no site radix.wiki, além de um drama off-topic que foi apagado pelos mods. flightofthefox esclareceu a nomenclatura de consensus e reforçou o valor de combinar simula
“Parece que estamos tendo uma semana a cada 2 dias 😅”
— flightofthefox, no Telegram da comunidade
O conceito da semana
The Will— A vontade do shard mortoO coração desta semana foi dar aos shards mortos um caminho limpo de volta: detectar o travamento, congelar o trabalho cross-shard, reconstruir o comitê, e garantir que os straddlers se resolvam pela fence — não por sorte.
hyperscale.rs/testament Jargão, decifrado
Halt recovery — O processo de detectar um shard congelado, atribuir a ele um novo comitê, e trazê-lo de volta online sem perder transações.
Randomness reveal — Um valor que cada shard publica a cada bloco, que é combinado para criar a seed imprevisível para o próximo sorteio de comitê.
Fence freeze — Pausar todas as transações cross-shard envolvendo um shard interrompido até que seu destino seja definido.
Onde o trabalho aterrissou
pipeline de halt-recovery e reconstrução de comitê
estruturas de dados de recovery e tipos de fence
jailing, ponderação por recência, limites de comitê
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
Agora: Milestone 1 · Adaptive Sharding — Semana 12 · ~mês 3 de 4 · 71%. Desde o primeiro dia: 2.402 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-07-20