Anteriormente: flightofthefox tinha acabado de unificar o simulador e a produção num framework compartilhado de cenários de teste, com um orquestrador de reshape limpo conduzindo ambos os runners.
Dando sequência à consolidação de testes da semana passada, flightofthefox focou na segurança e descobriu o maior bug até agora — uma condição rara em que o beacon poderia finalizar a mesma epoch de duas formas diferentes numa divisão de rede. Ele o reproduziu no simulador, fechou-o com um novo caminho de commit ratificado pelo pool, e provou a correção em cinco novos modelos matemáticos. Uma semana marco para a confiabilidade do beacon.
82
-15% vs semana passada
commits
+11k −6.1k
+16% vs semana passada
linhas alteradas
34+
dias seguidos com commits
Commits / dia
pico 17/dia · 7/7 dias ativos
Ritmo
Linhas alteradas / semana
últimas 8 semanas
82% Rust7% Config7% Docs5% Specs
O que flightofthefox construiu
Beacon double-commit, encontrado e corrigido
flightofthefox reproduziu um raro bug de segurança em que o beacon poderia finalizar a mesma epoch de duas formas diferentes numa divisão de rede, e então construiu um caminho de commit ratificado pelo pool que exclui mutuamente a rota antiga — fechando a porta de vez.
→ veja “The Census” em hyperscale.rsStraddlers e reshapes, mais fortemente isolados
Transações retidas num shard em processo de divisão não podem mais ser removidas enquanto um gate ainda as retém, e o handoff entre comitês antigo e novo agora aguarda até que o sucessor esteja de fato ativo.
→ veja “The Will” em hyperscale.rsCinco novas provas em matemática
Cinco novos modelos formais agora provam regras centrais de segurança em matemática: settlement de straddlers, commit atômico cross-shard, consenso de shard, o clock de tempo ponderado, e a própria correção do dual-commit.
→ veja “The Proof” em hyperscale.rsResumo da ópera
Mudança de destaque
A rara falha de segurança de double-commit do beacon está agora fechada, mutuamente excluída, e provada em matemática.
O que vem por aí
Provavelmente o próximo passo: o embaralhamento de validators estilo loteria, que é a outra grande parte do M1 ainda a chegar, agora com um beacon muito mais sólido por baixo.
O conceito da semana
The Census— O beacon que rastreia validators e topologiaO evento central foi a falha de segurança de double-commit do beacon ter sido reproduzida, corrigida com ratificação do pool, e provada matematicamente. Um grande avanço para a cadeia que rastreia validators e topologia.
hyperscale.rs/census Jargão, decifrado
Pool ratification — Uma forma de pools de validators votarem e aprovarem um bloco do beacon antes que ele conte como final, substituindo um caminho antigo menos seguro.
Dual commit — Um bug de segurança em que duas versões conflitantes do mesmo bloco poderiam ser finalizadas ao mesmo tempo numa rede dividida.
Onde o trabalho aterrissou
falha de dual-commit fechada com pool ratification
bug de partição reproduzido de ponta a ponta
novos tipos de dados de ratificação e straddler
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 10 · ~mês 2 de 4. Desde o primeiro dia: 2.324 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-09