From TS-SUF-2 to TS-SUF-4: Practical Security Enhancements for FROST2 Threshold Signatures
该论文聚焦于阈值 Schnorr 签名方案 FROST2 的安全等级提升问题。FROST2 是区块链与分布式系统中广泛采用的实用阈值签名方案，兼具高效率与对标准 Schnorr 验证流程的兼容性，被 ZCash 等项目实现并部署。然而 Be
#cryptography
共收录 222 条相关情报。
← 返回所有主题SoK: Stablecoins in the Quantum Era
这是一篇系统化知识综述（SoK），主题是『后量子时代的稳定币』。作者指出，稳定币已承担数字资产生态中的支付、交易、抵押与跨链结算职能，其价值高度集中于发行方、托管方、升级权限、预言机与跨链桥所掌握的密钥之上；同时它又继承了所在主链账户、共识
Identity-Bound Governance Under Execution Uncertainty: An Accountability Proof Block for LLM Agent Persistent Halts, with Cryptographic Implementation and Cross-Model Calibration
该论文研究一个此前较少被形式化的问题：一个被正确治理的 LLM Agent 可能进入一种「两难」状态——既不允许继续执行，也不允许自动停机。此时系统已检测到自身可观测性层或漂移检测层出现持续性失效，但它无法自行判定谁拥有恢复执行、拒绝继续或
Natural Barriers to Quantum Extraction: On the Post-Quantum (In)security of (O)EKE and Masny-Rindal OT
该论文研究后量子时代两类高效密码协议编译器的安全性问题。EKE（Encrypted Key Exchange）由 Bellovin 与 Merritt 于 IEEE S&P 1992 提出，Masny-Rindal OT 由 Masny 与
Classical Verification of Quantum Computation with Quasilinear Resources, from Compiled Nonlocal Games
该论文研究的是「量子计算的经典验证」这一核心问题：如何让一个只能进行经典计算的验证者，去核实一台不受信任的量子证明者是否正确地执行了量子电路。作者 Holler 与 Natarajan 基于「计算自测试」(computational sel
Collision Detection is Instance $\widetilde{O}$ptimal Under the Birthday Threshold
该论文研究一个源自密码学理论的基础问题：关于哈希函数的结构性知识，能否加速对它的黑盒碰撞检测？作者从「实例最优性」（instance optimality）这一超越最坏情况分析的极端标准切入。实例最优性要求存在单一算法，使其在每一个具体输入
Quantization Enables Private Dense Retrieval against Malicious Service Providers
该论文研究 RAG(检索增强生成)中稠密检索的隐私与完整性问题。稠密检索通过比较查询与大规模语料库文档的稠密向量表示来召回最相关文档，是 RAG 的核心组件。在医疗、法律等隐私敏感场景中，检索通常外包给第三方服务：服务器既能看到用户明文查询
Indistinguishability of Sum of Permutations: A Fourier Analytic Route to Classical and Quantum Security
本文研究「独立随机置换之和」这类由置换构造函数的变换，在经典与量子查询模型下的不可区分性（即伪随机性）安全界。设 G 为阶为 N 的有限阿贝尔群，π^k_+(x)=π_1(x)+…+π_k(x)，其中 π_i 为 G 上独立均匀随机置换，k
The planted tensor problem over finite fields: algorithms and cryptography
本文受随机图上经典的植入团（planted clique）问题启发，把这一平均情形复杂性范式推广到有限域上的张量，提出「植入式完全迷向空间问题」（planted totally-isotropic space problem）。设定如下：令
BenX: Resource-Sharing Permutations for Computational Integrity
本文针对计算完整性（computational integrity）证明系统中所使用的、定义在素域 F_p 上的密码学哈希函数，提出了一种名为 BenX 的新型置换（permutation）设计与哈希构造。研究背景是：在以零知识证明为代表的
Physalia: Redistribution-Resistant Content Protection for Decentralized Storage
该论文针对去中心化存储系统中的访问控制难题提出了 Physalia 方案。传统做法是数据在上传前加密，再把解密密钥分发给授权方；但一旦密钥泄露，任何人都能解密整份数据，这使得内容盗版的成本低于传统中心化系统——在传统系统中，盗版者必须重新分
Formally Modeling the Terrapin Attack on SSH
该论文针对 SSH 通道完整性，提出一个在“部分选定状态”（partially chosen state）下形式化建模的框架，以回答 Terrapin 攻击（USENIX Security 2024）留下的开放问题：在 Terrapin 攻
On the Construction of Trapdoor Claw-Free Functions with Certifiable Key
该论文研究的是量子-经典密码交互中广泛使用的陷门无爪函数（Trapdoor Claw-Free Functions, TCF）的密钥可信性问题。现有几乎所有基于 TCF 的密码协议都默认假设密钥由诚实方生成，并在此前提下证明安全性，一旦密钥
Domain Specific Post Quantum Signatures for Blockchains
这是一篇立场与系统评估相结合的论文, 作者 Maja Lie 与 Ben Marsh 指出: 区块链对后量子密码的需求远不止"换一个单签名者签名算法"这么简单。论文的核心论点是, 区块链真正需要的是"面向共识的认证对象"(consensus
Prefix Puncturable Signatures with Smaller Signing Key from HIBS
该论文研究可穿刺签名（puncturable signature）中的密钥膨胀问题。可穿刺签名由 Bellare 等人（EUROCRYPT 2016）提出：签名密钥可以被「穿刺」（更新），从而丧失对特定消息的签名能力，但仍能对其它消息正常签
Searching for Primes: A Neural AlphaZero Approach to a Factoring Game
该论文研究一个定义在 N×N 棋盘上的单人 token 游戏：token 可以沿对角线滑动，或复制到相邻格子上，最终目标是拼出一个组合矩形 R×S。作者指出，游戏中存在一个守恒的整数权重 W'，外加一个严格的单调量（monovariant）
The Supersingular Isogeny Problem in Time and Memory $p^{1/3+o(1)}$, Unconditionally
本文研究超奇异椭圆曲线的 OneEnd 问题：给定 E/F_{p^2}，求 E 的一个非标量自同态。既有归约表明，若该问题可解，则超奇异自同态环问题与同源问题也可解，因此它位于基于同源密码学的核心困难性假设附近。此前，Wesolowski
Critical sets of Latin squares based on autoparatopisms
本文研究基于拉丁方临界集（critical sets）的秘密共享方案设计问题。在密码学中，拉丁方的临界集常被用于构造秘密共享方案：每个参与者持有临界集中的一个条目，所有条目齐全才能恢复秘密。然而，这类协议存在一个关键缺陷：若某个持有者缺席，
On the Leakage of Massey Secret Sharing Schemes under Linear Computations
该论文研究 Massey 秘密共享方案在多秘密场景下经由线性精确修复方案 (LERS) 引发的泄露问题。背景是：在编码理论中，线性精确修复方案允许从少量其他符号信息中恢复某个码字符号，前提是码率足够低；此前有工作将其解释为：攻击者可从分片的
Scaling Zero Knowledge UNSAT Verification via Normalized Chaining
该论文关注形式化验证与软件保障中的基础原语——UNSAT 证明（不可满足性证明）。在实际工程中，SAT/SMT 求解器生成的证明往往编码了专有逻辑、内部约束或安全敏感信息，直接公开披露会导致知识产权泄露或攻击面暴露。零知识 UNSAT 认证