A Automata utiliza o SP1 para trazer segurança à cadeia de suprimento de software com provas ZK. A Prova de Construção gera uma prova ZK para verificar que o código implantado na blockchain corresponde ao código-fonte, substituindo a confiança por verificação forçada da proveniência do software.