摘要。时锁拼图是独特的加密原始图，它使用计算复杂性将信息保密在一段时间内保持秘密，此后安全性到期。不幸的是，在引入的二十五年之后，当前的时间锁定原料的分析技术没有提供合理的机制来构建多方加密原始的原始系统，这些密码原始的原始系统将到期的安全性用作建筑块。正如在同行评审的文献中重新指出的那样，当前对此问题的尝试缺乏合成性，完全一致的分析或功能。本文介绍了一个新的基于理论的复杂性框架和新的结构定理，以分析具有完整通用性和组成的定时原则（这是中央模块化协议设计工具）。该框架包括一个基于细粒度的复杂性的安全模型，我们称之为“剩余复杂性”，该模型可能会在定时原语上泄漏。我们针对多方计算协议的定义通过考虑细粒度的多项式电路深度来概括文献标准，以模拟可行时间到期的计算硬度。我们的组成理论依次又导致（细粒度）安全性降解，因为项目的组成。在我们的框架中，模拟器具有计算深度的多项式“预算”，在组成中，这些多项式相互作用。最后，我们通过典型的拍卖应用演示如何应用我们的框架和定理。在第一次，我们证明可以以完全一致的方式证明，具有虚假的假设 - 基于漏水，温和安全的组件的多方应用程序的属性。因此，这项工作显着地将可证明的密码学扩展到了独立的任意多项式安全性的世界，再到经常出现在实践中的小时域的领域，在实践中，组件的安全性到期，而较大的系统仍然安全。