microsoft / grover-blocks

Implementations of Grover oracles for the block ciphers AES and LowMC in the quantum-focused programming language Q#

Grover-blocks v1.0

Grover's algorithm for block cipher key search

The grover-blocks project contains implementations of Grover oracles for exhaustive key search on block ciphers via Grover's quantum search algorithm. Version 1.0 provides oracles for AES and LowMC in the quantum-focused programming language Q# and depends on the Microsoft Quantum Development Kit. The code can be used to obtain quantum resource estimates for exhaustive key search to inform the post-quantum security assessment of AES and LowMC.

The code was developed by Microsoft Research for experimentation purposes.

Issue with estimating resources

A problem with the ResourcesEstimator functionality in Q# has been found and reported in Issue #192. Currently, results may report independent lower bounds on depth and width that may not be simultaneously realizable in a quantum circuit. The Q# team has stated that they are working to resolve this issue.

Installation instructions

• AES
• LowMC

Contributors

• Fernando Virdia
• Samuel Jaques

License

Grover-blocks is licensed under the MIT License; see License for details.

References

[1] Samuel Jaques, Michael Naehrig, Martin Roetteler, and Fernando Virdia, "Implementing Grover oracles for quantum key search on AES and LowMC". Preprint available at https://eprint.iacr.org/2019/1146.

Contributing

This project welcomes contributions and suggestions. Most contributions require you to agree to a Contributor License Agreement (CLA) declaring that you have the right to, and actually do, grant us the rights to use your contribution. For details, visit https://cla.opensource.microsoft.com.

When you submit a pull request, a CLA bot will automatically determine whether you need to provide a CLA and decorate the PR appropriately (e.g., status check, comment). Simply follow the instructions provided by the bot. You will only need to do this once across all repos using our CLA.

This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact [email protected] with any additional questions or comments.

grover-blocks's Issues

Environment Details

Can you share the details about the environment in which you ran the simulations? Details of hardware like RAM, CPUs, GPUs etc. I am curious to know how you tested the quantum circuits with such a high number of qubits.