Interchangeable techniques between classical and quantum cryptography

量子盲计算可以在基于测量的量子计算模型中讨论。作为一种特殊情况，辅助驱动的量子计算被定义为只在测量系统上进行测量，在计算系统上进行计算，两个系统分离的计算。在辅助驱动的计算模型中，我们推导了盲性的充分条件，并给出了一种绑定协议。在密码学中，通用可组合性保证了协议可以作为更大的密码系统的一部分使用。我们证明了Fujii-Morimae盲计算，其中只有客户端进行测量，是普遍可组合的。

Quantum blind computation can be discussed in the measurement-based quantum computation model. As a special case, ancilla-driven quantum computation is defined as computation where measurements are made only on the measurement system and computation is carried on the computational system and those two system are separated. In the ancilla-driven computation model, we derive sufficient conditions for the blindness and show a bind protocol. In cryptography, the universal composability guarantees that a prococol can be used as a part of larger cryptosystems. We show that Fujii-Morimae blind computation, where only the client makes measurements, is universally composable.