Module hidden_message
signature_core
The kind of hidden message in a proof
Two types of hidden messages