Ce projet développe des outils pour concevoir et évaluer des circuits quantiques optimisés, réduisant le nombre de qubits nécessaires pour des algorithmes spécifiques. Il permet de tester et comparer des implémentations quantiques, notamment pour des opérations comme l'inversion de matrices ou la multiplication de polynômes binaires. Les résultats sont utilisés pour valider des formules théoriques et améliorer l'efficacité des algorithmes quantiques dans le domaine du décodage d'information.