Circuit-model blind quantum computation with key decoupling
A circuit-model blind quantum computation protocol that conceals the target quantum computation while decoupling the encryption and decryption keys, and proves the verifiability of the protocol, where verification is achieved by estimating expectation values of randomly chosen Pauli observables, thereby substantially r...