moon9的博客

本文深入解析了后泄露安全的可更新加密方案，探讨了不同安全概念之间的差异与关系，包括strongUP-IND-BI与IND-ENC、IND-ENC与strongUP-IND-BI的分离示例，以及IND-UPD与UP-REENC的安全性比较。文章详细分析了多种可更新加密方案的构造与安全性，涵盖基于对称加密的双重加密方案2ENC、基于密钥同态伪随机函数的BLMR和BLMR+方案、基于ElGamal的RISE方案，以及适用于云环境的SE-KEM构造。通过对比各方案在加密不可区分性（IND-ENC）和更新不可区分性（

本文深入解析了具备后泄露安全特性的可更新加密技术，介绍了其核心概念如挑战相等时期、单向与双向密文更新，并详细阐述了两种关键的安全模型：自适应加密不可区分性（IND-ENC）和自适应更新不可区分性（IND-UPD）。文章对比了现有安全定义的优劣，揭示了弱与强UP-IND-BI模型的差异，分析了XOR-KEM方案在不同模型下的安全性缺陷。最后讨论了实际应用中的安全性、性能与操作复杂度权衡，并指出了未来研究方向，包括低泄露方案设计、新安全概念构建及现有方案优化。

本文深入解析了具有后泄露安全性的可更新加密技术，介绍了其形式化定义、核心算法及安全特性。文章详细阐述了对称加密基础、IND-CPA安全性、决策性Diffie-Hellman假设等预备知识，并构建了包含UE.setup、UE.next、UE.enc、UE.dec和UE.upd的可更新加密方案。重点讨论了令牌安全性、前向安全性、后泄露安全性和自适应安全性等关键安全属性，提出了细粒度的腐败建模方法和针对被动攻击的安全模型。最后总结了当前研究的局限性并展望了未来方向，强调在实际应用中需权衡安全性与效率，以应对复杂的

本文深入探讨了可更新加密与密钥轮换的安全挑战及解决方案，分析了传统方法在数据外包场景下的局限性，并综述了现有可更新加密方案的安全模型与构造。文章指出密文独立性与后泄露安全性的重要性，提出了强安全模型IND-ENC和IND-UPD，并评估了BLMR、2ENC、XOR-KEM等方案的安全性与效率。作者提出了一种新型高效且安全的密文独立方案RISE，证明其满足强安全定义，并在计算成本上优于现有方案。此外，文章还探讨了可更新加密在云存储、物联网和金融领域的应用前景，指出了未来在效率优化、多用户环境支持及与其他密码技

本文研究了Naor-Reingold（NR）构造在公共种子排列下的相关性难处理性（CI），提出了更强的强规避性概念，并探讨其与传统规避性的关系。文章分析了两轮Feistel结构对特定规避关系的部分CI性质，进而通过将强规避关系转化为2-Feistel规避关系，结合独立性假设，证明了NR构造在满足条件时对强规避关系具有CI安全性。完整的技术路线包括引理推导、概率边界分析和关键命题的详细证明，为基于NR的密码系统提供了理论支撑。

本文研究了在公开种子设置下Naor-Reingold（NR）构造的伪随机性，重点探讨其将不可区分混淆（UCE）转换为伪随机置换（psPRP）的能力。通过分析不可预测源和重置安全源两种情况，结合游戏变换与优势度量，严格证明了NR构造的安全性。结果表明，该构造在多种安全模型下均能有效提升密码系统的安全性，为密钥交换、数字签名及哈希函数设计等应用提供了坚实的理论基础。

The blog discusses the Naor-Reingold (NR) construction, focusing on its public-seed security and correlation intractability (CI) properties. It explains how the NR construction, when instantiated with appropriate permutations and hash functions, achieves s

