On the Formalisation of Sigma-Protocols and Commitment Schemes

Published in POST 2019, 2019

Recommended citation: David Butler, David Aspinall, Adria Gascon, . On the Formalisation of Sigma-Protocols and Commitment Schemes. POST 2019. https://www.turing.ac.uk/sites/default/files/2019-04/butler2019_chapter_ontheformalisationofvarsigma-p.pdf

This work formalised sigma protocols and commitment schemes in Isabelle/HOL. It was the first work to consider both primitives and prove how commitment schemes can be constructed from sigma protocols.

Download paper here

Recommended citation: David Butler, David Aspinall, Adria Gascon, . On the Formalisation of Sigma-Protocols and Commitment Schemes. POST 2019.