تحسين منطق الأنظمة المضمنة: تسريع التعليمات البرمجية باستخدام قانون دي مورغان

واجه اثنان من المخترقين، هما بوب وأليس، خطأً في وحدة التحكم الدقيقة الخاصة بهما والتي لديها موارد محدودة: كانت عمليات OR أبطأ بخمس مرات من العمليات الأخرى. في ظل مهلة زمنية تبلغ ثلاثة أيام، استخدما مكافئات منطقية، وتحديداً قانون دي مورغان، لإعادة كتابة التعليمات البرمجية الخاصة بهما، واستبدال عمليات OR بعمليات AND و NOT. هذا تجاوز اختناق الأداء. كما يستكشف المقال عالمية عمليات NAND وتطبيقها في تحسين الحسابات المشفرة، مثل تحسين كفاءة التشفير المتماثل بشكل كبير في مكتبة TFHE.