Anteriormente: flightofthefox había envuelto casi todos los tipos de consenso en una etiqueta 'verified' aplicada por el compilador, y conectó el beacon con el nodo de extremo a extremo.
Esta semana flightofthefox llevó la disciplina de la etiqueta verified hasta el storage y reprodujo un fork real de shard-consensus en el simulador — y luego lo cerró. Ahora un calendario de topología basado en timestamps responde 'quién está a cargo ahora' para cualquier momento.
86
-53% vs semana pasada
commits
+5.4k −2.8k
-68% vs semana pasada
líneas cambiadas
22
días seguidos con commits
Commits / día
pico 18/día · 7/7 días activos
Impulso
Líneas cambiadas / semana
últimas 8 semanas
Lo que construyó flightofthefox
El storage aprende a hablar 'verified'
Las lecturas y escrituras en el storage de shard y de beacon ahora devuelven bloques 'verified' — la red de typestate de la semana pasada se ajustó para que nada sin probar pueda colarse en la persistencia. Esto vuelve las reglas de seguridad estructurales, no solo procedimentales.
→ ver “The Overlap” en hyperscale.rsEl reloj se vuelve consultable
Un nuevo calendario de topología por epoch permite que cualquier nodo pregunte qué validators ejecutan el shard X en el tiempo T y obtenga la misma respuesta en todas partes. Los IDs de shard se convirtieron en rutas de prefijo, y los comités se calculan con un epoch de anticipación — la idea de 'tres motores, un reloj' hecha realidad.
→ ver “The Clock” en hyperscale.rsEl consenso de shard se fija en HotStuff-2
flightofthefox reprodujo un fork de commit conflictivo causado por una regla antigua de desbloqueo de votos, y luego lo cerró con la regla de safe-vote de HotStuff-2. Las rondas ahora aumentan por bloque, los hashes padre se firman, y un pacemaker de timeout mantiene a los validators sincronizados.
→ ver “The Overlap” en hyperscale.rsEn resumen
Cambio destacado
Un fork de commit conflictivo que podría haber afectado shards reales ahora está reproducido en el simulador y cerrado por la regla de safe-vote de HotStuff-2.
Lo que viene
Lo próximo probable: llevar a cabo una transición completa de epoch — con el nuevo calendario de topología y la regla de HotStuff-2 — a través de The Crash Lab de extremo a extremo.
El concepto de la semana
The Clock— Tres motores, un relojEl nuevo calendario de topología consultable por timestamp es la pieza arquitectónica central de la semana — es la tabla de búsqueda concreta que hace que 'tres motores, un reloj' funcione para cada nodo honesto, en todo momento.
hyperscale.rs/clock Jerga, descifrada
HotStuff-2 — Una regla de votación de dos rondas que hace matemáticamente imposible que los validators honestos confirmen bloques conflictivos.
Pacemaker — Un temporizador dentro del motor de consenso que empuja a todos los validators a pasar a la siguiente ronda si ningún bloque aparece a tiempo.
Dónde aterrizó el trabajo
los wrappers de typestate se propagan por docenas de archivos
guardas de desbordamiento y rechazo de comités duplicados
regla de safe-vote de HotStuff-2 y pacemaker de timeout
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 6 · ~mes 1 de 4 · 35%. 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