Proving Zero-Knowledge with Extended Dynamic Epistemic Logic (Appendix B)

Abstract

This is an extended appendix for an unpublished paper. It covers the use of a framework defined in that paper to prove the zero-knowledge of a few zero-knowledge proofs. The first example, covering 3-colourability, is justified and explained. The second, covering boolean circuit satisfiability, is simply given.