本文研究了抗流式敌手的单比特非可塑码与在已知密钥设置下的块密码构造。提出了一种无需公共参考串和计算假设的无条件安全非可塑码构造，可抵御具有小内存的流式敌手。同时，针对已知密钥场景，引入并实现了公共种子伪随机置换（psPRP）和相关难处理密码的新构造，利用Naor-Reingold框架结合UCE哈希函数和O(k^2)-wise独立置换，将安全性所需的轮数从传统的5至6轮降低至仅2轮，显著提升了效率。研究成果为密码学理论发展提供了新方向，并有望推动实际应用中的高效安全设计。

本文系统地研究了非可变形码（NMC）的构造，基于平均情况下的硬度假设，提出了在CRS模型下针对AC0类篡改函数的高效单比特与多比特编码方案。通过定义多个混合实验并证明其计算不可区分性，文章建立了安全性的理论基础。核心构造依赖于具有AC0解密能力的公钥加密、弱一次性模拟稳健的NIZK证明系统以及满足特定奇偶条件的随机分布。文章深入分析了证明模拟、加密模拟、模拟稳健性及Db相对于替代解码的硬度等关键属性，并给出了完整的算法伪代码和安全性定理。最后探讨了该技术在安全通信与数据存储中的应用前景，并指出了未来在效率提

本文研究了基于平均情况硬度的非可塑性代码，系统回顾了相关领域的研究成果，并对不同构造方法进行了比较。文章详细定义了非可塑性、强非可塑性和中等非可塑性等核心概念，提出了针对单比特消息的通用构造方案。通过引入非交互式可模拟证明系统与加密模拟机制，结合混合论证方法，严格证明了该构造在特定篡改函数类下的安全性。此外，还分析了安全性保障机制，并展望了未来在扩展篡改函数类、提升效率及融合其他安全技术等方面的研究方向。

本文提出了一种基于平均情况硬度的非可变形码通用构造框架，适用于多种篡改类，包括AC0电路、有界深度决策树和流式空间有界攻击者。在计算和信息论安全模型下，分别实现了单比特与多比特消息的非可变形编码。核心技术包括双加密范式、NIZK证明、傅里叶分析与随机限制，并结合硬分布和模拟可靠验证机制。成果涵盖需CRS与计算假设的构造（如AC0）以及无需信任设置的无条件安全方案（如流式攻击模型），并在硬件安全、云计算等领域具有应用潜力。同时探讨了计算复杂度、参数优化及新篡改模型等未来挑战。

本文探讨了不可延展随机性编码器的理论基础及其在构建针对多种复杂篡改函数类的不可延展码中的应用。通过引入平均情况硬度下的通用构造框架，结合Naor-Yung双重加密范式，实现了对AC^0电路、有界深度决策树和流式空间有界对手等实际相关篡改类的安全防护。文章还展示了从强无种子t源不可延展提取器到t-分裂状态增强不可延展码的转化方法，并分析了其在抗篡改计算场景中的关键作用。与传统纠错码相比，不可延展码提供了更广泛的安全保障，适用于更复杂的攻击模型。未来的研究方向包括优化编码效率及应对动态篡改场景。

本文提出并分析了不可延展随机性编码器（NMRE）及其在构建高效不可延展码中的应用。通过定义2-分裂状态篡改模型和构造模拟器，利用增强不可延展码、一次性MAC和提取器等组件，证明了所提方案的安全性，并实现了接近1/2的编码速率和低误差。进一步地，以NMRE为黑盒构建了3-状态1-增强不可延展码，在保持常数速率的同时保障高安全性。文章探讨了其在抗篡改系统、云计算等场景的应用潜力，并指出未来研究方向包括t-状态NMRE的最优速率探索及在量子通信、区块链等领域的扩展应用。

本文介绍了不可延展随机编码器（NMRE）的概念、构造及其在信息安全中的应用。通过结合增强不可延展码（aug-NMC）、信息论一次性消息认证码（MAC）和随机数提取器，构建了一个高效的2状态NMRE，并证明了其不可延展性。同时，展示了如何以黑盒方式利用NMRE构建任意消息的不可延展码（NMC），实现了恒定速率与高安全性。文章还分析了参数选择、性能表现及实际应用场景，为数据的安全存储与传输提供了新思路。

