On defining proofs of knowledge
发表信息
作者
笔记
The notion of a “proof of knowledge,” suggested by Goldwasser, Micali and Rackoff, has been used in many works as a tool for the construction of cryptographic protocols and other schemes. Yet the commonly cited formalizations of this notion are unsatisfactory and in particular inadequate for some of the applications in which they are used. Consequently, new researchers keep getting misled by existing literature. The purpose of this paper is to indicate the source of these problems and suggest a definition which resolves them.
Goldwasser、Micali和Rackoff提出的“知识证明”概念，已被众多研究用作构建密码协议及其他方案的工具。然而，该概念常被引用的形式化表述并不尽如人意，尤其在某些应用场景中显得力不从心，导致新晋研究者屡屡受现有文献误导。本文旨在揭示这些问题根源，并提出一个能有效解决这些问题的定义。