We introduce ocvqc-py (On Chip Verified Quantum Computation - Python), a Python library for constructing verifiable measurement-based quantum computation (MBQC) patterns. Verifiable quantum computation ensures that the output of a quantum computation can be relied upon even if the quantum device may be faulty or untrusted. Supported by pytket, the library is compatible with the Quantinuum ion-trap backend, enabling the construction of verifiable MBQC patterns compatible with near-term noisy quantum hardware. Building on the principles of quantum verification, ocvqc-py implements a novel approach to on-chip verification, allowing users to generate verifiable MBQC patterns without the need for quantum communication between client and server, which is typical in traditional verifiable MBQC setups. ocvqc-py has been used to construct measurement patterns with up to 52 vertices, demonstrated on the Quantinuum H1-1 ion-trap quantum computer, which is the largest verified MBQC pattern implemented to date.

The full paper can be found here: https://arxiv.org/abs/2410.24133 The code: https://github.com/CQCL/ocvqc-py