本文探讨了密码学中非有损方案的安全假设与非延展随机编码器（NMREs）的技术进展。分析了Dilithium等格基签名方案在量子随机预言模型下的安全归约，提出其安全性依赖于MLWE和新定义的SelfTargetMSIS假设。同时，介绍了NMREs作为NMCs的轻量化变体，在仅需保护随机消息的场景下实现了更高的编码速率（2-分裂状态速率达1/2），并展示了其在对称密钥系统、物联网、云计算和区块链中的应用潜力。文章还对比了NMREs与传统NMCs的优劣，并展望了未来在提升速率、扩展应用场景及增强安全性方面的研究方

本文介绍了Dilithium数字签名方案的改进版本——Dilithium-QROM，该方案基于量子随机预言机模型（QROM）中的模块学习误差（MLWE）问题，具备可证明安全性和良好的量子安全性。通过对身份识别协议的设计与安全性质分析，包括正确性、零知识性、有损性和计算唯一响应等，展示了其在抵御各类攻击方面的优势。尽管公钥和签名大小约为原始Dilithium方案的3.2倍，但在量子安全环境下更具竞争力。文章还提供了具体参数设置、安全性归约分析，并探讨了其在量子通信、云计算和物联网等领域的潜在应用，展望了未来在

本文深入解析了在量子随机预言模型下基于Fiat-Shamir变换的数字签名方案安全性。文章首先介绍规范身份识别方案及其核心属性，包括正确性、零知识性、最小熵和计算唯一响应，并引入有损身份识别方案以增强安全性分析。随后详细阐述了Fiat-Shamir及其变体（如可恢复承诺和确定性版本）如何将交互式识别协议转化为非交互式签名方案，并给出了在UF-CMA1、sUF-CMA1和UF-NMA等安全模型下的严格安全性证明。通过游戏转换技术，论证了签名安全性与底层识别方案属性之间的归约关系。最后探讨了实际应用中的参数选择

本文研究了菲亚特-沙米尔签名在量子随机预言机模型（QROM）下的安全性，提出了一种基于有损身份识别方案的通用安全分析框架。通过对确定性签名DFS[ID, H, PRF]和概率性签名FS[ID, H]的模块化分析，证明了前者在QROM下具有紧密的UF-CMA安全性，而后者为非紧密安全。文章构建了新的格基签名方案Dilithium-QROM，在增加模数和维度后实现有损模式，并基于MLWE问题获得紧密归约。同时给出了具体安全边界、流程图及不同方案的比较，为抗量子数字签名的设计与分析提供了理论基础和实践指导。

本文探讨了密码学中公钥加密方案的安全性实验与不同攻击模型下的OW-ATK安全性定义，分析了随机预言模型中的多种加密方案变换及其性质。通过引理证明为相关理论提供了数学基础，并深入研究了Fiat-Shamir签名方案在经典与量子随机预言模型（QROM）下的安全性问题。针对量子环境下传统归约技术失效的挑战，提出基于有损身份识别和通用归约框架的解决方案，实现了从底层困难问题到签名安全的紧密归约。以Dilithium方案为例，展示了如何修改现有格基签名以获得QROM中的紧密安全性，尽管带来一定通信开销，但为抗量子数字

本文深入解析了紧安全密钥封装机制（KEM）的技术原理，涵盖离散概率密钥加密（DPKE）的基础构造、从IND-CPA安全PKE到可分离模拟DPKE的非紧致转换（TPunc），以及通过SXY转换实现IND-CCA安全KEM的方法。文章详细分析了NTRUHRSS17变体的改进方案NTRUHRSS17'及其在ROM与QROM模型下的安全性证明，并展示了在桌面PC与树莓派上的实验结果。最后总结了操作步骤、优化方向及未来研究展望，为后量子密码体制的设计与实现提供了重要参考。

