Concurrent Knowledge Extraction in the Public-Key Model

Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal state of a party in a protocol without probing its internal secret state. However, when transactions are concurrent (e.g., over the Internet) with players possessing public-keys (as is common in cryptography), assuring that entities “know” what they claim to know, where adversaries may be well coordinated across different transactions, turns out to be much more subtle and in need of re-examination. Here, we investigate how to formally treat knowledge possession by parties (with registered public-keys) interacting over the Internet. Stated more technically, we look into the relative power of the notion of “concurrent knowledge-extraction” (CKE) in the concurrent zero-knowledge (CZK) bare public-key (BPK) model where statements being proven can be dynamically and adaptively chosen by the prover. We show ...

• Type: Conference
• Year: 2010
• Where: ICALP
• Authors: Andrew C. Yao, Moti Yung, Yunlei Zhao
• Keywords: Computational Complexity Sense, ICALP 2010, Modeling Machine Possession, Players Possessing Public-keys, Programming Languages