Ce projet est une preuve de concept (PoC) dédiée à l'implémentation et à la comparaison de méthodes de multiplication scalaire sur des courbes de Kummer. Il inclut des scripts pour évaluer les performances de l'échelle de Montgomery et de l'échelle hybride, ainsi que des outils de vérification pour confirmer la justesse des formules mathématiques utilisées. L'objectif est d'améliorer l'efficacité des protocoles cryptographiques basés sur les isogénies.

Le projet smt2d est un outil de vérification de formules mathématiques et d'analyse de contraintes logiques. Il permet de traiter des problèmes de satisfiabilité modulo théories (SMT) en utilisant la logique first-order avec équations et inégalités.