本文深入探讨了紧安全密钥封装机制（KEM）的构建原理与关键技术，重点分析了基于不相交可模拟的确定性公钥加密（DPKE）方案如何实现IND-CCA安全的KEM并避免二次安全损失。文章介绍了预备知识包括量子随机预言机模型（QROM）、LWE与NTRU等格基假设，并提出了通过修改解密算法返回随机值来有效模拟解密预言机的方法。同时，对比了三种随机预言机模拟方式的优劣，给出了不同场景下的选择策略。最后展望了未来在优化方案、新假设探索及实际应用中的研究方向。

本文研究了对称密钥量子加密中的新型安全概念，包括QCA、QUF、QIND-CCA2和QAE，并探讨了它们之间的关系及存在的开放性问题。在密钥封装机制方面，针对量子随机预言模型（QROM）下现有方案存在的非紧归约与二次安全损失问题，提出了一种基于不相交可模拟性DPKE方案的新型KEM构造方法——SXY转换。该方法避免了传统BR-KEM中依赖OW2H引理所带来的安全损失，实现了更紧的安全归约，并通过NTRU-HRSS实例验证了其可行性与安全性。未来工作将聚焦于完善理论关系、优化性能并拓展后量子基础下的应用。

本文深入探讨了量子加密中的关键安全概念，包括不可伪造性（UF）、量子自适应选择密文安全性（QIND-CCA2）以及量子认证加密（QAE），分析了它们在经典与量子环境下的差异与联系。文章形式化定义了QIND-CCA2和QAE的安全模型，揭示了QAE蕴含QIND-CCA2、cQCA、cDNS和QUF等性质，并介绍了从QCA安全方案构造QAE的方法，涵盖基于随机函数族、后量子伪随机函数和t-wise独立函数族的高效实现。同时，通过分离结果说明QIND-CCA2不蕴含QAE，展示了安全概念间的严格层次关系。最后总结

本文深入解析了不可伪造的量子加密技术，重点探讨了一次性密文认证与量子不可伪造性（QUF）的核心概念。文章对比了量子与经典认证的区别，详细阐述了对称密钥量子加密方案（SKQES）的结构特征与安全定义，包括密文认证（QCA）和计算安全变体（cQCA）。通过2desTag等具体方案示例，展示了加密机制的实现方式，并形式化定义了QUF及其在Forge与Cheat实验中的安全性评估。同时，分析了QUF与QIND-CPA等安全概念的关系，探讨了其在量子通信、云计算和金融交易等场景的应用前景，最后展望了算法优化、技术融合

本文深入探讨了在量子互联网背景下，如何实现安全的量子消息传输。针对传统经典加密在量子环境下的局限性，研究提出了多个新的安全定义，包括量子密文认证（QCA）、量子不可伪造性（QUF）、量子选择密文安全性（QIND-CCA2）以及量子认证加密（QAE），并构建了满足这些安全属性的量子加密方案。通过结合对称密钥量子加密方案与经典密钥函数族，实现了高效且安全的构造方法，为未来量子通信的安全性提供了坚实的理论基础和实践路径。

OPAQUE是一种安全的非对称密码验证密钥交换（PAKE）协议，结合DH-OPRF与HMQV类密钥交换机制，支持2消息隐式认证与可选的3消息显式相互认证。它在随机预言机模型下基于One-More Diffie-Hellman假设可证明安全，具备前向安全性、抗字典攻击能力，并支持秘密存储、TLS集成及阈值部署。其变体乘法盲化通过固定基指数优化性能，但引入传输开销与安全考量。OPAQUE在安全性、效率和功能扩展性方面表现优异，是现代密码认证系统的有力候选方案。

本文深入解析了OPAQUE这一安全的非对称密码认证密钥交换（aPAKE）协议，从HMQV协议在UC模型下的安全性与等价性出发，探讨其在不同攻击模型中的表现。文章详细介绍了基于OPRF和AKE-KCI构建的强aPAKE协议框架，涵盖密码注册与登录阶段的设计，并强调认证加密在保障密钥安全中的核心作用。通过构造模拟器并分析真实与理想世界视图的不可区分性，证明了协议在FOPRF混合模型下可UC实现FSaPAKE功能。最后，以OPAQUE为例展示了该通用框架的具体实例化过程，结合DH-OPRF与安全AKE协议，实现了

