众所周知,量子密码学可以实现仅使用经典信息无法实现的功能。最近,安全软件租赁 (SSL) 已成为这些感兴趣的领域之一。给定一个来自电路类的目标电路 C,SSL 会生成 C 的编码,使接收者能够评估 C ,还使软件的创建者能够验证软件是否已返回 — 这意味着接收者已放弃进一步使用该软件的可能性。显然,仅使用经典信息无法实现这样的功能,因为不可能阻止用户保留软件的副本。最近的结果表明,对于一类称为计算和比较的函数(这些是众所周知的点函数的概括),使用量子信息可以实现 SSL。然而,这些先前的工作都利用了设置或计算假设。在这里,我们表明 SSL 可以在没有任何假设的情况下用于计算和比较电路。我们的技术涉及量子复制保护的研究,这是一个与 SSL 相关的概念,但编码过程本质上可以防止潜在的量子软件盗版者将 C 的编码的单个副本拆分为两部分,每个部分都允许用户评估 C 。我们表明,对于涉及一个诚实评估者和一个恶意评估者的新型安全定义,点函数可以在没有任何假设的情况下进行复制保护;这是通过证明从任何量子消息认证代码中,我们都可以推导出这样一个诚实-恶意复制保护方案来实现的。然后,我们表明,通用的诚实-恶意复制保护方案意味着 SSL;根据先前的工作,这为计算和比较函数提供了 SSL。
主要关键词