91 citations · 151 across the 2 of their papers we have counts for
4 papers
Post hoc verification with a single prover
Tomoyuki Morimae, Joseph F. Fitzsimons
We propose a simple protocol for the verification of quantum computation after the computation has been performed. Our construction can be seen as an improvement on previous result…
Self-guaranteed measurement-based quantum computation
Masahito Hayashi, Michal Hajdusek
In order to guarantee the output of a quantum computation, we usually assume that the component devices are trusted. However, when the total computation process is large, it is not…
Post hoc verification of quantum computation
Joseph F. Fitzsimons, Michal Hajdušek
With recent progress on experimental quantum information processing, an important question has arisen as to whether it is possible to verify arbitrary computation performed on a qu…
Device-Independent Verifiable Blind Quantum Computation
Michal Hajdušek, Carlos A. Pérez-Delgado, Joseph F. Fitzsimons
As progress on experimental quantum processors continues to advance, the problem of verifying the correct operation of such devices is becoming a pressing concern. The recent disco…