La producción de lactato miocárdico (diferencia arterio-venosa coronaria en el nivel sérico de lactato) durante las pruebas de provocación de espasmo coronario se considera un marcador altamente sensible que refleja isquemia miocárdica inducida por acetilcolina debido a espasmo microvascular. En este artículo se presentan los procedimientos para evaluar la producción de lactato miocárdico para el diagnóstico del espasmo microvascular coronario.