Expand description

Indicates which messages are hidden or revealed in proofs

Enums

A message classification by the prover