Otimizando a Lógica de Sistemas Embarcados: Acelerando seu Código com a Lei de De Morgan

Dois hackers, Bob e Alice, encontraram um bug em seu microcontrolador com recursos limitados: operações OR eram cinco vezes mais lentas do que outras operações. Diante de um prazo de três dias, eles usaram equivalências lógicas, especificamente a Lei de De Morgan, para reescrever seu código, substituindo operações OR por operações AND e NOT. Isso contornou o gargalo de desempenho. O artigo explora ainda a universalidade das operações NAND e sua aplicação na otimização de computações criptográficas, como a melhoria significativa da eficiência da criptografia homomórfica na biblioteca TFHE.