開源並不保證正確的部署。 沒有執行政策來驗證已部署的二進位檔是否與源代碼匹配。 Automata 的建構證明擴展了鏈上軟體來源的可驗證性。對「受信任」的中介說不。