Optimisation de la logique des systèmes embarqués : Accélérer votre code avec la loi de De Morgan
2025-03-11
Deux hackers, Bob et Alice, ont rencontré un bug dans leur microcontrôleur à ressources limitées : les opérations OU étaient cinq fois plus lentes que les autres opérations. Avec une échéance de trois jours, ils ont utilisé des équivalences logiques, notamment la loi de De Morgan, pour réécrire leur code, en remplaçant les opérations OU par des opérations ET et NON. Cela a contourné le goulot d'étranglement des performances. L'article explore également l'universalité des opérations NAND et leur application dans l'optimisation des calculs cryptographiques, comme l'amélioration significative de l'efficacité du chiffrement homomorphe dans la bibliothèque TFHE.
Lire plus