La falta de una garantía suficiente sobre la autenticidad de los contratos inteligentes en ejecución es una barrera de entrada importante para las redes blockchain. Por autenticidad, nos referimos a la propiedad o procedencia del contrato inteligente; esto implica una coincidencia perfecta entre un código fuente publicado y la versión en ejecución correspondiente de un contrato inteligente dado. Los verificadores de bloques son servicios que verifican la autenticidad de la procedencia de la lógica contenida en las redes blockchain. Sin embargo, dado que un verificador de bloques es un servicio de verificación externo, su uso consume tiempo; y el sobrecoste derivado puede no cumplir con los requisitos temporales de dominios sensibles al tiempo, como los sistemas ciberfísicos. Tales sistemas requieren que el costo temporal de utilizar servicios externos se evalúe antes del despliegue final del sistema. Hasta donde sabemos, no hay contribuciones previas sobre la determinación del costo temporal del proceso de verificación de la procedencia de contratos inteligentes. Este documento presenta el diseño e implementación de un middleware que evalúa el sobrecosto temporal de acceder a los servicios de verificación; el middleware está alojado en el libro mayor global y ejecuta los servicios de verificación sobre grandes conjuntos de contratos inteligentes. Nuestra contribución se valida al proporcionar una implementación en una red blockchain real, empleando la lógica de verificación de contratos inteligentes actual y analizando el comportamiento temporal de las operaciones generales del sistema para cumplir con los requisitos sensibles al tiempo de los sistemas ciberfísicos.