Anteriormente: flightofthefox acababa de cerrar la brecha de seguridad del doble commit poco frecuente del beacon y demostró la corrección en cinco nuevos modelos formales que cubren straddlers, el commit entre shards, y el propio commit dual.
Esta semana el trabajo de pruebas formales se expandió de forma espectacular: flightofthefox construyó un modelo Quint totalmente nuevo que recorre todo el ciclo de vida del reshape de principio a fin. Además, el shuffling de validadores recibió su primer análisis de seguridad adversarial propiamente dicho, y el simulador incorporó una nueva tanda de escenarios de red nada amigables. El código del beacon y de los shards sigue endureciéndose, con varias piezas de datos de safe-vote y ratificación ahora almacenadas de forma duradera.
55
-33% vs semana pasada
commits
+13k −2.3k
-8% vs semana pasada
líneas cambiadas
34+
días seguidos con commits
Commits / día
pico 16/día · 6/7 días activos
Impulso
Líneas cambiadas / semana
últimas 8 semanas
72% Rust12% Config12% Docs4% Specs
Lo que construyó flightofthefox
Model F recorre toda la historia del reshape
flightofthefox construyó un nuevo modelo Quint — 'Model F' — que demuestra el ciclo de vida completo de un split o merge de shard: la ruta de merge, el traspaso de la señal de ready, los gemelos draw-seed, e incluso el caso de una señal de ready sin vincular. Esto convierte las promesas de diseño del reshape en matemáticas verificables.
→ ver “The Proof” en hyperscale.rsThe Lottery se somete a pruebas adversariales
La lógica de shuffling de validadores se puso bajo un microscopio Monte Carlo, con un atacante adaptativo de peor caso incluido. Se midieron y registraron las desviaciones, de modo que la asignación aleatoria de comités ahora tiene un caso de seguridad publicado en lugar de simples afirmaciones esperanzadoras.
→ ver “The Lottery” en hyperscale.rsThe Crash Lab suma nuevas pesadillas
Varios escenarios nuevos de partición y Byzantine entraron al simulador — un beacon pool que se estanca durante una partición, corte entre shards, reintegro de fragmentos, sanación con quórum exacto, un proposer lento, y un parent stale. The Crash Lab ahora tiene más formas de romper la red a propósito.
→ ver “The Crash Lab” en hyperscale.rsEn resumen
Cambio destacado
Un nuevo modelo Quint ahora demuestra mecánicamente que todo el ciclo de vida del reshape — splits, merges, ready signals y staffing — es seguro bajo análisis formal.
Lo que viene
Lo probable que sigue: la lógica de shuffling de validadores recibe el cableado del lado de producción, ahora que la matemática de seguridad y los escenarios del simulador están aterrizando.
Escuchado en el chat
El ánimo: La conversación entre la DAO y el core-team domina el chat esta semana — quién debería gestionar Radix, contratos de market-maker que expiran sin renovación a la vista, y un pequeño hilo paralelo sobre convertir estos reportes semanales en
“terminar el roadmap solo es condicional a que se pague la comisión necesaria (y que las monedas mismas realmente tengan valor líquido). si la DAO cumple su parte del trato, entonces yo cumplo la mía.”
— flightofthefox, en el Telegram de la comunidad
El concepto de la semana
The Proof— Verificación formal y matemáticaModel F es la pieza central de la semana: un solo modelo Quint que mecaniza toda la historia del reshape — splits, merges, ready signals, staffing — convirtiendo el diseño en matemática demostrable.
hyperscale.rs/proof Jerga, descifrada
Monte Carlo — Una forma de someter algo a estrés ejecutando una enorme cantidad de pruebas aleatorias y observando los patrones.
Byzantine — Describe a un participante en una red que se comporta de forma deliberadamente incorrecta o envía mentiras.
Adaptive adversary — Un atacante de peor caso que observa lo que ocurre y cambia su estrategia al vuelo para causar el mayor daño posible.
Dónde aterrizó el trabajo
registros de ratificación del beacon y safe-vote almacenados de forma duradera
almacenamiento de fork-safety, alcance del header, dwell de la ready-signal
nuevos escenarios de partición y Byzantine, limpieza del harness
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 11 · ~mes 3 de 4 · 65%. Desde el día uno: 2,342 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-13