摘要。Fujisaki-Okamoto Transform（FO）是实现Quantum Post-Quantum键封装机制（KEMS）选择的首选方法。通过重新加密步骤，FO中的重要步骤正在增强解密/解密算法 - 重新加密解密的消息以检查是否使用了正确的加密随机性。在解决安全问题（Ciphertext-Malleability）时，重新加密已成为引入侧渠道漏洞，并且计算昂贵，这使设计师促使设计师搜索替代方案。在这项工作中，我们对此类替代方案进行了全面研究。我们将中央安全属性，计算刚度正式化，并表明它足以获得CCA安全性。我们提出了一个用于分析算法的框架，该算法可以取代重新加密并仍然达到刚性，并在此框架中分析现有建议。在此过程中，我们选择了一个新颖的QROM安全声明，以根据确定性的PKE方案明确拒绝KEM，这是迄今为止仅在需要基本PKE方案难以确定的量子属性时才有可能的。