Fix Blind Messages Proof

[alessandroguggino]

I found something new from the Blind signature extension. I know that you are now focused on the core draft but I leave it here :)

In BlindMessagesProofGen:

bbs-signature/draft-blind-bbs-signatures.md

Line 249 in 5fba426

6. c = HASH(commitment || U\~ || nonce)

In BlindMessagesProofVerify:

bbs-signature/draft-blind-bbs-signatures.md

Line 284 in 5fba426

4. c\_v = HASH(U || U^ || nonce)

The values in c and cv are inconsistent: we should decide which one to follow.

1. c = hash(U || U~ || nonce) and cv = hash(U || U^ || nonce) + add U (known messages) as input parameter in BlindMessagesProofVerify
   or
2. c = hash(commitment || U~ || nonce) and cv = hash(commitment || U^ || nonce)

P.S. I'm going to open a pull request to remove the unuseful escape chars and, if you want, update the draft to snake_case notation

[tplooker]

Hey @alessandroguggino good catch, yes there are some inconsistencies, however you are right that our focus as a WG is primarily on the core draft right now. Feel free to open a PR to address any syntax inconsistencies anything broader we will address once the core draft is complete/stable.