Ronda inversa exacta genérica
Una ronda SHA-256 es biyectiva sobre estados puntuales cuando Wt y Kt están fijados, permitiendo invertir y reiniciar exactamente.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Una ronda SHA-256 es biyectiva sobre estados puntuales cuando Wt y Kt están fijados, permitiendo invertir y reiniciar exactamente.
Por qué la prueba es relevante
El desplazamiento revela siete palabras previas. T2 se calcula con a,b,c; T1 sale de a siguiente menos T2 y d de e siguiente menos T1, todo módulo 2³².
T2t=Σ0(at)+Maj(at,bt,ct)T1t=a(t+1)−T2t (mod 2³²)dt=e(t+1)−T1t (mod 2³²)Cómo se probó
Implementar inversa genérica, reiniciar forward cada estado recuperado, probar rondas alcanzables y ruta R58, y repetir con 3.000 por acción.
Qué ocurrió
Cero errores de inversa/reinicio genérico y alcanzable, palabra5, B64, acción o seguridad en ambas réplicas; 9.000 registros anclados por réplica.
Controles de exactitud y estadísticos
Forward después de inverse prueba la biyección. Estados aleatorios, alcanzables y estratos anclados evitan una fórmula válida solo en una distribución.
Qué significa
La ronda se invierte exactamente punto a punto. No implica que un conjunto grande de estados compatibles pueda recorrerse barato.
Limitaciones
- Teorema puntual, no sobre preimágenes de conjuntos.
- Wt y Kt deben conocerse.
- No se deriva algoritmo minero inverso.
Trazabilidad
Recuperar con resta modular, volver a ejecutar la ronda y exigir igualdad en tres dominios y dos réplicas.
Variantes canónicas
SUBENGINE-V54ASUBENGINE-V54BSUBENGINE-V54CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.