ChaCha20-Poly1305 是一种被广泛部署的认证加密 (AEAD) 方案，实际应用中需要严格的安全界来确定数据量上限与重密钥频率。然而，其形式化安全分析明显落后于 AES-GCM：目前仅有 Procter (2014) 的分析，且存在缺陷，并且只考虑了单用户场景。本论文针对这一缺口展开研究，核心贡献包括：（1）在多用户（multi-user）设置下证明了 ChaCha20-Poly1305 的 AEAD 安全性界限，并通过构造匹配攻击表明该界限中每一项都是紧致的；(2) 系统性地对比了该界限与已知 AES-GCM 安全界限在数量与性质上的差异，揭示了细微设计选择如何导致截然不同的安全性特征；(3) 将所获界限推广到 TLS 1.3 及其他场景中使用的 nonce 随机化模式，同时改进并强化了 GCM 在该模式下的安全界限；(4) 基于分析中发现的弱点，提出一个简单却更强的 ChaCha20-Poly1305 变体方案。论文采用严格的可证明安全方法，结合攻击构造来验证边界紧度，属于密码学与安全协议领域的理论研究。适合需要为 ChaCha20-Poly1305 配置安全参数（如数据限额、重密钥策略）的协议设计者、密码学研究者以及安全审核人员阅读。

本文提出了一种基于场景的评估框架，用于分析量子计算及人工智能加速对 TLS 1.3 密码依赖构成的潜在风险。作者将威胁划分为不同的证据层级：基于机制支持的威胁（如 Shor 算法对 RSA 和 ECC 的攻击）、基于偶然性支持的威胁（针对基于格的后量子密码，如 ML-KEM、ML-DSA）、以及仅基于假设的风险（针对哈希基和对称原语）。论文明确表示，目前未发现任何针对 ML-KEM、ML-DSA、SLH-DSA 或 AES-256 的已知破解方法，并强调其研究并非宣称这些算法已被攻破。核心方法是构建一个四场景能力模型，每个场景包含显式参数和伪代码，用于压力测试迁移时间线，同时进行参数敏感性分析和可证伪性分析。该模型的主要方法论贡献在于其可复现的场景估计工具和显式更新机制：每个参数都是命名且锚定的量，可独立调整并重新运行模型；同时定义了一套协议，将观测到的数据与模型曲线的符合或偏离映射到特定参数的修订上，从而允许根据历史积累数据逐步优化模型。论文定位为量子资源估算研究和专家启发时间调查（如全球风险研究所的量子威胁报告）的方法论补充，并明确给出了修正规则。截至 2026 年年中，模型显示没有任何 NIST 批准的算法被攻破；但在不同场景下，RSA 的风险在 2030-2032 年间跨过 50% 阈值，而 PQC 风险在 2032-2035 年后在偶然性场景下变为非零风险（条件依赖于未经证实的维度坍缩假设）。作者强烈建议按照 2030 和 2031 的联邦截止日期以及 Mosca 的 HNDL 推理强制进行 PQC 迁移，并认为加密敏捷性和混合加密部署是任何 PQC 迁移工作的必要补充。该文适合关注后量子密码迁移战略、TLS 1.3 安全性、以及风险评估方法论的密码学家、安全架构师和政策制定者阅读。