blue的专栏

本博客围绕深度神经网络在Speck分组密码分析中的应用展开，系统研究了Gohr区分器的优化方法。通过网络剪枝和彩票假设验证，成功精简了深度为10和深度为1的区分器，同时保持其性能稳定。此外，利用自动编码器进行特征工程，进一步提升了剪枝后区分器的性能。结合LIME方法对模型输入特征的重要性进行分析，为后续改进预处理策略提供了指导。研究成果为深度学习在密码分析中的应用提供了新的思路和技术支持。

本文围绕轻量级分组密码Speck32/64的密码分析展开，结合改进的差分线性攻击方法与深度神经网络辅助分析技术。研究通过构建高效的差分线性区分器，实现了对13轮和14轮Speck32/64的密钥恢复攻击。同时，探索了深度神经网络在区分攻击中的应用，尝试寻找更小且性能更优的网络结构，并对输入预处理和特征重要性进行了评估。尽管当前分析尚无法威胁Speck32/64的安全性，但为ARX密码的密码分析提供了新的思路与方法。未来的研究将扩展至其他ARX密码，并进一步优化网络架构与特征解释技术。

本文介绍了一种改进的差分线性攻击方法，应用于轮数缩减的Speck32/64密码算法。通过在比特级别分析差分传播的单调性质，并结合差分权重的命题，提出了有效翻转位的概念，从而显著降低了攻击的数据复杂度和时间复杂度。文章详细描述了差分线性攻击的改进策略，包括差分特征搜索、有效翻转位的寻找算法以及高效区分器的构建。最终，该方法成功应用于13轮和14轮Speck32/64的密钥恢复攻击，并展示了相较于传统方法的优越性。

本文探讨了白盒Speck实现的多种代码生成策略及其性能对比，并介绍了改进的差分线性攻击方法对Speck32/64的安全性分析。重点分析了稀疏矩阵、内联、位打包和SIMD等策略在磁盘空间与执行效率上的优化，以及差分传播特性在密码分析中的应用。

本博客探讨了一种基于自等价编码的白盒Speck加密实现方法，并对其安全性进行了深入分析。通过引入自等价编码和外部编码，构建了功能等价于原始Speck密码的白盒实现。然而，分析表明，当前基于线性或仿射自等价编码的白盒Speck实现均易受到密钥恢复攻击，攻击者可在短时间内恢复主密钥和外部编码。尽管如此，使用高阶自等价（如二次、三次或四次）可能提升安全性。博客还介绍了生成白盒Speck实现的程序设计与实现方法，并展望了未来的研究方向。

本文探讨了基于自等价编码的Speck白盒实现方法，分析了其安全性，并提出了代码优化策略以提高实现效率。尽管结果显示当前设计易受攻击，但为未来白盒密码学的研究提供了有价值的参考。

Astrape是一种基于普通密码学的新型匿名支付通道网络，结合了XorCake和HashOnion的优势，实现了高效、安全和匿名的加密货币支付。它通过事后不一致性证明机制保障平衡安全性，同时避免使用复杂的定制加密原语，具有良好的通用性和可扩展性。博文详细介绍了Astrape的构造原理、安全性分析、区块链实现以及与其他支付通道网络的对比，展示了其在加密货币支付、去中心化金融和物联网支付等场景的应用前景。

Astrape 是一种基于基础密码学的匿名支付通道解决方案，它通过结合 XorCake 和 HashOnion 的特性，实现了关系匿名性和余额安全性。该方案仅依赖哈希和签名这两个 HTLC 的基本构建块，避免了使用复杂的自定义密码学构造，从而提高了灵活性和适应性。Astrape 在发送者诚实的情况下提供匿名保护，在发送者恶意的情况下保证资金安全，并有效抵御虫洞攻击。

本文探讨了区块链拍卖协议的复杂度分析以及支付通道网络（PCN）中的隐私和安全问题。重点介绍了首价拍卖和二价拍卖协议的计算和通信复杂度，并提出了一种基于普通加密技术的新型匿名 PCN 协议 —— Astrape，其能够在不依赖复杂定制加密原语的情况下实现强关系匿名性。同时，对 Astrape 的性能进行了评估，展示了其在实际应用中的潜力。文章总结了现有方案的不足，并展望了未来研究方向，旨在推动区块链技术在安全、隐私和性能方面的持续发展。

