Efficient Secret Sharing for Large-Scale Applications.
本文研究大规模应用中的高效秘密共享方案。秘密共享是一种基础密码学原语，允许将消息分配给 n 个参与方，使得任意少于 t 个参与方的子集无法获知消息，而任意至少 t 个参与方的子集可以恢复消息。尽管该原语应用广泛，但现有方案在隐私阈值 t 较
#cryptography
共收录 222 条相关情报。
← 返回所有主题Ring Referral: Efficient Publicly Verifiable Ad hoc Credential Scheme with Issuer and Strong User Anonymity for Decentralized Identity and More.
本文提出了一种称为“环推荐”（Ring Referral）的新型密码学方案，它是传统环签名（Ring Signature）的自然扩展。在传统环签名中，签名者可以从一个临时选定的签名者集合（环）中匿名地签署消息；而环推荐方案允许一个证明者（用
Camel: Communication-Efficient and Maliciously Secure Federated Learning in the Shuffle Model of Differential Privacy.
联邦学习（FL）是一种允许多个客户端在不共享原始本地数据的情况下，仅通过共享梯度更新联合训练模型的范式。然而梯度更新本身也可能泄露隐私。现有方法通常采用本地差分隐私（LDP）机制，在共享前由客户端本地扰动梯度，但这类方法会因添加大量噪声而严
RandRunner: Distributed Randomness from Trapdoor VDFs with Strong Uniqueness.
这篇论文提出了 RandRunner，一个面向现实系统模型的随机信标协议。随机信标是分布式计算中的基础原语，用于为拜占庭容错（BFT）协议、区块链以及更广泛的应用提供不可预测且一致的随机数源。传统随机信标通常依赖 BFT 共识协议来对随机输
Batchman and Robin: Batched and Non-batched Branching for Interactive ZK.
本文提出了一种针对交互式零知识证明（ZK）中析取语句（即多个分支子句的或）的高效证明方法。当前基于向量不经意线性求值（VOLE）的ZK协议虽已实现快速可扩展的证明，但将证明语句编译为控制流无关形式（如电路）仍然导致昂贵的证明开销。对于形如
SoK: Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields.
本文是一篇系统化知识综述（SoK），聚焦于素数域上多项式哈希函数的高效设计与实现，并以广泛部署的 Poly1305 为主要参照对象。Poly1305 的设计理念由 Bernstein 在 2005 年前的一系列论文中奠定，但随着计算机体系结
OBI: a multi-path oblivious RAM for forward-and-backward-secure searchable encryption.
该论文提出了一种名为 OBI 的新型多路径不透明随机访问机（ORAM），旨在解决动态可搜索加密（DSE）中前向隐私和后向隐私保护下的效率瓶颈。动态可搜索加密允许用户在云端加密数据上进行搜索，而 ORAM 常被用来隐藏访问模式，从而实现前向和
Kryvos: Publicly Tally-Hiding Verifiable E-Voting.
该论文提出了一种名为 Kryvos 的公开可验证电子投票系统，其核心创新在于实现了'计数隐藏'（tally-hiding）特性，即在公开验证投票结果正确性的同时，不泄露任何单个投票者的具体投票内容或中间计数信息。传统可验证电子投票系统通常需
Thresholding Post-Quantum Signatures
本文系统研究了后量子签名方案在阈值签名场景下的适用性与构造工具。阈值签名将签名密钥分散到 N 个参与者中的 T 个，只有 T 方合作才能生成合法签名，这种分布式信任模型在区块链、多方计算、密钥管理等领域有广泛应用。当前实际部署的阈值方案大多
Practically-exploitable Cryptographic Vulnerabilities in Matrix.
本论文报告了 Matrix 联邦实时通信标准及其旗舰客户端 Element 中多个实际可利用的密码学漏洞。Matrix 旨在提供端到端加密的分布式通信，但其密码学核心由多个子协议和库构成。研究人员发现，尽管这些漏洞源于广泛使用且经过充分研究
Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
该论文提出了一种名为 Kestrel 的静态分析方法，用于在剥离符号、静态链接和优化后的二进制文件中识别标准化的基于格的抗量子密码算法 ML-KEM 和 ML-DSA。当前缺乏从编译后的二进制代码验证量子脆弱算法是否已被批准的量子安全算法替
SoK: Computer-Aided Cryptography.
本文是一篇关于计算机辅助密码学（Computer-Aided Cryptography）的系统化综述（SoK），旨在梳理该领域的研究进展与应用边界。随着密码学协议和实现日益复杂，传统手工分析与测试难以保证安全性与正确性。计算机辅助密码学通过
Simple, Fast Malicious Multiparty Private Set Intersection.
本文研究多方隐私集合交集（Multiparty Private Set Intersection）在恶意敌手模型下的安全协议设计问题。隐私集合交集允许多方在不泄露各自集合内容的前提下计算交集，是安全多方计算中的基础问题，广泛应用于社交网络好
Weak Fiat-Shamir Attacks on Modern Proof Systems.
本文对现代证明系统中弱 Fiat-Shamir 变换的应用风险进行了系统的理论与实证研究。Fiat-Shamir 变换是一种将交互式公开币协议转换为非交互式协议的标准方法，广泛用于现代证明系统，尤其是加密货币领域。过往研究已表明，弱 Fia
Achilles: A Formal Framework of Leaking Secrets from Signature Schemes via Rowhammer.
该论文提出一个名为 Achilles 的形式化框架，用于系统评估和利用 Rowhammer 故障注入攻击从签名方案中泄露秘密。签名方案是网络安全基础设施的基础组件，虽然它们在数学上被设计为抗密码分析攻击，但易受 Rowhammer 硬件故障
Redactable blockchains and polynomial equations
本文研究可编辑区块链（redactable blockchains）中的认证数据结构构造问题，并提出了新的后量子安全工具。传统区块链具有不可篡改性，但这一特性在某些场景（如数据合规、被遗忘权、恶意内容删除）中成为障碍。可编辑区块链允许在保持
Toward Quantum Advantage in Learning Parities with Structured Noise via Lower Bound Optimization of the Condition Number
本文研究带结构噪声的奇偶校验学习问题（LPSN），该问题可归约为求解非线性布尔系统。在量子计算中，此类系统通常被转化为 Macaulay 线性系统，并借助量子线性系统算法求解，但该过程严重受制于条件数（condition number）。为
AoNT Trap: Borromean-Entangled Mutable Chameleon Trapdoor Hash All-or-Nothing Stream Cipher
本文提出了一种名为 BEC-Trap 的新型密码构造，全称 Borromean-Entangled Chameleon Trapdoor Hash All-or-Nothing Stream Cipher。该构造将 Borromean 环相
SoK: Understanding zk-SNARKs: The Gap Between Research and Practice.
本论文是一篇关于 zk-SNARKs（零知识简洁非交互式知识论证）的系统性综述（SoK）。zk-SNARKs 是证明计算正确性的强大密码学工具，吸引了研究人员、开发者和用户的广泛兴趣。然而，其复杂性导致不同群体之间存在认知与应用上的鸿沟：研
A Framework for Designing Provably Secure Steganography.
本文提出一个用于设计可证明安全的隐写术（Steganography）的通用框架。隐写术是将秘密信息嵌入到看似无害的载体数据（如图像、文本、网络流量）中，以实现隐蔽通信的技术。传统隐写方法往往依赖启发式或经验性设计，缺乏严格的安全保证，容易被