Quantum digital signature, as an extension of classical digital signature, has become an important research content in quantum cryptography. Quantum blind signature combines the advantages of classical blind signature and quantum signature, which can ensure the unconditional security of the scheme based on the realization of the blinded signature of the message, and can be effectively applied in many real-world scenarios. This paper uses the four-particle [Formula: see text] state as a communication channel, combined with quantum teleportation technology to propose a new quantum multi-party blind signature protocol, which has the following characteristics: First, the Toeplitz hash function based on the linear shift register is introduced to blind the message, and the length of the blinded message can be adjusted according to the actual demand to increase the flexibility of the scheme; Second, through multi-party participation, the blind signature of multi-bit messages can be realized, and the signature efficiency can be improved. Compared with other quantum blind signatures, the signature efficiency has been greatly improved; Finally, using the four-particle [Formula: see text] state as a quantum channel can make the scheme use fewer resources to transmit data and increases the security of the scheme. Through security analysis, it can be seen that the scheme has blindness, nonrepudiation and unforgeability.
Blind quantum computation (BQC) provides an efficient method for the client who does not have enough sophisticated technology and knowledge to perform universal quantum computation. The single-server BQC protocol requires the client to have some minimum quantum ability, while the double-server BQC protocol makes the client's device completely classical, resorting to the pure and clean Bell state shared by two servers. Here, we provide a deterministic entanglement distillation protocol in a practical noisy environment for the double-server BQC protocol. This protocol can get the pure maximally entangled Bell state. The success probability can reach 100% in principle. The distilled maximally entangled states can be remaind to perform the BQC protocol subsequently. The parties who perform the distillation protocol do not need to exchange the classical information and they learn nothing from the client. It makes this protocol unconditionally secure and suitable for the future BQC protocol.
Blind delegation protocols allow a client to delegate a computation to a server so that the server learns nothing about the input to the computation apart from its size. For the specific case of quantum computation we know that blind delegation protocols can achieve information-theoretic security. In this paper we prove, provided certain complexity-theoretic conjectures are true, that the power of information-theoretically secure blind delegation protocols for quantum computation (ITS-BQC protocols) is in a number of ways constrained. In the first part of our paper we provide some indication that ITS-BQC protocols for delegating
BQP computations in which the client and the server interact only classically are unlikely to exist. We first show that having such a protocol with
O(nd) bits of classical communication implies that
BQP⊂MA/O(nd). We conjecture that this containment is unlikely by providing an oracle relative to which
BQP⊂MA/O(nd). We then show that if an ITS-BQC protocol exists with polynomial classical communication and which allows the client to delegate quantum sampling problems, then there exist non-uniform circuits of size
2n−Ω(n/log(n)), making polynomially-sized queries to an
NPNP oracle, for computing the permanent of an
n×n matrix. The second part of our paper concerns ITS-BQC protocols in which the client and the server engage in one round of quantum communication and then exchange polynomially many classical messages. First, we provide a complexity-theoretic upper bound on the types of functions that could be delegated in such a protocol, namely
QCMA/qpoly∩coQCMA/qpoly. Then, we show that having such a protocol for delegating
NP-hard functions implies
coNPNPNP⊆NPNPPromiseQMA.