We explore the concepts of knowledge, evidence, and proof as they
arise in Cryptography, and illustrate that the concept that guarantees
their relevance, in a practical sense, is relevance -- in a logical
sense.
Our (ongoing) work is related to the work of Artemov and Nogina.