Quantum homomorphic encryption for Clifford+CS operators

                                * * *

This is the Agda code accompanying the paper "Generators and relations
for 3-qubit Clifford+CS operators" by Xiaoning Bian and Xin Sun.


Compatibility
-------------

This code was tested with Agda versions 2.6.2.2 and 2.6.4-b5105f4.

For instructions on how to install and use Agda, see
https://agda.readthedocs.io/en/latest/


Files
-----

The code is organized as two files:

    Veri.agda: Verification of QHE scheme for T gate and our
        simplified QHE scheme for T gate.
        
    VeriCS.agda: Verification of QHE scheme for CS gate.


Authors
-------

Xiaoning Bian <bian@dal.ca>

Xin Sun <xin.sun.logic@gmail.com>


Copyright and License
---------------------

(C) 2023 Xiaoning Bian and Xin Sun.

This works is licensed under the Creative Commons CC BY 2.0 license.
See https://creativecommons.org/licenses/by/2.0/ for more details.