Verificación del código fuente

Un contrato se despliega como bytecode compilado, que es lo que la cadena ejecuta y lo que un explorador de bloques siempre puede mostrar. La verificación del código fuente es el proceso de publicar junto a él el código original legible por personas, de modo que cualquiera pueda recompilar con los ajustes de compilador indicados y confirmar que el resultado coincide byte a byte con el bytecode desplegado. Cuando coincide, el explorador marca el contrato como verificado y muestra el código legible. Esa afirmación es estrecha y exacta: establece que el código publicado es lo que se está ejecutando, y nada más. No dice nada sobre si el código está bien escrito, si fue auditado, o si hace lo que describe la comunicación del proyecto. Un contrato sin verificar es otra situación: no es prueba de mala intención, pero sí el rechazo de la transparencia más barata disponible, lo que significa que nadie salvo quien lo desplegó puede leer qué hace el código antes de interactuar con él.