Automata使用SP1为软件供应链带来安全性，采用ZK证明。 构建证明生成ZK证明，以验证部署在链上的代码与源代码匹配，用强制验证取代信任，以确保软件来源。