arXiv· Ruixuan Deng·· 9 天前推荐指数41
FVQKD：用 Rocq 对量子密钥分发安全性进行形式化验证
FVQKD: A Formal Verification of Quantum Key Distribution Security in Rocq
AI 导读
FVQKD 是一个基于 Rocq 的库，首次完成对 BB84 协议可组合有限密钥安全性的端到端机器验证证明，全程 admit-free，仅依赖 Rocq 内核与标准基础公理。
来源：arXiv · arxiv.org