Caulk: Lookup Arguments in Sublinear Time.
本论文提出了一种称为 Caulk 的新型查找参数（lookup argument）及其变体 Caulk+，旨在解决零知识证明系统中高效证明元素属于预定义集合的问题。传统的查找参数（如 plookup）证明者复杂度与数据集大小呈线性关系，而
#cryptography
共收录 222 条相关情报。
← 返回所有主题Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits.
本文提出了一种名为Wolverine的新型零知识证明（ZK）协议，旨在同时满足布尔电路和算术电路的高效、可扩展和低通信开销。现有的ZK协议要么证明者开销大（内存使用高），要么通信复杂度较高（每门至少κ比特，κ为计算安全参数）。Wolveri
Cross-Domain Access Control Encryption: Arbitrary-policy, Constant-size, Efficient.
该论文提出了一种跨域访问控制加密（ACE）方案，解决了现有ACE方案中无法同时实现任意策略、常量大小密文和高效清洗的问题。现有方案要么依赖指数级密文大小的混淆或格基假设，要么仅支持简单策略，且需要私有的清洗密钥持续在线。作者首次提出了无需清
Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams.
本文研究了在流式认证数据上实现隐私保护证明的问题。在该场景中，服务器从可信数据提供者处持续接收数据流，并被要求向第三方正确且隐私地证明对数据执行的计算结果。第三方除了知道声称结果的正确性外，不获得任何数据信息。挑战在于第三方仅与服务器通信，
Poster: A Post-Quantum Oblivious PRF from Isogenies.
本文提出一种基于同源密码学的后量子不经意伪随机函数（OPRF）构造。随着量子计算的发展，传统数论假设（如离散对数、大整数分解）面临被破解的风险，因此构建抗量子攻击的密码原语成为研究热点。OPRF 允许客户端从服务器处获得一个伪随机函数的输出
Observer-Quotient Security: Composable Leakage Bounds for Hidden State Continuations
本文提出了观察者商安全（Observer-Quotient Security）框架，用于研究交互式密码系统的安全性，其中安全性取决于允许的观察者能够从会话记录、泄漏痕迹和隐藏实现延续中区分的程度。作者定义了基于观察者的实验模型，包括会话标识
Derivative-Free Richelot Isogenies via Subresultants with Algebraic Certification
该论文针对超椭圆曲线（genus-2）上经典的 Richelot (2,2)-同源步提出了一种完全无导数的重表述。传统的 Richelot 步骤通过曲线 f=uvw 的因式分解，利用 Wronskian 导数构造目标三元组 (U,V,W)。
Witness Complexity of Short Descriptions: A Cryptographic Perspective
本论文从密码学实践视角出发，系统性地研究了短描述（如密钥、证书）的“可验证复杂性”问题。在密码协议中，密钥或证书通常要求能够在有限时间（多项式时间）内完成展开或验证，否则一个紧凑表示即使理论上存在，也无法在实际有界时间协议中提供操作保障。作
Quantum Lazy Sampling and Path Recording for Any Group
本文研究量子算法和密码学中的一个核心挑战：如何推理以随机群元素（如随机函数、置换或酉算子）为 oracle 的算法。经典方法采用惰性采样，即 oracle 不预先承诺整个群元素，而是动态采样部分信息。本文提出了一种量子惰性采样的模拟方法：压
Rushing at SPDZ: On the Practical Security of Malicious MPC Implementations.
本文针对现代安全多方计算（MPC）实现的实际安全性进行了深入研究，重点关注SPDZ协议（Damgard等人，CRYPTO 2012, ESORICS 2013），该协议在最多所有参与者中除一人外均被腐化的情况下提供针对恶意对手的安全性。研究
Efficient Proofs of Possession for Legacy Signatures.
数字签名是现代计算机系统中实现身份验证、完整性和信任的基石。密码学研究表明，可以证明用户拥有某个公钥对应的有效消息和签名，而无需泄露消息或签名本身。这种“持有证明”（Proofs of Possession）目前仅适用于专门设计的签名方案，
HomeRun: High-efficiency Oblivious Message Retrieval, Unrestricted.
该论文提出了HomeRun协议，一种高效的无限制不经意消息检索（Oblivious Message Retrieval, OMR）方案。OMR允许用户在不解密服务器上加密消息的情况下，检索与自己相关的消息。现有OMR方案往往在效率或适用性上
Transversal Difference Numbers in Finite Abelian Quotients
该论文研究有限阿贝尔商群的横向差数（transversal difference number）δ(G,H)，定义为对于有限阿贝尔群H≤G，所有横截T⊆G（即G/H的一个陪集代表系）的差集D(T)=T-T的最小基数。该不变量与有限阿贝尔分解
Reliable Homomorphic Matching for Fuzzy Labeled PSI at Scale
本文研究了模糊标签私有集合交集（FLPSI）协议中的可靠性问题。FLPSI允许接收方学习与查询相似的已注册记录的标签，而不会泄露其他信息。现有基于集合阈值归约的构造通过一个内部集合阈值内核来委托私有匹配，但该内核在同态形式下（结合层级BFV
The Observer World: A Cryptographic Extension of Impagliazzo's Five Worlds
本文提出对Impagliazzo五世界理论的一种密码学扩展。Impagliazzo的五世界框架沿着单一轴（即密码原语的存在性）对计算假设进行分类，且所有世界都隐含一个默认假设：包括敌手在内的每一方都观测完整的输入，即观测者始终处于最高层级（
Lightweight Techniques for Private Heavy Hitters.
本文提出了一种轻量级协议来解决私有重击者问题。在该问题中，存在多个客户端和少量数据收集服务器，每个客户端持有私有比特串，服务器希望在不学习任何客户端具体字符串的情况下，恢复所有流行字符串的集合。例如，网页浏览器厂商可以使用该协议找出哪些主页
One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval.
该论文提出了一种新颖的单服务器私有信息检索（PIR）协议，旨在解决传统单服务器PIR方案中计算或通信开销过高的问题。现有单服务器PIR通常依赖于同态加密或伪随机函数，导致服务器端计算复杂度与数据库大小成正比，实际部署昂贵。作者通过一种简洁的
Sharp: Short Relaxed Range Proofs.
该论文提出了一种名为 Sharp 的新型短宽松范围证明（short relaxed range proof）协议。范围证明允许证明者向验证者证明一个秘密值落在指定区间内，而不泄露具体数值，是零知识证明和隐私保护应用中的核心原语。传统的范围证
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
该论文提出了CrypFormBench，一个用于评估大型语言模型（LLM）在密码方案形式化分析能力的综合性基准。手动形式化分析密码方案需要大量专业知识和劳动力，虽然已有模型检测工具（如Scyther、Tamarin）和计算安全工具（如Cry
On the Limits of Stretching Quantum Pseudorandomness
本文研究了量子伪随机状态（Pseudorandom States, PRS）的拉伸极限问题。PRS 是经典伪随机生成器的量子模拟，由 Ji, Liu 和 Song (CRYPTO '18) 提出。经典伪随机生成器具有输出可拉伸至任意长度的性