Is there a way to cryptographically attest to a given AI model's having been primarily post-trained using some given model spec? For example, is there a way for OpenAI to prove to us that GPT-X was trained with its model spec, without revealing any other information (e.g., algorithmic secrets)? Perhaps trusted execution environments could be used to do this, but I'm not sure. Anyway, if possible, this could help make it harder for someone to insert secret loyalties into a model.