本文探讨了如何利用不经意伪随机函数（OPRF）构建安全的非对称密码认证密钥交换协议（aPAKE）。重点介绍了强aPAKE功能FSaPAKE的安全定义，并对比其与传统aPAKE的区别，强调其在防范预计算和离线字典攻击方面的优势。文章提出两种编译方法：一是将OPRF与aPAKE结合，通过密码随机化增强安全性；二是将OPRF与具备KCI安全的认证密钥交换协议（如HMQV）结合，实现强aPAKE。两种方法均在通用可组合（UC）框架下进行安全性分析，为实际应用提供了高安全性的协议设计路径。

本文介绍了布隆过滤器加密（BFE）与OPAQUE协议在密码认证和密钥交换领域的创新应用。BFE作为可穿刺加密的变体，支持前向保密0-RTT密钥交换，适用于物联网与云计算场景，通过将高成本操作移至离线阶段提升效率。OPAQUE协议结合OPRF与AKE，构建了抗预计算攻击的Strong aPAKE方案，解决了传统aPAKE的安全缺陷，在不依赖PKI的前提下实现安全密码认证，适用于金融、社交等高安全需求场景。文章还分析了技术实现流程及未来融合与标准化潜力。

本文介绍了一种基于Fujisaki-Okamoto变换实现IND-CCA安全的公钥密钥封装机制（PKEM），并通过一系列归约游戏证明其安全性可由底层方案的OW-CPA安全性保障。同时，提出一种基于时间槽的布隆过滤器加密方案，结合分层身份基密钥封装机制（HIB-KEM）与二进制树结构，有效控制私钥打孔后的误报率增长，提升前向安全性和可扩展性。该方案具备良好的正确性误差表现，并通过随机预言机模型下的安全性归约，实现了CPA及CCA安全性。最后，通过通用组合方法，将IND-CCA安全的KEM与CCA安全的对称加密

本文深入探讨了布隆过滤器加密（BFE）的形式化模型、安全属性及基本构造，将其视为可穿刺密钥封装机制（PKEM）的一种实例。文章详细介绍了PKEM的四个核心算法KGen、Enc、Punc和Dec，并定义了扩展正确性、可分离随机性、公开可检查穿刺和密文最小熵等关键属性。基于双线性映射和哈希化Boneh-Franklin IBE方案构建的BFE具备较短密文长度与灵活参数调节能力，适用于0-RTT密钥交换、数据加密存储与隐私保护等场景。安全性分析表明该方案在BCDH假设下满足IND-CPA和OW-CPA安全，同时通

本文提出了一种新型加密原语——布隆过滤器加密（BFE），用于实现高效且具有完全前向保密的零往返时间（0-RTT）密钥交换协议。BFE通过引入可容忍的正确性误差，显著提升了穿刺操作的效率，解决了现有可穿刺加密方案中穿刺慢或解密成本高的问题。文章给出了多种BFE构造方法，包括直接构造、基于CP-ABE的黑盒构造以及高效的时间基BFE（TB-BFE），并结合Fujisaki-Okamoto变换实现了CCA安全。基于TB-BFE构建的0-RTT协议在实际部署中表现出优越的性能，支持回退机制以保障通信可靠性，适用于T

本文深入解析了模糊密码认证密钥交换协议fPAKERSS，涵盖其协议概述、安全性分析及定理证明，并探讨了在静态腐败下的安全实现。文章对比了fPAKERSS与fPAKEYGC两种协议的安全假设与效率特性，指出fPAKERSS在通信轮次和公钥操作上的优势，而fPAKEYGC可通过OT扩展和拆分功能优化性能。同时讨论了自适应腐败的局限性及建模假设的去除路径，为实际应用中协议选择提供了依据。

