Razonamiento inverso exacto en R56
R56 permitió una eliminación diagnóstica exacta de ≈23,44%. El trabajo actual pregunta si estas primitivas pueden componerse de forma rentable.
- Publicado
- 2026-08-14
- Actualizado
- 2026-08-22
- Autoría
- BTC PoW Lab
- Replicación
- Primitiva exacta validada; composición activa
La estructura local, la señal estadística y la ventaja operacional se evalúan por separado.
Pregunta
¿Pueden componerse restricciones tardías sin perder ahorro en transporte y ejecución?
Hipótesis
Algunas evaluaciones parciales podrían persistir al componerse.
Por qué importa
La eliminación local solo importa si toda la tubería es más barata que calcular el hash.
Método
Construir oráculos exactos, medir el trabajo, transportar el contexto y auditar cada rechazo.
Configuración experimental
- Referencia
- Evaluación completa equivalente de candidatos SHA-256.
- Configuración
- Predicado B8 registrado y modelo inverso exacto alrededor de R56.
- Hardware
- Verificador clásico; la compatibilidad con un ASIC de fábrica es una puerta posterior.
- Conjunto de datos
- Oráculo exacto e informes canónicos de los módulos V1–V75.
Resultados
- 392 de 512 bits semánticos bastaron en el modelo R56.
- Eliminación diagnóstica equivalente: ≈23,44%.
- La composición extremo a extremo sigue sin resolverse.
Análisis científico
El programa R56 estudia el cono exacto de dependencia de un predicado B8 registrado cerca del final de la segunda compresión SHA-256. Una variable de frontera solo se elimina cuando el predicado compilado es funcionalmente independiente, auditando cada decisión contra el oráculo completo.
La eliminación exacta redujo la representación de 512 a 392 bits semánticos. Los 120 eliminados incluyen W61–W63 completos y W60[8..31] en el modelo registrado. Esto describe soporte funcional, no instrucciones de CPU, puertas lógicas, julios ni reducción del espacio de nonces.
Los 392 bits restantes resultaron individualmente relevantes en pruebas de cofactores; composición y alcanzabilidad son preguntas separadas. Una frontera menor puede seguir siendo más cara cuando se imputa el camino hacia adelante necesario para producirla.
Formulación matemática
eliminación = (512 − 392) / 512 = 23,4375%Es soporte semántico eliminado exactamente en la frontera R56.
f_R56(x₁…x₅₁₂) = g(xᵢ : i ∈ S), |S| = 392El predicado compilado depende solo del conjunto soporte S dentro del modelo.
Ctotal = Canterior + Cfrontera + Crespaldo + CdespachoSolo el coste completo puede compararse con un cálculo de hash equivalente.
Lectura estadística
La validación usó 65.536 estados alcanzables y 4.096 fronteras sintéticas sin discrepancias en la recompilación del soporte.
Cero discrepancias respalda la implementación auditada; la exactitud descansa en contratos de construcción y prueba, no en convertir una muestra sin errores en una demostración.
La proyección de alcanzabilidad y la aceleración física siguen abiertas o negativas en puertas posteriores.
Validez y alcance
- Exacta dentro del modelo B8/R56 registrado.
- Los bits semánticos no equivalen a puertas lógicas nativas ni a energía.
- No se demostró reducción de entropía de los nonces ni aceleración en un ASIC de fábrica.
Referencias metodológicas
Interpretación
Es una primitiva exacta, no una aceleración medida. La evaluación económica sigue abierta.
Limitaciones
- El trabajo en bits semánticos no equivale a puertas lógicas, ciclos nativos ni julios.
- No existe una ruta completa demostrada sobre un ASIC de fábrica.
Reproducción
Validar cada rechazo parcial contra el oráculo de referencia en cohortes de frontera libre y alcanzables con formato Bitcoin.
Artefactos
Los primeros setenta y cinco módulos están publicados en la bitácora experimental.
Contenido experimental para investigación y educación, sin garantía. Valídalo independientemente antes de usarlo. Leer el descargo completo.