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.
Fields of Study & Subjects
Cryptography and Data Security
Logic
Reasoning
and Knowledge
Advanced Authentication Protocols Security
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 12 February 2026
- Language
- EN