一般的に観測ベース量子計算モデルで議論されるブラインド量子計算の特別形として観測に適した系と計算に適した系が存在し観測は観測系でのみ行う計算モデルとして補助キュービット駆動量子計算がある.当該モデルにおいてブラインド量子計算が可能であるための十分条件を導出し,実際にその十分条件を満たす方法を与えた.暗号理論においては,他のプロトコルの部品として利用しても安全性を維持する性質は汎用結合可能性と呼ばれる.ブラインド量子計算の方式には様々な方式があるが,クライアントが観測を行うタイプのFujii-Morimae方式は汎用結合可能であることを証明した.
|