EXP-059VALIDADO
Ingeniería GPU canónica / SHA-256d

Auditoría SASS estática en Blackwell

El compilador sm_120 ya traduce SHA-256d a shifts, booleanos y sumas nativas de Blackwell.

Estado de la afirmaciónNO SE HA DEMOSTRADO VENTAJA MINERA EXTREMO A EXTREMO

El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.

Fecha2026-08-14
EntornoNVIDIA GeForce RTX 5080 · verificador SHA-256d exacto
AlcanceCampaña preregistrada con resultado y auditoría sellados
ReproducibilidadDesensamblar los binarios sellados y reproducir familias, registros y spills.
01 / Pregunta e hipótesis

Qué se probó

El compilador sm_120 ya traduce SHA-256d a shifts, booleanos y sumas nativas de Blackwell.

02 / Fundamento científico

Por qué la prueba es relevante

La desensamblación estática verifica selección de instrucciones y memoria aun sin contadores dinámicos.

fracción nativa=(SHF+LOP3+IADD3)/SASS totalloads/stores globales hot=0spills=0
Auditoría SASS estática en BlackwellLectura visual de las métricas y puertas publicadas para EXP-059; resume el resultado registrado, no una ventaja minera.EXP-059 / AUDITORÍA SASS ESTÁTICA EN BLACKWELLFRACCIÓN ENTERA NATIVA88,10%BINARIOS9 / 9SPILLS HOT0
FIGURA / LECTURA DEL RESULTADOLectura visual de las métricas y puertas publicadas para EXP-059; resume el resultado registrado, no una ventaja minera.
03 / Método

Cómo se probó

Desensamblar los nueve binarios EXP-133 y contar familias, registros, memoria local y operaciones hot.

04 / Resultado observado

Qué ocurrió

Fracción entera nativa88,10%
Binarios9 / 9
Spills hot0

Cada binario emitió 2.512 instrucciones: 1.176 SHF, 629–630 LOP3 y 408 IADD3, 88,097–88,137% del código. Sin loads/stores globales hot, stack ni memoria local; 9/9 gates pasaron.

05 / Validación

Controles de exactitud y estadísticos

Se auditaron binarios ya congelados y se repitieron conteos en todas las geometrías.

06 / Interpretación

Qué significa

Se cierran reemplazo ciego por intrínsecos y tuning ciego: el compilador ya usa formas nativas.

Limitaciones

  • Conteos estáticos no muestran stalls.
  • Mezcla específica de arquitectura.
  • Mapeo nativo no implica ventaja minera.
07 / Reproducción

Trazabilidad

Desensamblar los binarios sellados y reproducir familias, registros y spills.

Variantes canónicas

CANONICAL-EXP-135PREREGISTERED-CAMPAIGNSEALED-AUDIT

Fuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.