Anteriormente: flightofthefox havia encapsulado quase todos os tipos de consenso em uma tag 'verified' imposta pelo compilador e conectado o beacon ao node de ponta a ponta.
Nesta semana, flightofthefox levou a disciplina de verified-tag até o armazenamento e reproduziu um fork real de consenso de shard no simulador — e depois o fechou. Um agendamento de topologia orientado por timestamp agora responde 'quem está no comando agora' para qualquer momento.
86
-53% vs semana passada
commits
+5.4k −2.8k
-68% vs semana passada
linhas alteradas
22
dias seguidos com commits
Commits / dia
pico 18/dia · 7/7 dias ativos
Ritmo
Linhas alteradas / semana
últimas 8 semanas
O que flightofthefox construiu
O armazenamento aprende a falar 'verified'
Leituras e escritas no armazenamento de shard e beacon agora retornam blocos 'verified' — a rede de typestate da semana passada foi reforçada para que nada não comprovado passe pela persistência. Isso torna as regras de segurança estruturais, não apenas procedurais.
→ veja “The Overlap” em hyperscale.rsO clock se torna consultável
Um novo agendamento de topologia por epoch permite que qualquer node pergunte quais validators executam o shard X no tempo T e receba a mesma resposta em qualquer lugar. Os IDs de shard se tornaram prefix paths, e os comitês são computados um epoch à frente — a ideia de 'três engines, um clock' tornada realidade.
→ veja “The Clock” em hyperscale.rsO consenso de shard trava no HotStuff-2
flightofthefox reproduziu um fork de commit conflitante causado por uma antiga regra de vote-unlock, e depois o fechou com a regra de safe-vote do HotStuff-2. Os rounds agora aumentam por bloco, os hashes dos pais são assinados, e um timeout pacemaker mantém os validators em sincronia.
→ veja “The Overlap” em hyperscale.rsResumo da ópera
Mudança de destaque
Um fork de commit conflitante que poderia ter atingido shards reais agora está reproduzido no simulador e encerrado pela regra de safe-vote do HotStuff-2.
O que vem por aí
Provável próximo: conduzir uma transição completa de epoch — com o novo agendamento de topologia e a regra do HotStuff-2 — pelo The Crash Lab de ponta a ponta.
O conceito da semana
The Clock— Três engines, um clockO novo agendamento de topologia consultável por timestamp é o centro arquitetônico da semana — é a tabela de lookup concreta que faz 'três engines, um clock' funcionar para todo node honesto, toda vez.
hyperscale.rs/clock Jargão, decifrado
HotStuff-2 — Uma regra de votação em dois rounds que torna matematicamente impossível para validators honestos fazerem commit de blocos conflitantes.
Pacemaker — Um timer dentro do engine de consenso que incentiva todos os validators a avançar para o próximo round se nenhum bloco aparecer a tempo.
Onde o trabalho aterrissou
wrappers de typestate se propagam por dezenas de arquivos
guardas de overflow e rejeição de comitês duplicados
regra de safe-vote do HotStuff-2 e timeout pacemaker
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 6 · ~mês 1 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