Anteriormente: flightofthefox tinha montado a estrutura do crate beacon — a cadeia de coordenação lenta que rastreará validators e o shard map — e reestruturado o nó de produção em torno de um modelo de thread por shard, com The Crash Lab e The Pr
Esta foi uma semana de virada. flightofthefox implementou um sistema de segurança aplicado pelo compilador em todo o codebase, de modo que blocos ou votos não verificados literalmente não podem ser usados por acidente. Ele também integrou totalmente o beacon ao nó de produção e substituiu um caminho de recuperação mais antigo por um skip flow mais limpo.
184
-27% vs semana passada
commits
+15k −11k
+22% vs semana passada
linhas alteradas
15
dias seguidos com commits
Commits / dia
pico 45/dia · 7/7 dias ativos
Ritmo
Linhas alteradas / semana
últimas 8 semanas
O que flightofthefox construiu
Segurança aplicada pelo compilador em toda parte
Um novo wrapper de typestate agora obriga o compilador a rejeitar qualquer código que tente usar um block, vote ou certificate antes que ele tenha sido verificado criptograficamente. Dados não verificados não podem mais escapar por acidente — uma vitória de segurança estrutural profunda para The Overlap.
→ veja “The Overlap” em hyperscale.rsO beacon acorda
O beacon foi totalmente conectado ao nó de produção: sync, gossip, fetch pools, timers e a máquina de estados SPC entraram todos em operação. Um caminho de 'recovery' mais antigo foi aposentado em favor de um skip flow mais simples para blocos perdidos.
→ veja “The Census” em hyperscale.rsThe Crash Lab ganha dentes
O simulador absorveu cenários de múltiplos coordenadores, Bizantinos e mudanças de topologia, além de testes de rejeição de assinaturas entre redes, de modo que uma gama mais ampla de ataques agora pode ser reproduzida byte a byte no The Crash Lab.
→ veja “The Crash Lab” em hyperscale.rsResumo da ópera
Mudança de destaque
Um wrapper 'verified' aplicado pelo compilador agora cobre quase todos os tipos de consenso, tornando estruturalmente impossível confiar em um block, vote ou certificate não verificado.
O que vem por aí
Provável próximo passo: conduzir uma transição completa de epoch do beacon de ponta a ponta pelo simulador, incluindo o novo skip flow.
Ouvido no chat
O clima: Semana tranquila no chat — flightofthefox focado no codebase.
O conceito da semana
The Overlap— Provavelmente sem forksAgora quase todos os tipos de consenso precisam ser verificados criptograficamente antes que o compilador permita que o código os manipule, tornando estruturalmente impossível que dados não verificados influenciem uma decisão. É a segurança contra forks embutida no sistema de tipos.
hyperscale.rs/overlap Jargão, decifrado
Typestate — Um padrão de codificação em que o próprio tipo registra se uma etapa aconteceu, de modo que o compilador se recusa a deixar você usar algo antes daquela etapa.
Gossip — A forma como os nós espalham mensagens peer-to-peer, cada um passando a novidade para alguns vizinhos que repassam adiante, como um boato.
Unicast — O envio de uma mensagem para um nó específico, o oposto de broadcasting para todos.
Onde o trabalho aterrissou
wrappers de typestate para tipos de consenso verificados
integrado ao nó, sync, fetch, skip flow
node
BeaconCoordinator integrado ao runner
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 5 · ~mês 1 de 4 · 29%. 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