ok un peu embarrassant - je n'avais pas rust installé sur cette machine, donc le code généré ne compilait même pas et les benchmarks étaient des estimations, comme @MatteoFrig60839 l'a également remarqué J'ai poussé un peu plus pour l'amener à un meilleur état, mais ce n'est toujours pas une implémentation entièrement fonctionnelle Je resterais tout de même assez suspicieux si c'est à la fois correct et plus rapide qu'une implémentation C++ de qualité production soigneusement élaborée le test ultime serait d'avoir une preuve générée par rust vérifiée dans un vérificateur C++ - je n'arrive pas à le faire pour l'instant et cela nécessiterait plus de poussées ce serait bien si nous avions une bonne fonction de vérification de preuve complète isolée en C++ et que nous orientions CC vers cela