乔纳森·卡茨;损失，朱利安;徐嘉玉 关于时间锁定谜题和时间承诺的安全性。 （英语） Zbl 1485.94098号 Pass，Rafael（编辑）等人，《密码学理论》。第18届国际会议，TCC 2020，美国北卡罗来纳州达勒姆，2020年11月16-19日。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12552, 390-413 (2020). 摘要：时间锁谜题——其解决方案需要一定的连续努力——最近受到了越来越多的关注（例如，在可验证延迟函数的背景下）。大多数构造都依赖于顺序平方猜想，即计算均匀（g）的（g^{2^T}模N至少需要（T）（顺序）步。我们从两个角度研究时间锁原语的安全性：i） 我们给出了非通用计算模型中序列平方猜想的第一个严格结果。也就是说，在我们称之为强AGM的代数群模型（AGM）的定量版本中，我们证明了序列平方的任何加速都与因子分解一样困难。ii）然后我们将重点放在时间承诺上，这是可以从时间锁谜题中获得的最重要的原语之一。我们将现有的安全定义扩展到在高级协议中使用时间承诺时可能出现的设置，并给出了非延展时间承诺的第一个构造。作为独立感兴趣的构建块，我们还定义了一个相关原语，称为定时公钥加密（timed public-key encryption）。关于整个系列，请参见[Zbl 1482.94009号]. 引用于1审查引用于16文件 MSC公司： 94A60型 密码学 关键词：序列平方猜想;非通用计算模型 PDF格式BibTeX公司 XML格式引用 \textit{J.Katz}等人，Lect。注释计算。科学。12552，390--413（2020；Zbl 1485.94098） 全文： 内政部