Quantum homomorphic encryption for Clifford+CS operators

This is the Agda code accompanying the paper "Quantum homomorphic encryption for Clifford+CS operators" by Xiaoning Bian and Xin Sun.

Files

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/.

Authors

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.