A Note on Banaszczyk's Inequality
该论文是对Banaszczyk不等式的进一步改进。Banaszczyk不等式是格密码学中一个经典的概率不等式，用于估计格上离散高斯分布的尾部概率，在格基密码系统的安全性分析中具有重要地位。此前，Tian、Liu和Xu已对该不等式给出了一个改
#cryptography
共收录 222 条相关情报。
← 返回所有主题JesseQ: Efficient Zero-Knowledge Proofs for Circuits Over Any Field.
本文提出了一种基于向量不经意线性评估（VOLE）的高效零知识证明协议套件JesseQ，包含JQv1和JQv2两个变体。零知识证明在隐私保护、区块链验证等领域具有广泛应用，但现有协议如QuickSilver和LPZKv2在证明者计算开销上仍有
VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption.
同态加密技术能够在加密数据上直接进行计算，从而保护敏感数据的隐私。然而，现有同态加密管线在面对恶意敌手时，无法保证计算结果的正确性——即客户端无法验证云服务器是否忠实地执行了所承诺的计算，而非返回伪造或部分正确的结果。本文提出两种与当前最先
Probabilistic Atomic Swaps for Bitcoin and Friends
本文提出了一种名为“概率互换”（Probabilistic Swaps）的新型密码学原语，旨在将区块链中的原子互换从确定性场景扩展到概率性场景。传统原子互换保证“要么双方都获得约定资产，要么都不转移”，但这种全有或全无的确定性限制了彩票、随
Fundamental Limitations of Post-Quantum Cryptographic Architectures
本文系统地探讨了后量子密码架构，特别是基于格密码（如 LWE）的根本局限性。传统观点认为，通过在加密过程中注入人工离散高斯噪声，可以抵御量子计算机的攻击。然而，作者从计算复杂性、信息论热力学、量子纠错和量子学习理论四个相互关联的领域，对这种
Post-Quantum Cryptographic Analysis of SSH.
该论文对SSH协议进行了全面的后量子密码学安全性分析。SSH是首批升级以抵抗未来量子计算机攻击的互联网安全协议之一，OpenSSH自2022年4月起默认采用“量子（或其他经典）”安全的混合密钥交换。然而，现有文献对SSH抗量子版本的安全性分
MinBucket MPSI: Breaking the Max-Size Bottleneck in Multi-Party Private Set Intersection.
该论文提出了一种名为 MinBucket MPSI 的新协议，旨在解决多方私有集合交集（MPSI）中最大规模瓶颈的问题。传统的 MPSI 协议在处理大规模集合时，通常受到最大集合大小的限制，导致计算和通信开销随参与者数量线性增长。MinBu
Cirrus: Performant and Accountable Distributed SNARK.
本文提出了 Cirrus，一个高性能且具有问责性的分布式 SNARK（简洁非交互零知识证明）系统。分布式 SNARK 允许多个证明者协作生成证明，同时确保任何一方都无法作弊而不被追责。Cirrus 在保持零知识证明安全性的前提下，通过优化通
SoK: Cryptographic Authenticated Dictionaries.
本文对认证字典（Authenticated Dictionaries, AD）——一类支持密钥透明、二进制透明、可验证键值存储及完整性保护文件系统等应用的密码学数据结构——进行了系统化综述。首先，作者提出了一个统一框架，捕获了五种常见部署场
cwPSU: Efficient Unbalanced Private Set Union via Constant-weight Codes.
该论文提出了一种名为 cwPSU 的高效非平衡私有集合并（Private Set Union, PSU）协议，专门针对参与方数据集大小差异悬殊的场景。传统 PSU 协议在集合大小极度不平衡时效率低下，而 cwPSU 通过引入常重码（Cons
Cryptobazaar: Private Sealed-bid Auctions at Scale.
由于未提供论文摘要，无法生成详细内容。根据标题推测，该论文研究了在规模化的密封投标拍卖中实现隐私保护的方法，可能涉及密码学协议如多方计算或可验证延迟函数。
HELO Cryptography: A Lightweight Cryptographic System for Enhancing IoT Security in P2P Data Transmission
本文提出了一种名为HELO（混合加密轻量级优化）的新型密码系统，旨在解决物联网设备在点对点数据传输中面临的安全挑战。物联网设备通常计算资源有限，但需要在不安全的网络上加密和传输大量数据，这导致了安全风险增加、运行时间延长、性能下降和资源消耗
Practical Non-Interactive Searchable Encryption with Forward and Backward Privacy.
本文聚焦于动态对称可搜索加密（DSSE）中的隐私保护问题。在DSSE中，前向隐私确保过去的搜索查询无法与未来的更新关联，而向后隐私则保证后续的搜索查询无法与过去已删除的文档关联。现有方案在实现Type-II向后隐私时通常需要交互式协议或可信
Dubhe: Succinct Zero-Knowledge Proofs for Standard AES and related Applications.
该论文提出了一种名为 Dubhe 的零知识证明系统，专门针对标准 AES 加密算法实现了高效、简洁的证明。传统的零知识证明（如基于 R1CS 或 QAP 的方案）在处理 AES 这类复杂算术电路时往往面临巨大的证明尺寸和验证开销。Dubhe
Rosita: Towards Automatic Elimination of Power-Analysis Leakage in Ciphers.
该论文提出了一种名为Rosita的自动化框架，旨在消除密码算法中的功耗分析泄漏。功耗分析攻击利用设备在执行加密操作时功耗与处理数据之间的相关性，来窃取密钥等敏感信息。掩码（Masking）是一种广泛使用的算法级对策，通过在中间值中引入随机掩
Succinct Zero Knowledge for Floating Point Computations.
该论文研究了为浮点计算构建简洁零知识证明系统的问题。标准方法需要将浮点运算转换为二进制电路（遵循 IEEE-754 标准），导致证明者效率产生关于精度 w 的多项式开销，成为简洁论证设计的瓶颈。论文提出了一种新模型，用于验证浮点计算的近似正
Secure Auctions in the Presence of Rational Adversaries.
本文研究密封投标拍卖场景下的安全协议设计。传统拍卖依赖可信拍卖师，但现实中很难找到完全可信的第三方。通用安全计算协议虽能消除可信第三方，但效率低下且缺乏公平性——即恶意方可在获取输出后中止协议，阻止其他方获得结果。为此，作者引入理性敌手模型
Obscura: Privacy-Preserving Protocol for the Algorand Blockchain Using LSAG Ring Signatures
本文提出 Obscura，一种针对 Algorand 区块链的隐私保护协议。现有区块链隐私方案（如以太坊上的 zk-SNARKs）在高吞吐量链（如 Algorand）上难以实现，因为存在严格的每调用执行预算和全局 Merkle 累加器引起的
Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt.
论文提出了一种混合形式化验证方法，结合高层演绎推理和电路级推理，用于高度优化的加密汇编代码。该方法在 EasyCrypt 证明助手中扩展实现，通过使用等价性检查将安全保障传播到同一计算的不同优化或不同架构的实现中，从而降低低级别函数的证明工
SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
该论文旨在系统性地探索密码学布尔网络的架构设计空间。传统对称密码设计主要局限于SPN、Feistel网络等少数经典范式。作者通过引入六个独立的二元结构约束——分层性（Stratification）、无环性（Acyclicity）、正则性（R