Optimización de la lógica de sistemas embebidos: Acelerar tu código con la Ley de De Morgan
2025-03-11
Dos hackers, Bob y Alice, encontraron un error en su microcontrolador con recursos limitados: las operaciones OR eran cinco veces más lentas que otras operaciones. Ante un plazo de tres días, usaron equivalencias lógicas, específicamente la Ley de De Morgan, para reescribir su código, reemplazando las operaciones OR con operaciones AND y NOT. Esto solucionó el cuello de botella de rendimiento. El artículo explora además la universalidad de las operaciones NAND y su aplicación en la optimización de cálculos criptográficos, como la mejora significativa de la eficiencia del cifrado homomórfico en la biblioteca TFHE.