本文介绍了一种名为FAST的拍卖协议，该协议通过秘密交易和恢复机制确保拍卖的公平性和安全性。协议分为四个主要阶段和一个恢复阶段，能够有效识别并惩罚作弊行为，保障拍卖过程的顺利进行。与现有协议SEAL相比，FAST在计算复杂度和通信复杂度方面均表现出更高的效率。此外，文章还分析了协议在不同拍卖类型（如第一价格拍卖和第二价格拍卖）中的适应性，并探讨了其在未来拍卖场景中的广泛应用前景。

本文介绍了名为 FAST 的公平拍卖协议，该协议通过秘密交易和先进加密技术确保拍卖过程的公平性、安全性和隐私保护。文章详细阐述了协议的设计原理、安全模型、构建模块以及具体的拍卖流程。核心技术包括 Pedersen 承诺、公开可验证秘密共享（PVSS）、零知识证明等，这些技术不仅保障了交易金额的隐私性，还实现了公开可验证性。此外，协议通过委员会秘密共享机制来管理陷门，有效惩罚作弊行为。文章还探讨了该协议在拍卖市场和金融交易中的广泛应用前景。

本文探讨了区块链技术在债务处理和拍卖领域的创新应用。首先提出了一种基于有限责任的巴别塔费用方案，通过防止负债进入账本状态，解决了传统债务管理中的权限、信任和通货膨胀问题，并支持多资产账本和统一债务处理。其次，提出了一种公平且高效的拍卖协议FAST，通过秘密抵押存款和金融惩罚机制，确保拍卖过程无需可信第三方并具备公平性。方案还结合了匿名否决协议和非交互式零知识证明等技术，优化了链上效率和安全性。最后，文章对方案的优势进行了对比分析，并展望了其未来应用与发展。

本文详细解析了基于有限负债的巴别塔费用机制，探讨了其在区块链交易中的应用。内容涵盖账本有效性规则、巴别塔报价与汇率机制、覆盖率计算、市场活性保障，以及区块发行者交易选择的最优算法和多项式近似方案。通过与其他机制的对比，突出了巴别塔费用机制在去中心化程度、汇率灵活性和用户操作便捷性方面的显著优势。最后，文章展望了该机制在优化交易成本和未来区块链生态中的潜在应用前景。

本文探讨了在区块链多资产账本中使用有限负债和巴别塔费用实现灵活交易费用支付的方案。通过允许交易输出中包含内部负债，并在同一批次中解决这些负债，账本可以支持使用自定义代币支付交易费用。文章详细描述了账本规则的修改、现货市场方案以及块生产者如何优化交易选择以最大化利润。这种方法提高了交易费用支付的灵活性，并促进了不同代币的流通和使用。

本文探讨了分布式共识协议的基础理论及其在区块链交易费用支付中的创新应用。文章详细介绍了弱共识协议、分级共识协议以及预期常数轮次共识协议的定义和流程，分析了它们在可靠性、安全性和效率方面的优势与挑战。同时，针对以太坊自定义货币的交易费用支付问题，提出了巴别费用和有限负债机制作为创新解决方案，为提升自定义货币的使用便利性提供了新思路。

本文深入探讨了分布式系统中发送腐败（send corruption）问题的拜占庭程度及其带来的挑战。文章从模型基础、广播与共识的定义，到经典协议如 Dolev - Strong 的改进与局限性，分析了发送腐败与拜占庭腐败的相似危害。同时，介绍了 All - to - All FixReceive 协议和弱广播协议的设计原理与安全性分析，并构建了一个在发送腐败、接收腐败和拜占庭腐败共存情况下具备安全性的常数轮同步共识协议。文章总结了当前技术的不足，并展望了未来的研究方向，包括提高腐败容忍度、降低协议复杂度以及

