Å åpne X sin algoritme er et flott første steg, men å verifisere feeden din kommer fra den krever at du kjører den på produksjonsdata, som sannsynligvis ikke er offentlig. Bortsett fra pålitelige revisorer eller å kjøre hele X i en TEE, trenger vi noe kryptografi for dataintegritet og kodeutførelse.

Vi ønsker en protokoll for å committe til Xs tilstand (f.eks. Merkle-røtter) og verifiserbart oppdatere den ved hjelp av ZK-bevis/TEE-attestasjoner. Selv å forplikte seg til hver statovergang er kostbart: vi får sannsynligvis bare tilfeldige stikkprøver. Men dette må gjøres veldig forsiktig for ikke å være verdiløst.