> ２． 量子統計で学位取ったけど、量子と古典の境界でトラブルが続発で
> 　　苦労した。この経験から、Shor-Preskillの量子鍵配送の安全性の証明に
> 　　疑問あり。

そんなこと当たり前だろ？Shor-Preskillの証明なんて理想的な状態でしか成り立たんだろ
実際、光子数分割攻撃とかの実装レベルでの攻撃なんて見つかってるわけだし。

そんなん物理に依存してない話でも同じじゃん。敵対者が理想的にはCPAしかしない場合には
安全だけどCCAには安全でない暗号なんていくらでもあるわけだし。フレームワークを決めた内
では安全だけどそれ以外では安全かどうかもわからない、なんて話なんて物理云々いう以前の
問題だと思うんだが。