Anteriormente: flightofthefox tinha acabado de fechar a brecha de segurança rara de double-commit do beacon e provado a correção em cinco novos modelos formais cobrindo straddlers, cross-shard commit e o próprio commit duplo.
Esta semana, o trabalho de provas formais se expandiu drasticamente: flightofthefox construiu um modelo Quint totalmente novo que percorre todo o ciclo de vida do reshape de ponta a ponta. Junto a isso, o shuffling de validadores recebeu sua primeira análise de segurança adversarial de verdade, e o simulador ganhou um novo lote de cenários de rede bem complicados. O código do beacon e dos shards continua sendo aperfeiçoado, com várias peças de dados de safe-vote e ratificação agora armazenadas de forma durável.
55
-33% vs semana passada
commits
+13k −2.3k
-8% vs semana passada
linhas alteradas
34+
dias seguidos com commits
Commits / dia
pico 16/dia · 6/7 dias ativos
Ritmo
Linhas alteradas / semana
últimas 8 semanas
72% Rust12% Config12% Docs4% Specs
O que flightofthefox construiu
O Model F percorre toda a história do reshape
flightofthefox construiu um novo modelo Quint — 'Model F' — que prova todo o ciclo de vida de um split ou merge de shard: o caminho de merge, o hand-off do ready-signal, os gêmeos de draw-seed e até mesmo o caso de um ready signal unbound. Isso transforma as promessas de design do reshape em matemática verificável.
→ veja “The Proof” em hyperscale.rsThe Lottery recebe testes adversariais
A lógica de shuffling de validadores foi colocada sob um microscópio de Monte Carlo, com um atacante adaptativo de pior caso adicionado. Desvios foram medidos e registrados, então a atribuição aleatória de comitês agora tem um caso de segurança publicado em vez de apenas promessas esperançosas.
→ veja “The Lottery” em hyperscale.rsThe Crash Lab ganha novos pesadelos
Vários cenários novos de partição e Byzantine chegaram ao simulador — um pool de beacon que trava durante uma partição, separação entre shards, rejoin de fragmento, heal com quorum exato, um proposer lento e um pai stale. The Crash Lab agora tem mais maneiras de quebrar a rede de propósito.
→ veja “The Crash Lab” em hyperscale.rsResumo da ópera
Mudança de destaque
Um novo modelo Quint agora prova mecanicamente que todo o ciclo de vida do reshape — splits, merges, ready signals e staffing — é seguro sob análise formal.
O que vem por aí
Provavelmente o próximo: a lógica de shuffling de validadores recebe a fiação do lado de produção, agora que a matemática de segurança e os cenários do simulador estão chegando.
Ouvido no chat
O clima: Bate-papos da DAO e da core-team dominam o chat esta semana — quem deveria administrar a Radix, contratos de market-maker expirando sem renovação à vista e uma pequena thread paralela sobre transformar esses relatórios semanais em
“concluir o roadmap é apenas condicional ao pagamento da taxa necessária (e às moedas realmente terem valor líquido). se a DAO cumprir a sua parte do acordo, eu cumpro a minha.”
— flightofthefox, no Telegram da comunidade
O conceito da semana
The Proof— Verificação formal e matemáticaO Model F é o grande destaque da semana: um modelo Quint único que mecaniza toda a história do reshape — splits, merges, ready signals, staffing — transformando o design em matemática provável.
hyperscale.rs/proof Jargão, decifrado
Monte Carlo — Uma forma de testar a resistência de algo rodando um número enorme de tentativas aleatórias e observando os padrões.
Byzantine — Descreve um participante em uma rede que está se comportando de forma incorreta deliberadamente ou espalhando mentiras.
Adaptive adversary — Um atacante de pior caso que observa o que está acontecendo e muda sua estratégia em tempo real para causar o máximo de dano.
Onde o trabalho aterrissou
registros de ratificação do beacon e de safe-vote armazenados de forma durável
armazenamento de fork-safety, escopo do header, dwell do ready-signal
novos cenários de partição e Byzantine, limpeza do harness
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 11 · ~mês 3 de 4 · 65%. Desde o primeiro dia: 2.342 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-13