Generalized Proof of Liabilities.
本文提出并系统化研究了广义负债证明（Proof of Liabilities, PoL）这一密码学原语。传统上，PoL 用于金融机构向公众证明其负债总额，以体现偿付能力，但作者指出其应用场景远不止金融领域，还包括透明与隐私保护的捐赠审计、基
#cryptography
共收录 222 条相关情报。
← 返回所有主题SoK: The Constant Time Model.
该论文是一篇系统化知识（SoK）研究，聚焦于密码学实现中的常数时间编程模式——这是抵御计时攻击的主要防御手段。然而，学术界和工业界对“常数时间”的定义并不统一，导致模型保护范围与规格假设之间长期存在脱节。论文系统梳理了常数时间模型的演变，识
Oblivious Linear Group Actions and Applications.
本文提出了一种高效的两方协议，用于对数据集盲目地应用任意（可能是随机的）线性群作用。该协议能够涵盖多种应用场景，如盲目洗牌、循环移位、矩阵乘法等。其显著特点是：在完成与输入无关的离线计算阶段后，在线计算阶段可以实现回合最优（即单轮）的通信。
Vaulted Passkeys: A Device-Bound Proposal for Authenticated Credential Export and Import
本文提出了一种名为 Vaulted Passkeys 的设备绑定凭证架构，旨在解决硬件认证器（如 FIDO2 安全密钥）在丢失、损坏或需要受控迁移时，私钥无法导出导致的恢复难题。现有通用做法是在设备故障前注册额外的认证器，但这本质上是冗余而
Slow and Steady: Preventing MEV with Verifiable Delays
本文提出一种针对分布式账本中最大可提取价值（MEV）机会的防御机制。MEV是指区块生产者（如矿工或验证者）通过重排、插入或剔除交易来提取额外价值的能力，长期以来对区块链的公平性和用户资金安全构成严重威胁。核心思想是在交易生成过程中强制施加可
MatRiCT+: More Efficient Post-Quantum Private Blockchain Payments.
本文提出 MatRiCT+，一个基于后量子格假设的实用型区块链隐私支付协议。该工作建立在 Esgin 等人于 ACM CCS 2019 发表的 MatRiCT 协议之上，整体遵循门罗币（Monero）中使用的 Ring Confidenti
Track me if you can: Ephemeral coin tracing
隐私保护支付系统在理论上已相当成熟，但在中心化数字货币（CBDC）、机构稳定币及其他合规支付基础设施等受监管场景中的采用，长期受制于其对非法活动可能被滥用的担忧。监管机构通常依赖识别、追踪和阻止犯罪者的一系列互补措施来打击金融犯罪，其中“追
A Complexity-Theoretic Approach to Proofs of Space
本文提出了一种基于复杂性理论构建空间证明（Proof of Space, PoS）的新框架。空间证明由Dziembowski等人于CRYPTO 2015引入，是一个两阶段协议，允许证明者向高效的验证者证明其已分配大量持久性内存来存储某些信息
POKEx: Performance analysis of POKE-key exchange and SIDH-variants
在本文中，作者围绕着后量子密码中同源密码学的发展进程，特别是SIDH及其衍生变体的性能问题展开研究。SIDH曾因密钥尺寸小、运算速度快而被视为极具潜力的同源密钥交换方案，并成功进入NIST后量子密码标准化的第四轮备选名单。然而，Castry
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees.
该论文针对去中心化安全群组消息传递中的密钥协商问题展开研究。现有安全群组消息协议通常假设一个中心化网络模型，所有消息通过单一服务器路由，并且该服务器被信任为群组状态更新提供一致的全序关系。然而在去中心化网络中不存在这样的中央权威，因此需要重
Canonicalization Failures as a Recurring Vulnerability Class: Representation Divergence in Cryptographic Systems and Its Avoidance
该论文系统化地研究了一类反复出现的密码系统安全漏洞：规范化失败（canonicalization failures）。核心问题在于，密码系统底层处理的是字节流，但语义上表达的是对象；从对象到字节的编码映射往往不是唯一的。当哈希、签名、重放保
Game Hopping in Lean
本文提出 HOPSCOTCH，一个基于 Lean 4 的框架，用于机械化计算可靠的、基于游戏的安全证明。安全定义被表达为有状态概率预言机之间的不可区分性，证明过程遵循标准的游戏跳跃范式。HOPSCOTCH 采用浅嵌入方式，预言机和归约都是普
Hidden Ciphers and Where to Find Them: Static Discovery and Assessment of Cryptographic Assets in Software
该论文针对现代软件系统中加密资产缺乏结构化可见性的问题，提出了一种静态发现与评估方法。作者首先提出了加密材料、加密工件和加密调用的分类体系，并据此推导出可扩展的、与扫描器无关的规则库。然后实现了一个静态扫描器，应用这些规则生成面向CBOM（
Dimension Rigidity and Projective Geometry of Trace-Product Switchings of the Gold Cube
该论文研究了Gold几乎完全非线性（APN）函数 x→x^3 的一种自然标量迹积切换（trace-product switching）在所有偶数维度下的完整分类。APN函数在密码学中具有重要地位，常用于构造S盒以抵抗差分密码分析。作者证明了
WBSLT: A Framework for White-Box Encryption Based on Substitution-Linear Transformation Ciphers.
本文针对物联网（IoT）设备中加密密钥易被物理攻击提取的安全问题，提出了一种基于替换-线性变换（Substitution-Linear Transformation, SLT）密码的白盒加密框架 WBSLT。在典型的 IoT 环境中，设备常
Biometrics-Authenticated Key Exchange for Secure Messaging.
本文针对现有安全消息应用中认证密钥交换（AKE）协议的一个根本性缺陷：传统AKE只验证终端中存储的随机密钥（对应已认证公钥）是否存在，而无法确认使用该应用的合法用户身份。为此，作者提出了一种基于生物特征认证的密钥交换（BAKE）框架。该框架
Video-Based Cryptanalysis: Extracting Cryptographic Keys from Video Footage of a Device's Power LED Captured by Standard Video Cameras.
本研究提出一种新颖的物理侧信道攻击方法，能够从设备电源指示 LED 的视频录像中提取加密密钥。传统侧信道攻击通常要求物理接触或侵入性测量，而本文仅借助标准视频摄像机（如手机摄像头、监控摄像头）即可实现。核心原理在于：设备内部进行加密运算时，
An AI Approach to Verified Production Cryptographic Libraries
该论文提出 CryptoProver，一个基于人工智能的系统，用于自动合成密码学库的内部规范，并生成经过 Verus 验证的证明。研究背景是：密码学代码是关键基础设施，必须正确无误，但现有形式化验证生产库仍然困难。已有的基于语言模型的证明系
What Syntax Cannot See: The Dynamic Syntactic Invariance Principle and Several Instances of the Same Hidden Assumption, and a Contradiction
本论文提出了一种统一的跨领域研究方法：寻找既有结论中未被察觉的隐含假设，将其显式化为一个可变参数，然后证明当该假设被移除后，结论会发生什么变化。作者将此方法的形式化核心称为“动态句法不变性原理”（Dynamic Syntactic Inva
Partial Derandomization for Leakage-Resilient Shamir's Secret Sharing over Composite Order Fields
本文研究面向复合阶域上抗泄漏 Shamir 秘密共享的显式评估点构造问题。Shamir 秘密共享是一种经典的线性秘密共享方案，其安全性依赖于秘密多项式在若干评估点上的取值；在物理泄漏（如侧信道攻击导致的比特泄漏）场景下，评估点的选择方式直接