SoK: Stablecoins in the Quantum Era
这是一篇系统化知识综述（SoK），主题是『后量子时代的稳定币』。作者指出，稳定币已承担数字资产生态中的支付、交易、抵押与跨链结算职能，其价值高度集中于发行方、托管方、升级权限、预言机与跨链桥所掌握的密钥之上；同时它又继承了所在主链账户、共识
#post-quantum
共收录 88 条相关情报。
← 返回所有主题Time-space lower bounds for breaking quantum cryptography
本论文研究量子密码学在随机预言机模型（ROM）下的时间-空间下界，属于可证明安全与量子复杂性交叉的理论工作。作者考虑如下设定：敌手在预处理阶段可获取 S 个量子比特的非均匀建议（advice），随后在随机预言机上进行 T 次查询，目标是从
System-Level Optimization Beyond Cryptographic Kernels: An ML-KEM Case Study on Arm Cortex-M7
该研究关注嵌入式后量子密码（PQC）实现中的性能优化层次问题。此前学术界与工业界的相关工作主要聚焦于指令级优化，例如算术内核改进、汇编级调优、寄存器分配以及指令调度，其中 SLOTHY 超级优化器生成的 ML-KEM 实现代表了当前较先进的
Robust and leakage-resilient device-independent oblivious transfer in MiniQCrypt
该论文研究的是如何在「量子设备不可信」的前提下，仅让诚实参与方使用经典计算，就实现具有设备无关性（device-independent, DI）的茫然传输（oblivious transfer, OT）与比特承诺。作者给出的构造只假设存在后
On The Simplest Quantum-Secure Block Cipher
本文研究量子安全的分组密码构造。伪随机置换（PRP）是理论密码学与应用密码学的基石，而能够抵抗量子查询攻击的PRP在构造伪随机酉算子、分离SZK与BQP等方向中日益重要。经典的Even-Mansour框架通过将公开置换与轮密钥异或交替组合来
Verifiable Quantum Advantage and Computation via Quantum Circuit Obfuscation
该论文研究如何在标准模型下用密码学手段让经典验证者确认量子设备确实展现了量子优势，并对一般的 BQP 计算做经典验证。作者以量子不可区分混淆（qiO）为核心工具构造了三类协议。第一，在假设 qiO 存在、且 BQP≠BPP 的一个略强变体成
A Fourier-Label Information-Loss Barrier for Dihedral Coset Algorithms
本文针对二面体陪集问题（DCP, Dihedral Coset Problem）建立了一条“不可行性”（no-go）定理，属于量子算法与后量子密码学的交叉理论研究。DCP 是 Regev 于 2004 年提出并用于将格上学习带误差问题（LW
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
Succinct Arguments for QMA in the Quantum Random Oracle Model
简洁论证（succinct arguments）是密码学中的基础原语，其目标是以极小的通信量验证计算断言。在经典设定下，针对 NP 的简洁论证可以仅从非结构化困难性（例如哈希函数）出发构造：通过 commit-and-open 范式，把 N
Hybrid QKD-PQC Network Emulation through Automated and Scalable Cloud-Native Orchestration
该论文面向"量子安全网络"迁移过程中的实验验证难题展开研究。随着业界向抗量子密码体系过渡，混合网络架构（同时集成量子密钥分发 QKD 与后量子密码 PQC）成为主流演进方向，但此类架构的实验评测长期受制于两大瓶颈：一是真实量子硬件成本高昂、
Zero Knowledge Proofs in Quantum Networks
该论文研究量子网络环境下的零知识证明（Zero-Knowledge Proofs, ZKP）。ZKP 允许一方在不泄露除命题有效性之外的任何信息的前提下完成命题验证，是密码学与信息论中的基础原语。然而现有构造存在两大局限：其安全性通常建立在
Quantum Security of XOR of Permutations via Fourier Analysis
本文研究两个或多个独立随机置换的 XOR（XoP）构造在量子敌手下的伪随机性。XoP 是经典密码学中从置换构造伪随机函数（PRF）的典型方案，其经典安全性可超越生日界，即当 r≥2 时能提供超过 2^{n/2} 的安全性，但它在量子敌手可对
The Price of Peeking: Anytime-Valid Leakage Detection on ML-KEM EM Traces
该论文研究的是侧信道评估中一个长期被忽视的统计方法论问题：评估人员通常在数据采集仍在进行时就反复查看泄漏检测结果（peeking），并据此决定延长或提前终止采集。这类“边采边看”的监控式决策规则，使经典的固定样本量检验（如阈值 |t|>4.
I Prove, Therefore I Am: Spatiotemporal Multi-Party Computation
该论文开创性地提出并研究“时空多方安全计算”(spatiotemporal MPC), 把传统 MPC 的输入从纯数字数据扩展为同时依赖物理事实(如参与方所处位置、时间、运动轨迹)的功能。这类协议面临双重目标: 一方面必须隐藏时空信息(隐私
FASTAR: FRI Accelerator for Scalable Transparent ARguments of Knowledge
零知识证明（ZKP）允许证明者在不泄露底层秘密的前提下，向验证者密码学地证明某个陈述有效，是「可验证计算」的基础原语。当前 ZKP 技术栈正在经历一次根本性转向：以 Groth16 为代表的经典 zk-SNARK 依赖可信设置（truste
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）提出：签名密钥可以被「穿刺」（更新），从而丧失对特定消息的签名能力，但仍能对其它消息正常签
The Supersingular Isogeny Problem in Time and Memory $p^{1/3+o(1)}$, Unconditionally
本文研究超奇异椭圆曲线的 OneEnd 问题：给定 E/F_{p^2}，求 E 的一个非标量自同态。既有归约表明，若该问题可解，则超奇异自同态环问题与同源问题也可解，因此它位于基于同源密码学的核心困难性假设附近。此前，Wesolowski
Transcript-Bound Combiners for Downgrade-Resilient Hybrid Post-Quantum Key Establishment: Definition, Proof, and Embedded-Device Cost
该论文研究混合密钥建立（hybrid key establishment）在缺少握手上下文认证时的降级风险。混合方案同时运行一个后量子 KEM（当前标准化的 ML-KEM）与一个经典 Diffie-Hellman 原语，使得只要其中任一组件