本文系统研究了发送受损对拜占庭协议的影响，分析了传统广播范式在发送受损模型中的失效情况，并提出了一种新的预期恒定轮次共识协议。该协议能够容忍发送受损、接收受损和拜占庭受损，在强自适应环境下实现了较高的受损容忍度和较低的轮次复杂度，尤其在局部发送受损模型中达到了最优性能。

本文介绍了一种高效的编译器实现，用于在诚实多数方的多方计算（MPC）中实现隐蔽安全且具备公开可验证性。通过详细的协议设计（如Πopen协议、Blame算法、Πreconstruct协议和Judge算法），实现了在少于n/2个参与方被破坏的情况下，具备威慑率ε 1 - 1/k的公开可验证隐蔽安全性。文章还分析了协议的安全性、计算与通信复杂度，并与先前工作（如Faust等的TLP方法）进行了对比，证明了该编译器在实际场景中具有更高的性能优势。最后，文章探讨了该编译器在金融、医疗和物联网等领域的广泛应用前景。

本文介绍了一种高效编译器，用于将诚实多数下的被动安全多方计算（MPC）协议转换为具有隐蔽安全性和公开可验证性的协议。编译器利用签名方案、公开可验证秘密共享（PVSS）、公共公告板和抛硬币功能等密码学模块，确保在敌手存在的情况下，协议能够抵御主动攻击，并在检测到作弊时生成公开可验证的证书。文章详细描述了协议的各个阶段，包括种子生成、并行执行、证据创建、执行开放与验证，以及责任归咎机制，从而为多方计算提供了更高的安全性和可靠性。

本文介绍了一种高效的隐蔽安全编译器，在诚实多数假设下实现了多方计算（MPC）的公开可验证性。通过采用公开可验证的秘密共享方案（PVSS）替代昂贵的时间锁谜题（TLP），该编译器在保证安全性的同时显著降低了计算和通信复杂度。此外，编译器以黑盒方式使用被动安全协议，能够增强任何现有或未来的被动安全协议的安全性，为金融、医疗等实际应用场景提供了更优的解决方案。

本文提出了一种基于加法秘密共享的高效两方指数运算协议，通过无位分解的受限商转移协议和模数转换协议，实现了在(F_{Mul}, F_{Conv})-混合模型下的UC安全性。协议在需要模数转换时仅需3轮和4次乘法调用，不需转换时则为2轮和3次调用，效率优于现有方案。核心技术包括高效的商转移和模数转换协议，适用于安全计算中的指数运算场景。

本文介绍了一种基于商转移（QT）的高效两方指数运算协议，结合加法秘密共享和模数转换技术，在安全多方计算（MPC）框架下实现了高效的指数运算。文章提出了新的指数运算框架Π_EXP，并设计了基于QT的模数转换协议Π_Conv，确保在不同模数空间之间的安全转换。同时，针对特定输入场景，提出了一种无需位分解的受限商转移协议，进一步提升了协议效率。所有协议均在F_Mul和F_QT混合模型下证明了其正确性、安全性和效率。

本文提出了一种基于商转移的高效两方指数运算协议，在不诚实多数环境下，该协议基于加法秘密共享且不依赖位分解技术，实现了较低的通信轮数和乘法调用次数。通过引入新的指数运算框架、受限商转移协议和模数转换协议，该方法在公共底数的指数运算中表现出优越性能。文章还对比了现有协议，展示了所提协议在效率和兼容性方面的优势，并讨论了其局限性与未来研究方向。

本文探讨了如何基于公钥加密（PKE）构建高效且紧密安全的不经意传输（OT）协议，并分析了其在单用户和多用户环境下的安全性。通过引入随机预言机和伪随机公钥等原语，构建了完整的OT协议流程，并利用LWE（学习误差）问题增强协议的安全性。同时，讨论了多用户场景下对LWE样本数量和噪声水平的影响，以及其对协议整体安全性与效率的权衡。

本文提出了一种在随机预言机模型中构建高效且具有紧密安全性的不经意传输（OT）协议的新方法。该方法基于底层公钥加密（PKE）的多用户安全性，并利用公钥的伪随机性，实现了针对恶意发送方和恶意接收者的紧密安全性。与以往工作相比，我们的协议在通信复杂度和计算效率方面具有明显优势，特别是在基于格或码的后量子密码学方案中表现突出。我们回顾了ElGamal、Regev和对偶Regev等常见PKE方案的多用户安全性，并将其应用于OT协议的构建，为未来在多方计算、安全云计算等领域的应用提供了坚实基础。

