On the Formalisation of Σ-Protocols and Commitment Schemes Cited by The Alan Turing Institute on 20 Mar 2019 The Alan Turing Institute is the national institute for data science and artificial intelligence, with headquarters at the British Library