Att öppna X sin algoritm är ett utmärkt första steg, men att verifiera att ditt flöde kommer från den kräver att du kör det på produktionsdata, som troligen inte är offentlig. Om vi inte har betrodda revisorer eller kör hela X i en TEE, behöver vi viss kryptografi för dataintegritet och kodexekvering.

Vi skulle vilja ha ett protokoll som committar till X:s tillstånd (t.ex. Merkle-rötter) och verifierbart uppdaterar det med hjälp av ZK-bevis/TEE-attestationer. Även att binda sig till varje delstatsövergång är kostsamt: vi får troligen bara slumpmässiga stickprovskontroller. Men detta måste göras väldigt försiktigt för att inte vara värdelöst.