Escalera lazy desde R55 hasta R52
El mecanismo lazy exacto sigue siendo válido antes de R56 y permite medir dónde domina el coste de dependencias.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
El mecanismo lazy exacto sigue siendo válido antes de R56 y permite medir dónde domina el coste de dependencias.
Por qué la prueba es relevante
Mover la frontera hacia atrás expone más dependencias SHA-256. El primer bit solicitado pasa a depender de schedule, Choice, Majority, rotaciones y sumas modulares adicionales. Por eso cada frontera compara lazy y eager sobre exactamente los mismos estados.
ρᵣ = E[W_lazy,r] / E[W_eager,r]ahorro diagnóstico sᵣ = 1 − ρᵣR52 alcanzable: ρ₅₂=0,948609; s₅₂=0,051391Cómo se probó
El evaluador congelado de V1 se extendió por R55, R54, R53 y R52. En cada frontera se evaluaron 6.000 registros libres y 2.000 alcanzables con igual orden de bits, baseline eager y oráculo completo. La procedencia contó bits demandados de schedule, Ch, Maj, Σ0, Σ1, T1, T2 y palabras; los motores parciales también se contrastaron con B8 dorado.
Qué ocurrió
Todas las comparaciones fueron exactas: cero falsos rechazos y discrepancias. En registros alcanzables, el ahorro diagnóstico bajó de 9,33% en R55 a 7,34% en R54, 6,04% en R53 y 5,14% en R52; R56 daba 10,38%. En R52, el trabajo lazy medio fue 5.676,476 frente a 5.984 eager.
Controles de exactitud y estadísticos
El contraste fue pareado: W_lazy y W_eager se midieron sobre el mismo estado. Cohortes libres y alcanzables se informaron por separado. La puerta prerregistrada de 5% se superó solo para este consumidor diagnóstico; el informe prohíbe interpretarlo como 5,14% de aceleración SHA-256 o minera.
Qué significa
La palanca persiste, pero resolverla antes es más caro. Los ratios motivan investigar transporte, no afirmar ventaja.
Limitaciones
- Las unidades diagnósticas dependen de la implementación.
- Se evalúa B8, no el target completo de 256 bits.
- Setup por job, memoria, despacho e integración ASIC quedan fuera.
Trazabilidad
Recrear cada frontera, evaluar 6.000 registros libres y 2.000 alcanzables, conservar etapas de rechazo y exigir cero discrepancias lazy/eager, eager/oráculo y falsos rechazos antes de comparar trabajo pareado.
Variantes canónicas
SUBENGINE-V2ASUBENGINE-V2BSUBENGINE-V2CSUBENGINE-V2DSUBENGINE-V2ESUBENGINE-V2FFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.