Secrecy and authentication

A

A

B

B

Intr

Intr

Protocol run

Run with A

Claim_Secret.m

Commit with B