Mã nguồn mở không đảm bảo việc triển khai đúng cách. Không có chính sách thực thi nào để xác minh rằng nhị phân đã triển khai khớp với mã nguồn. Chứng minh Xây dựng của Automata mở rộng khả năng xác minh nguồn gốc phần mềm trên chuỗi. Nói không với các trung gian 'đáng tin cậy'.