机构名称：
¥ 1.0
摘要。时锁拼图是独特的加密原始图，它使用计算复杂性来使信息秘密在某些时间的时间上保持秘密，然后安全性到期。这个话题虽然超过25年，但仍处于无法充分理解基础的状态下：例如，当前的时间锁定原料的分析技术没有提供合理的机制来构建组成的多方加密原始系统，这些密码使用将到期安全性作为基础。此外，有一些分析采用理想化和模拟器的不现实构成能力，成为可接受的合理安全论点。我们用这篇简短论文的目标是倡导了解哪些方法可能会导致理想化超出理想化的声音建模，而哪种方法实际上可能对这项声音建模的任务变得绝望。我们在本文中解释了这个微妙的问题的现有尝试如何缺乏合成性，完全一致的分析或功能。现有框架中的微妙缺陷减少了Mahmoody等人的不可能，他表明，具有超多项式差距（在委员会和求解器之间）的时间锁定难题不能单独使用随机牙齿（或任何重复的计算，即下一个状态是完全随机的，就完全随机地给出了先前的状态）；然而，如今对代数难题的分析仍将求解过程视为每个步骤都是通用或随机的甲骨文。我们还描述了用于锁定拼图的证明技术的其他问题。具体来说，当时间锁定拼图必须保留一段时间时，减少应限制模拟器的运行时间。我们指出，如果生成过程依赖于无法将其视为随机甲骨文的陷阱门功能（在避免这种不可能的结果的同时允许有效产生），那么，要保持一致，对解决过程的分析也不应将这种陷阱门函数（及其中间状态）视为随机的Oracle。一个可以“模拟”的模拟器，如果给出的时间，如果给予对手允许所述对手解决拼图不是有效的安全参数。我们调查了各种尝试对该原则的遵守，以及不同尝试实现组成的特性。
虚构类组的有效哈希功能
主要关键词
相关文件推荐
