基于数学优化的卡片协议不可达性结果
密码学与安全
2025-11-07 v3 最优化与控制
摘要
本文引入数学优化作为证明卡片密码学中不可达性结果的新方法。虽然以往的不可达性证明常局限于涉及少量卡片的情形，但该新方法建立的结论适用于大量卡片的情形。研究聚焦于单切全公开 (SCFO) 协议，这类协议由执行一次随机切割后揭示所有卡片组成。主要贡献在于，对于任何三个变量的布尔函数， 在所有额外卡片颜色相同的条件下，不存在新的 SCFO 协议是可能的，超出已知的协议之外。该工作的意义在于提供了一种新的框架来证明不可达性结果，并给出一种适用于任意卡片数量（只要所有额外卡片颜色相同）的证明。
引用
@article{arxiv.2509.17595,
title = {Impossibility Results of Card-Based Protocols via Mathematical Optimization},
author = {Shunnosuke Ikeda and Kazumasa Shinagawa},
journal= {arXiv preprint arXiv:2509.17595},
year = {2025}
}