Los auditores realizan principalmente pruebas clear-box y transparent-box. El objetivo es revisar diversos aspectos de los contratos, incluyendo los relacionados con las sintaxis y la lógica, principalmente para validar la funcionalidad y comprobar el grado de seguridad.