Automata använder SP1 för att skapa säkerhet i mjukvaruförsörjningskedjan med ZK-bevis. Proof of Build genererar ett ZK-bevis för att verifiera att kod som distribuerats på kedjan matchar källkoden, vilket ersätter förtroende med påtvingad verifiering av mjukvaruproveniens.