En el centro de cada auditoría SentaShield está SentaLabs Engine: propietario, creado específicamente para smart contracts y base de cada vista previa gratuita de SentaScan. Combina análisis estático, modelado de comportamiento, interpretación asistida por modelos y criterio estructurado para revelar los fallos que de verdad importan, no solo los más fáciles de encontrar.
A diferencia de los escáneres superficiales, el motor verifica cada contrato tanto contra su código fuente original como contra el bytecode desplegado, acreditando integridad estructural, reproducibilidad y resistencia a condiciones reales de explotación, en lugar de limitarse a comparar patrones en el código fuente.
SentaLabs define además los estándares de verificación bajo los cuales se emite cada certificación SentaShield, y los perfecciona a medida que se documentan nuevas clases de vulnerabilidad y patrones de exploit. El mismo motor y los mismos estándares sustentan todos los productos de SentaTrust.