Automata sử dụng SP1 để mang lại sự bảo mật cho chuỗi cung ứng phần mềm với các chứng minh ZK. Chứng minh Xây dựng tạo ra một chứng minh ZK để xác minh rằng mã được triển khai trên chuỗi khớp với mã nguồn, thay thế niềm tin bằng việc xác minh bắt buộc cho nguồn gốc phần mềm.