Sixth-primitive leakage target
Read as: Given the challenge, the public proof transcript carries no mutual information about the hidden secret state.
Arguments
Operators
- I
- : mutual information between hidden state and observation
- \mid
- : conditioning on the public challenge
- = 0
- : zero effective leakage under the stated model
Significance: This is the formal reason the page treats the primitive as a separate proof category rather than another possession artifact.
Computational contrast: The primitive is not a new hardness clock; it is a claim that the authorization channel can be useful without exporting reusable secret information.
