Anteriormente: flightofthefox había armado el scaffolding del crate beacon — la cadena de coordinación lenta que rastreará los validators y el shard map — y rediseñado el production node alrededor de un modelo de thread-per-shard, con The Crash Lab y The Pr
Esta fue una semana de inflexión. flightofthefox implementó un sistema de seguridad reforzado por el compilador en todo el codebase, de modo que los bloques o votos no verificados literalmente no puedan usarse por accidente. También conectó el beacon al production node y reemplazó una ruta de recuperación anterior por un skip flow más limpio.
184
-27% vs semana pasada
commits
+15k −11k
+22% vs semana pasada
líneas cambiadas
15
días seguidos con commits
Commits / día
pico 45/día · 7/7 días activos
Impulso
Líneas cambiadas / semana
últimas 8 semanas
Lo que construyó flightofthefox
Seguridad reforzada por el compilador en todas partes
Un nuevo wrapper de typestate ahora obliga al compilador a rechazar cualquier código que intente usar un bloque, voto o certificado antes de que haya sido verificado criptográficamente. Los datos no verificados ya no pueden colarse por accidente — una ganancia estructural de seguridad profunda para The Overlap.
→ ver “The Overlap” en hyperscale.rsEl beacon despierta
El beacon se conectó por completo al production node: sync, gossip, fetch pools, timers y la máquina de estados SPC quedaron en línea. Se retiró una ruta de 'recuperación' anterior en favor de un skip flow más sencillo para los bloques perdidos.
→ ver “The Census” en hyperscale.rsThe Crash Lab afila los dientes
El simulador incorporó escenarios de multi-coordinator, Byzantine y cambios de topología, además de pruebas de rechazo de firmas cross-network, de modo que ahora se puede reproducir una gama más amplia de ataques byte por byte en The Crash Lab.
→ ver “The Crash Lab” en hyperscale.rsEn resumen
Cambio destacado
Un wrapper 'verified' reforzado por el compilador ahora cubre casi todo tipo de consensus, haciendo estructuralmente imposible confiar en un bloque, voto o certificado no verificado.
Lo que viene
Lo más probable: impulsar una transición completa de epoch del beacon de principio a fin a través del simulador, incluyendo el nuevo skip flow.
Escuchado en el chat
El ánimo: Semana tranquila en el chat — flightofthefox cabezón abajo en el codebase.
El concepto de la semana
The Overlap— Provably fork-freeCasi todo tipo de consensus ahora tiene que verificarse criptográficamente antes de que el compilador permita que el código lo toque, haciendo estructuralmente imposible que los datos no verificados influyan en una decisión. Es fork-safety integrada en el type system.
hyperscale.rs/overlap Jerga, descifrada
Typestate — Un patrón de programación donde el propio tipo registra si un paso ya ocurrió, de modo que el compilador se niega a dejarte usar algo antes de ese paso.
Gossip — La forma en que los nodos propagan mensajes peer-to-peer, cada uno pasando la noticia a algunos vecinos que a su vez la reenvían, como un rumor.
Unicast — Enviar un mensaje a un nodo específico, lo opuesto a hacer broadcasting a todos.
Dónde aterrizó el trabajo
wrappers de typestate para tipos de consensus verificados
conectado al node, sync, fetch, skip flow
node
BeaconCoordinator conectado al runner
Referencia — mapa de conceptos, hoja de ruta y enlaces▾
El panorama 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.
El camino a mainnet
Ahora: Milestone 1 · Adaptive Sharding — Semana 5 · ~mes 1 de 4 · 29%. Desde el día uno: 2,324 commits — un solo desarrollador, totalmente en público.
Enlaces
¿Preguntas? flightofthefox siempre está feliz de conversar en el Telegram de la comunidad.
Escrito por IA a partir de commits públicos, el chat de la comunidad y hyperscale.rs — puede contener errores. · generado 2026-07-09