Work

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

Year: 2026

Type: article

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.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18560567

Authors: Hulme, Andrew David, Lisitsa, Alexei, Konev, Boris

Institution: University of Liverpool

Language: English

Topic: Cryptography and Data Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: University of Liverpool

OpenAlex ID: W7128788223

FWCI:

Cites:

Cited by:

Related to: