組込みシステムの論理最適化：De Morganの法則でコードを高速化

二人のハッカー、ボブとアリスは、リソースに制限のあるマイクロコントローラーでバグを発見しました。OR演算が他の演算よりも5倍遅いというものでした。3日間の締め切りを前に、彼らは論理的等価性、特にド・モルガンの法則を利用してコードを書き換え、OR演算をAND演算とNOT演算に置き換えることでパフォーマンスのボトルネックを回避しました。この記事では、NAND演算の普遍性とその暗号計算の最適化への応用、例えばTFHEライブラリにおける準同型暗号の効率の大幅な向上についても説明しています。