嵌入式系统中的逻辑优化：用 De Morgan 定律加速你的代码
2025-03-11
两位黑客Bob和Alice在资源受限的微控制器上发现了一个bug：OR运算比其他运算慢五倍。为了在三天期限内解决这个问题，他们利用逻辑等价性，特别是De Morgan定律，将代码中的OR运算替换为AND和NOT运算，从而避免了性能瓶颈。文章还介绍了NAND运算的普遍性及其在优化加密运算中的应用，例如在TFHE库中，使用NAND运算可以显著提高同态加密的效率。
阅读更多