10 papers
Verifiable blind probabilistic error cancellation
Bo Yang, Elham Kashefi, Harold Ollivier
Quantum error mitigation (QEM) is an essential tool for mitigating hardware noise without incurring space overhead. Yet, its reliability depends on modeling, calibration, and imple…
Verification of Quantum Computations: Hardware-Efficient Security Proofs
Harold Ollivier
How can a user with limited quantum resources verify the output of an untrusted, fully quantum server? This manuscript provides a conceptual synthesis of some recent developments t…
Efficient certification of intractable quantum states with few Pauli measurements
Sami Abdul Sater, Maxime Garnier, Thierry Martinez +2
Efficient verification of quantum computational resources is crucial as experiments advance toward fault-tolerance. Universal quantum computation can be achieved by consuming resou…
Noise Inference by Recycling Test Rounds in Verification Protocols
Amit Saha, Harold Ollivier
Interactive verification protocols for quantum computations allow to build trust between a client and a service provider, ensuring the former that the instructed computation was ca…
Composable Verification in the Circuit-Model via Magic-Blindness
Sami Abdul Sater, Harold Ollivier
As quantum computing machines move towards the utility regime, it is essential that users are able to verify their delegated quantum computations with security guarantees that are…
Plugging Leaks in Fault-Tolerant Quantum Computation and Verification
Theodoros Kapourniotis, Dominik Leichtle, Luka Music +1
With the advent of quantum cloud computing, the security of delegated quantum computation has become of utmost importance. While multiple statistically secure blind verification sc…