XiaoMi-AI文件搜索系统
World File Search SystemCryptography
基于游戏的密码学
在此AFP条目中，我们展示了如何使用Crypthol Framework从文献中正式证明基于游戏的加密安全性概念，并正式证明了一些加密构造。除其他外，我们将随机甲骨文的概念，伪随机函数，不可预测的函数以及在所选的明文和/或ciphertext攻击下呈现不佳的加密方案。我们证明了随机排列/随机功能开关引理，Elgamal和Hashed Elgamal公共密钥加密方案的安全性以及具有伪随机函数的几种构造的正确性和安全性。我们的证据遵循Shoup [19]和Bellare和Rogaway [4]提倡的游戏风格，从中取了大多数示例。我们概括了他们的一些结果，以便可以在其他证据中重复使用。多亏了克里普托与伊莎贝尔的参数内部的集成，使用代表独立性理论可以很容易地为许多简单的啤酒花构成。
教程“基于代码的密码学”
• n = pq 的整数因式分解：如果 n 适合 s 位，则对 2 s + 3 个量子位进行大约 O（s 3 log s）次运算 • 离散对数问题的类似变体也存在 ⇒ 会破坏经典 PKC（RSA、ElGamal……）
量子计算和密码学
量子力学的物理定律为当今的计算机处理信息提供了一种替代方法。传统计算机使用位（0 或 1）作为构建块，而量子计算机则使用量子位或量子比特，它们可以同时是 |0⟩ 和 |1⟩ 的组合。图 1 中的布洛赫球面表面最能描述一个量子比特可以采用的可能值谱。位允许两个离散值，而量子比特可以将一个点存储在二维连续体（球面）中。量子计算可以利用这些更强大的量子比特，不仅对确定值 |0⟩ 或 |1⟩ 执行运算，还可以同时对所有可能的叠加执行运算。因此，量子计算在选定任务方面比二进制计算具有效率优势。只有在具有适当的量子计算机硬件的情况下，某些任务才会因这种效率提升而变得可行。总之，对于某些问题，量子计算机比传统计算机具有速度优势，因此可以执行当前传统计算机无法执行的计算类型。
加密攻击和减少
1。在游戏开始时，算法B从挑战者那里获得了挑战t r← - {0，1} n。我们正在为G的PRG安全游戏构建对手。这个游戏开始于挑战者向对手发送挑战t∈{0,1} n，其中t←g（s）或t r← - {0,1} n。2。算法B开始运行算法a。本质上，我们在这里构建了一个减少。我们的目标是将区分G的问题减少到区分G'的问题。为此，我们将依靠我们的对手a来区分g'。3。算法B将T⊕1N发送到A并输出任何输出。算法A是G'的对手，因此它期望单个输入t∈{0，1} n，其中t←g'（s）或t r← - - {0，1} n。请注意，这是我们唯一保证了a行为的设置。算法A上从某些其他分布绘制的字符串上的行为是未确定的。作为我们分析的一部分，我们需要争辩说B正确模拟了PRG中A中A的视图，以区分G'。