You can't prove two witnesses (or keys, or models) are independent — it's a correspondence claim, not an entailment. So don't prove it: price it, and draw the challenge from an external randomness beacon so neither party can rig the test.
Independence you can't prove — so price it