Antes: flightofthefox reforzó el VM para rechazar construcciones inválidas en tiempo de build, formalizó vaults y pruebas, y estaba a mitad de camino en los paths de presentación de pruebas y autorizaciones.
Esta semana la red de Radix sufrió un exploit importante a nivel de VM, causando conmoción en la comunidad. flightofthefox se mantuvo enfocado en el código, construyendo el primer sistema real de garbage collection de la red y reforzando la firma de transacciones — mientras era transparente sobre proteger la runway de Hyperscale y esbozaba cómo funcionaría una migración futura.
19
-95% vs semana pasada
commits
+4.1k −711
-80% vs semana pasada
líneas cambiadas
0
días seguidos con commits
Commits / día
pico 18/día · 2/7 días activos
Impulso
Líneas cambiadas / semana
últimas 8 semanas
95% Rust2% Docs2% Specs1% Config
Lo que construyó flightofthefox
Estado inalcanzable, barrido y limpio
flightofthefox construyó un sistema de garbage collection: los nullifiers rastrean el estado que nada puede alcanzar, agrupados por expiry buckets para que cada bloque retire exactamente lo que corresponde. La red ahora puede reclamar el almacenamiento automáticamente.
→ ver “The Library” en hyperscale.rsLos intents declaran su red
Los intents de transacción ahora incluyen headers firmados que indican para qué red son y por cuánto tiempo son válidos — deteniendo el replay cross-network y ajustando la ventana de tiempo de cada intent al límite más estrecho.
→ ver “The Journey” en hyperscale.rsEn resumen
Cambio destacado
El substate sweep le da a la red su primer garbage collection real — rastreando y eliminando automáticamente el estado que nada puede alcanzar.
Lo que viene
Lo más probable para la próxima: terminar los paths de firma de intents y validación de red, e integrar el substate sweep al ciclo de vida de ejecución del shard.
Escuchado en el chat
El ánimo: El hack a la red de Radix dominó toda la conversación, con debate sobre relanzar vs. migrar y flightofthefox liquidando XRD de forma transparente para proteger la runway de Hyperscale.
“difícil hyperscalear cuando estás sin casa”
— flightofthefox, en el Telegram de la comunidad
flightofthefox explicó
El sharding localiza fallas
Que un shard se detenga no impacta a los demás, así que el impacto en la liveness se localiza. Las caídas prolongadas son registradas por el beacon chain, que rota el comité completo si es necesario.
Migración a Xi'an
Harías un dump del estado de Babylon en un epoch predeterminado, lo transformarías, y lo cargarías en el genesis de Xi'an — igual que de Olympia a Babylon. Lo complicado es que los contratos necesitan recompilación.
El diseño del VM va primero
La prioridad absoluta número uno es construir un VM óptimo perfectamente adaptado a Hyperscale y al sharding. Los primitives que se conservaron de Scrypto están ahí porque las ideas eran genuinamente buenas.
Límites de la verificación formal
Verificas modelos más pequeños en lenguajes especializados, no el código completo. No es una bala de plata, pero tener invariantes por escrito hace que los bugs sean mucho menos probables.
El concepto de la semana
The Library— El día de mudanza que nunca llegaLa mayor parte de esta semana se construyó la maquinaria de limpieza del árbol de estado — rastreando, indexando y eliminando el estado que nada puede alcanzar.
hyperscale.rs/library Jerga, descifrada
Nullifier — Un marcador que el sistema usa para rastrear estado que eventualmente debe ser removido una vez que ya no es alcanzable.
Substate sweep — El garbage collection automático de la red: encontrar y eliminar entradas de estado que nada puede alcanzar.
Expiry bucket — Una forma de agrupar items de estado por la altura de bloque en la que deben limpiarse, para que cada bloque los procese eficientemente.
Dónde aterrizó el trabajo
substate sweep y almacenamiento de nullifiers
firma de intents y validación de red
estructuras de datos de nullifier y sweep
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
✓ M1
Adaptive Sharding
~4 mo
Ahora: Milestone 2 · Radix Engine — Semana 5 · ~mes 1 de 5. Desde el día uno: 4,023 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-09-07