本文提出 Obscura-PQ，一种在 Algorand 区块链上原生验证的后量子隐私保护协议，旨在解决现有区块链隐私方案在量子计算时代面临的根本性安全危机。公共区块链暴露完整交易图，而当前隐私协议几乎全部依赖椭圆曲线密码学，其安全基础——离散对数问题——可被 Shor 算法在量子计算环境下有效破解。由于账本不可篡改，今天在经典假设下发布的所有匿名集都可能被未来的量子对手批量去匿名化，造成永久性隐私泄露。此外，从经典密码学向后量子密码学迁移面临严峻挑战：智能合约的严格资源限制（opcode 数量与存储容量）使得无法在链上直接验证计算密集的后量子证明。Obscura-PQ 的核心创新包括：采用基于环多项式环 R_q = Z_q[X]/(X^512+1) 的无设置格基可链接环签名，实现去中心化、非托管的隐私传输。存款方生成 Ring-SIS 约束的承诺，取款方通过 AOS/Borromeo 风格挑战链证明环成员知识，并基于两个响应共享线性关系与拒绝采样的短响应，同时发布确定性的 Ring-LWE 序列号以实现双花检测。安全性归约到 Ring-SIS（双花抗性与可链接性）、Ring-LWE（匿名性）以及随机预言机模型下的显式决策链接假设。为了满足链上 opcode 与存储限制，协议将验证关系完全放在 NTT 域执行，通过拆分前向 NTT 到多个执行阶段并利用可退款 box 存储流式传输大体积证明，实现 O(1) 的成员资格与双花检查。作者在 Algorand 测试网上提供了完整实现，证明在后量子隐私协议能够在严格智能合约限制下原生验证。

本文提出了一种新型密码学原语——模糊消息检测（Fuzzy Message Detection，FMD），允许远程存储云帮助客户端以一定的假阳性率进行模糊检测，从而保护客户端隐私，不向不可信的云暴露确切匹配的消息。现有公钥方案需要多个公钥生成单个标志密文，导致公钥证书管理成本高昂。为此，作者设计了一种基于身份的在线/离线加密方案：所有高计算开销操作在离线阶段完成（无需知道每条消息的身份），在线阶段仅需轻量计算即可快速生成单个标志密文。该方案被应用于基于区块链的模糊消息检测系统。此外，基于Dodis可验证随机函数和Schnorr签名，设计了一种新的历史索引方案，用于索引交易历史和访问存储云（存储和检测消息）的顺序，并由每个客户端签名。论文提供了隐私保证分析和差分隐私需求分析，并在Fibos平台和华为弹性云上实现了FMD系统。该工作主要贡献在于：1）首次提出基于身份的在线/离线FMD方案，消除了公钥管理负担；2）结合区块链实现去中心化模糊消息检测；3）设计可验证历史索引增强审计性。适合密码学研究者、隐私保护工程师以及区块链安全从业者阅读。