该论文研究的是量子-经典密码交互中广泛使用的陷门无爪函数（Trapdoor Claw-Free Functions, TCF）的密钥可信性问题。现有几乎所有基于 TCF 的密码协议都默认假设密钥由诚实方生成，并在此前提下证明安全性，一旦密钥本身不可信，协议的安全保证就可能失效。作者提出一个与具体函数族无关的密钥认证抽象框架，该框架建立在两个核心概念之上：第一是可认证密钥关系（certifiable key relation），即用一个 NP 关系来精确刻画某个 TCF 函数族的诚实密钥，同时保证其见证可以从陷门中恢复；第二是认证密钥生成（certified key generation），它在输出每个密钥时附带一份成员资格证书，并满足完备性、带可提取性的证书可靠性以及密钥隐私三条性质。作者针对不同的 TCF 构造实例化了相应的可认证密钥关系，并用零知识知识论证（ZKPoK）以通用方式满足这些关系。作为主要应用，论文给出一个通用编译器，能够把任意基于 TCF 的量子性证明（proof of quantumness）转化为零知识版本，且编译后协议的每一条安全性都可从其认证方案中的对应性质推导出来。最后，作者刻画了该原语的能力边界：对于依赖单射不变性（injective invariance）的协议，一个被接受的证书本身就是一个函数族区分器，会恰好泄漏这类协议必须隐藏的那个比特。