本文探讨了确定性有限自动机（DFA）的评估协议与条件披露方案（CDS）的构建方法，以及高效的无感知传输协议（OT）设计。通过将DFA转换为单调span程序（MSP）矩阵，并结合基于MSP的CDS方案，实现了安全且高效的DFA评估协议。此外，文章还提出了一种基于紧密多用户安全的公钥加密（PKE）的OT协议，具备高效性和紧密安全性。这些技术在数据隐私保护、安全多方计算等领域具有广泛应用价值，同时也指出了未来在恶意参与者场景扩展、非确定性自动机协议构造等方面的研究方向。

本文提出了一种高效的确定性有限自动机（DFA）不经意评估协议与条件披露秘密（CDS）方案，能够在保护数据隐私的同时高效完成计算任务。文章详细介绍了协议的设计原理、安全性分析及在DNA匹配中的实际应用，展示了其在安全性、计算效率和通信复杂度方面的显著优势。通过将DFA和输入字符串进行混淆处理，并结合多客户端可验证计算框架，该协议有效防止了恶意方的干扰，适用于多种隐私敏感场景。

本文提出了一种基于秘密条件披露（CDS）的确定性有限自动机（DFA）高效不经意评估协议。该协议能够在不泄露自动机和输入字符串的情况下，判断字符串是否被自动机接受，适用于DNA匹配、密码格式验证、垃圾邮件检测等隐私敏感场景。相比以往基于非对称加密原语的方案，我们的方法不依赖昂贵的非对称操作，具有常数轮、非交互式和更高效率的优势。同时，我们还提出了一个标准的DFA的CDS方案，为信息论安全性提供了保障。

本文介绍了一种名为 PSI-Stats 的隐私保护安全统计计算协议，旨在通过私有集合交集（PSI）实现对交集元素关联值的统计计算，如交集和、近似和组成等。该协议支持两种类型（类型 1 和类型 2），能够在不泄露隐私的前提下输出交集的算术平均、几何平均等统计信息。文章详细描述了协议的各个阶段、数学原理、安全性分析以及在不同数据集上的性能测试结果。实验表明，PSI-Stats 在通信开销和计算效率方面优于现有的基于电路的 PSI 方法，尤其适用于低带宽环境。此外，PSI-Stats 具备良好的可扩展性，支持在交

本文介绍了一种名为PSI-Stats的隐私保护统计计算方案，该方案在保护数据隐私的前提下，支持在私有集合交集（PSI）上安全地计算多种统计函数，包括均值、几何均值、方差、标准差、偏度和峰度等。PSI-Stats在通信效率、计算轮数和隐私保护方面具有显著优势，并在金融、医疗和市场营销等多个领域具有广泛的应用前景。

本文介绍了一种高效的动态群组主动多方计算协议（PMPC）以及隐私集合交集统计协议（PSI-Stats）。PMPC 协议通过多个子协议协作，在多阈值限制下实现了在动态群组中的安全多方计算，同时分析了其通信复杂度和安全性。PSI-Stats 协议则专注于在保护隐私的前提下，安全计算两个集合交集标识符对应的统计信息，相较于传统方法具有更低的货币成本。文章还对比了两种协议的应用场景与技术特点，并探讨了它们结合使用的可能性。

本文介绍了一种在动态群组中实现通信高效的主动多方计算（PMPC）方案。该方案通过一种高效的共享秘密乘法协议（Mult 协议），将摊销通信复杂度降低至 $O(n\sqrt{n})$，能够抵抗最多 $n - \sqrt{n}$ 个主动被破坏的参与者。文章详细阐述了协议的核心组件，包括单变量和双变量秘密共享、多项式自由度、主动秘密共享调整方案以及多经销商批量共享子协议。同时，全面描述了 PMPC 协议的整体流程，涵盖输入初始化、电路层计算、输出处理及应对异常情况的特殊操作。通过这些创新方法，该方案在安全性和效率之

