Sigma Protocols and Commitment Schemes

Published in Archive of Formal Proofs, 2019

Recommended citation: David Butler and Andreas Lochbihler, (2019). " Sigma Protocols and Commitment Schemes ." Archive of Formal Proofs.. https://www.isa-afp.org/entries/Sigma_Commit_Crypto.html