公钥模型下的并发知识提取
Concurrent Knowledge-Extraction in the Public-Key Model
摘要：
知识提取是一个基本概念，在计算复杂性意义上对机器拥有的值（证人）进行建模。这个概念为密码协议的设计和分析提供了一个重要的工具，使人们能够讨论协议参与者的内部状态，而不必考虑这个所谓的秘密状态。但是，当事务是并发的（例如，通过互联网），玩家拥有公钥（在密码学中很常见），确保实体“知道”他们声称知道的东西，其中对手可能在不同的交易中进行很好的协调，结果更加微妙，需要重新审查。在这里，我们研究如何正式对待知识拥有的各方（注册公钥）在互联网上进行交互。从技术上讲，我们研究了并发零知识（CZK）裸公钥（BPK）模型中“并发知识提取”（CKE）概念的相对能力。
英文摘要：
Knowledge extraction is a fundamental notion, modelling machine possession of values (witnesses) in a computational complexity sense. The notion provides an essential tool for cryptographic protocol design and analysis, enabling one to argue about the internal state of protocol players without ever looking at this supposedly 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