本文探讨了密码学中的两个关键领域：隐私可预测论证在见证加密中的应用，以及适用于动态群体和不诚实多数方的高效主动多方计算（PMPC）协议。文章详细分析了具有解密者隐私的见证加密功能及其在暗池交易中的应用，同时提出了一种高效 PMPC 协议，支持动态群体、批处理和公平重建，且在不诚实多数威胁模型下具有较低的通信复杂度。通过与现有方案对比，展示了所提出协议在效率和安全性方面的显著优势。

本文探讨了具有隐私性的承诺与证明可预测论证技术，包括见证不可区分可预测论证（WI-PA）和承诺与证明可预测论证（CPPA）的核心概念及其应用场景。文章介绍了如何利用混淆电路和不经意传输构建零知识的承诺与证明可预测论证（ZK-CPPA），并讨论了其安全性分析与实际应用价值。此外，文章还分析了见证加密（WE）的基本原理及其在隐私保护中的潜力，并展望了未来的发展方向。这些技术在分布式计算、匿名投票、数据隐私保护等领域具有重要意义。

本文深入解析了具有隐私性的（提交-证明）可预测论证（PA）技术，重点介绍了提交-证明可预测论证（CPPA）及其零知识版本（ZK-CPPA）的构建方法和应用场景。通过使用混淆电路和不经意传输，在NPRO模型下实现了高效的ZK-CPPA协议。同时，文章探讨了可预测论证在见证加密中的应用，以及如何基于陷门平滑投影哈希函数（TSPHFs）构建更高效的零知识可预测论证（ZK-PA）。这些技术为保护隐私和实现安全多方交互提供了重要工具。

本文深入解析了安全且低失败率的自举技术和具有隐私属性的可预测论证技术。自举技术通过优化参数和步骤，在精度、失败概率、吞吐量和密钥密度等方面取得了显著改进，为实现高效安全的同态加密提供了支持。可预测论证技术则在零知识证明、见证不可区分性和承诺-证明模型中实现了更高效的构造，为隐私保护应用开辟了新路径。研究还展望了未来在优化效率、扩展实际应用和探索技术融合等方面的发展方向。

本文提出了一种安全且低失败率的自举技术优化方法，通过带稀疏秘密封装的 ModRaise 方法，在不引入新的安全假设的前提下，显著提高了自举的安全性、实用性和效率。文章详细分析了自举失败概率与秘密密度的关系，优化了 ModRaise 算法，并进行了安全性与噪声分析。实验结果显示，该方法在精度、安全性和效率方面均有显著优势，为同态加密技术的应用提供了更优的解决方案。

本文提出了一种基于稀疏秘密封装的改进方法，用于实现CKKS近似同态加密方案的低失败概率引导操作。通过引入两个密钥切换过程，将ModRaise步骤封装其中，从而有效降低了EvalMod步骤的复杂度，显著提高了引导操作的精度和安全性。同时，该方法最小化了对稀疏秘密的依赖，提升了同态计算的灵活性和实用性。实验结果表明，改进后的方案在失败概率、引导时间和精度方面均优于原始方案，并实现了开源实现。

本博文详细探讨了一种隐私保护协议的原理、性能分析与恶意安全应对策略。协议通过利用诚实用户间的多轮交换实现隐私保护，基于差分遗忘性理论量化隐私保障，并在性能分析部分展示了与先前工作的对比结果，表明在大规模参与方场景下具有显著优势。针对恶意攻击，提出了通过虚拟消息检测作弊的应对方案，并在不同隐私参数设置下评估了通信开销。最后，总结了协议的关键要点，并给出了实际应用中的参数设置建议、适用场景与安全保障措施，为隐私保护技术的实际落地提供了参考。

本文深入探讨了一种用于实现隐私保护的洗牌协议，涵盖了其基本定义、定理证明、协议构建与详细分析。文章重点介绍了差分遗忘性的概念，并通过定理证明展示了洗牌协议在差分隐私中的有效性。此外，文章还讨论了协议的通信复杂度、与相关工作的比较、应对恶意行为的策略以及未来发展方向。通过这些研究，为数据隐私保护提供了一种可行的新思路和方法。