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.
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.
- Fernando Virdia
- Samuel Jaques
Grover-blocks is licensed under the MIT License; see License for details.
[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.
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.