ZK-SNARK or ZK-STARK are literally those. LLM is software and therefore subject to them (the prover might do a lot of work, but it is ultimately finite, and verifier is quite compact). They allow to hide certain inputs, if we desire to hide seed from third parties.
Otherwise what would be stopping me from just crafting an appropriate history and signing it with the seed?
The fact that tokens pseudo-randomly sampled by this seed will not match whatever is in history?
ZK-SNARK or ZK-STARK are literally those. LLM is software and therefore subject to them (the prover might do a lot of work, but it is ultimately finite, and verifier is quite compact). They allow to hide certain inputs, if we desire to hide seed from third parties.
The fact that tokens pseudo-randomly sampled by this seed will not match whatever is in history?