本文深入解析了模糊密码认证密钥交换（fPAKE）技术，涵盖其核心机制如拆分随机模糊相等性、汉明距离计算电路设计、鲁棒秘密共享与线性码的应用，并介绍了仅隐式PAKE的安全模型。文章还展示了如何结合RSS、签名方案和ℓ-iPAKE构建高效的fPAKE协议，分析了其在安全性、效率和灵活性方面的优势，探讨了在物联网、移动支付和云计算等场景的应用前景，并展望了与新兴技术融合、拓展应用领域及标准化等未来发展方向。

本文深入解析了模糊密码认证密钥交换（fPAKE）技术，介绍了三种功能定义：fPAKE、fPAKEM和fPAKEP，分析其信息泄漏程度与安全性。基于姚氏混淆电路（YGC）和双执行协议，提出了一种适用于未认证通道的高效构造方法，并结合不经意传输（OT）实现恶意安全。文章详细阐述了协议构建流程，包括随机模糊相等测试功能F_{RFE}的定义、协议Π_{RFE}的实现及安全性转换。进一步分析了该协议的功能局限性，指出其只能实现最强泄漏功能fPAKEP的原因，并通过混合模型证明了在特定条件下的安全性。最后总结了整个技术

本文提出了一种新的模糊密码认证密钥交换（fPAKE）方案，旨在解决低熵和有噪声环境下安全密钥协商的问题。基于通用可组合（UC）框架，fPAKE 能够在密码串存在差异的情况下实现安全密钥生成，并有效抵御离线字典攻击。文章设计了两种构造：第一种基于 Yao 混淆电路和不经意传输，适用于任意可计算的‘接近’关系；第二种针对汉明距离优化，效率更高但适用范围受限。通过安全性、效率与功能的权衡分析，该方案为生物识别、物理不可克隆函数等实际应用场景提供了灵活且安全的密钥交换解决方案。

本文研究了辅助输入模拟中的复杂度问题，提出了一种高效近似实现模拟器的方法，其复杂度接近评估区分器的代价。通过拒绝采样和截断权重技术，可在较小误差下逼近理想分布。同时，文章在黑盒模型下证明了泄漏模拟的查询复杂度下界为\Omega(2^{\ell} \epsilon^{-2})，表明现有的MWU方法在同输入黑盒设置下已接近最优。研究还对比了不同模型下的已有下界结果，并通过概率论证和随机函数构造完成了主要定理的证明，为模拟算法的设计与分析提供了理论基础。

本文研究了辅助输入模拟中的泄漏模拟引理，提出了一个改进的乘法权重更新（MWU）算法，实现了相对复杂度为 $\tilde{O}(2^{\ell}\epsilon^{-2})$ 的上界，消除了以往结果中的加法项 $2^{\ell}\epsilon^{-4}$。同时，通过构建预言机模型，证明了黑盒模型下的紧下界 $\Omega(2^{\ell}\epsilon^{-2})$，这是该问题首个匹配的上下界结果。研究在泄漏弹性流密码等应用场景中具有重要意义，并为未来优化算法和拓展应用提供了方向。

本文研究了超奇异同构图与自同态环的关键理论与算法，提出了从极大序构造超奇异j-不变量的构造性Deuring对应算法，并针对CGL哈希函数在特殊初始点下的安全性，设计了多项式时间内的碰撞攻击方法。文章定义了自同态环的紧凑表示形式，证明其在特定条件下的存在性与可计算性，并将自同态环问题归约到极大序、ℓ-挠点作用及内核理想等问题，为相关密码系统的设计与分析提供了理论基础和算法支持。

本文深入探讨了超奇异椭圆曲线上的同构图与自同态环相关的核心算法，涵盖计算自同态环的Z-基、ℓ-幂同构问题向极大序和ℓ-挠作用问题的归约、理想与同构之间的对应关系，以及构造性Deuring对应的实现方法。通过引入随机游走、碰撞查找、理想分解与Vélu公式的结合，系统解析了从四元数理想到椭圆曲线同构的转换流程，并介绍了在密码学中的应用，如针对Charles-Goren-Lauter哈希函数的多项式时间碰撞攻击。文章还提供了算法流程图与复杂度分析，总结了现有成果并展望了未来优化方向与潜在应用场景。