Automata utiliza SP1 para aportar seguridad a la cadena de suministro de software con pruebas ZK. La Prueba de Construcción genera una prueba ZK para verificar que el código desplegado en la cadena coincide con el código fuente, reemplazando la confianza con verificación forzada para la procedencia del software.