💻 computer science

A Constant-Time Implementation Methodology for Activation Functions on Microcontrollers

تقترح هذه الورقة وتتحقق من منهجية تنفيذ ثابتة الزمن لدوال التنشيط على وحدات التحكم الدقيقة من طراز ARM Cortex-M4، والتي تقضي على الثغرات الأمنية للقنوات الجانبية الزمنية من خلال الاختيار الخالي من التفرع، وتقريبات "باديه" ذات التكلفة الثابتة، ومحاذاة الدورات، مع الحفاظ على دقة عددية عالية عبر أنواع متعددة من الدوال.

المؤلفون الأصليون: Andrii Tyvodar, Andreas Rechberger, Dirmanto Jap, Shivam Bhasin, Bernhard Jungk, Jakub Breier, Xiaolu Hou

نُشر 2026-05-22

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Andrii Tyvodar, Andreas Rechberger, Dirmanto Jap, Shivam Bhasin, Bernhard Jungk, Jakub Breier, Xiaolu Hou

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أن لديك جهازاً ذكياً، مثل جهاز تتبع اللياقة البدنية أو مستشعر طبي، يستخدم "دماغاً" (شبكة عصبية) لاتخاذ القرارات. هذا الدماغ يحتوي على مفاتيح خاصة تسمى دوال التنشيط (activation functions) التي تقرر كيفية معالجة المعلومات.

المشكلة هي أن هذه المفاتيح تسرب الأسرار. تماماً كما قد ينقر شخص بقدمه بشكل أسرع عندما يكون متحمساً أو أبطأ عندما يشعر بالملل، فإن هذه المفاتبات البرمجية تستغرق أوقاتاً متفاوتة قليلاً للعمل اعتماداً على البيانات التي تعالجها. يمكن لمخترق ماكر يقف في الجوار أن يستمع إلى هذه "النقرات الزمنية" ويكتشف ما يفكر فيه الجهاز، أو حتى يعيد هندسة دماغ الجهاز.

الطريقة القديمة: إخفاء الضجيج

في السابق، حاول الباحثون إصلاح ذلك عن طريق إضافة ضجيج عشوائي. تخيل أنك تحاول إخفاء شفرة سرية عبر الصراخ بها، ولكنك تضيف ضجيجاً استاتيكياً عشوائياً لصوتك حتى لا يتمكن أحد من سماع النمط. تطلق الورقة البحثية على هذا اسم "إلغاء التزامن" (desynchronization).

اختبر المؤلفون هذا الأسلوب ووجدوا أنه لم ينجح جيداً. فحتى مع وجود الضجيج الاستاتيكي، إذا استمع المخترق لفترة كافية واستخدم حيلة إحصائية ذكية (مثل مطابقة القوالب)، فبإمكانه لاحقاً اكتشاف النمط. الأمر يشبه محاولة إخفاء بصمة إصبع بمسحها بالطين؛ يمكن لمحقق ماهر مسح الطين والعثور على البصمة.

الحل الجديد: مصنع "الوقت الثابت"

يقترح المؤلفون نهجاً مختلفاً تماماً: التنفيذ ذو الوقت الثابت (Constant-Time Implementation).

بدلاً من محاولة إخفاء الوقت الذي تستغرقه المهمة، أعادوا تصميم المهمة بحيث تستغرق دائماً نفس القدر من الوقت بالضبط، بغض النظر عن المدخلات.

فكر في الأمر كخط تجميع في مصنع:

الطريقة القديمة: إذا حصل العامل على صندوق صغير، فسينتهي في ثانيتين. وإذا حصل على صندوق كبير، فسيستغرق 5 ثوانٍ. يمكن للمراقب معرفة حجم الصندوق بمجرد مراقبة الساعة.
الطريقة الجديدة: تمت إعادة تصميم المصنع بحيث يستغرق كل عامل، بغض النظر عن حجم الصندوق، 5 ثوانٍ بالضبط.
- إذا كان الصندوق صغيراً، ينهي العامل المهمة في ثانيتين، ثم يجلس ساكناً وينتظر لمدة 3 ثوانٍ (يقوم بعمل "وهمي") لملء الوقت.
- إذا كان الصندوق كبيراً، يعمل العامل طوال الـ 5 ثوانٍ كاملة.
- النتيجة: بالنسبة لمراقب خارجي، تستغرق كل مهمة بالضبط 5 ثوانٍ. لقد اختفى السر الزمني.

كيف فعلوا ذلك (مجموعة الأدوات)

لبناء هذا "المصنع المثالي التوقيت" على شرائح الكمبيوتر الصغيرة (المتحكمات الدقيقة)، استخدم المؤلفون أربع أدوات رئيسية:

لا توجد فروع "إذا/إذن" (If/Then): غالباً ما تتباطأ أو تتسارع الحواسيب بناءً على القرارات (مثل "إذا كان الرقم سالباً، افعل X؛ وإلا، افعل Y"). قام المؤلفون بإزالة هذه القرارات. بدلاً من ذلك، يقومون بحساب كلا الاحتمالين واستخدام "قناع" رياضي لاختيار الإجراء الصحيح فوراً، دون التوقف لاتخاذ قرار.
اختصار "باديه" (Padé): حساب المنحنيات المعقدة (مثل Sigmoid أو Tanh) هو أمر بطيء ويختلف زمنه. استبدل المؤلفون هذه الحسابات الثقيلة باختصار رياضي ذكي ذو خطوات ثابتة (تقريب عقلاني) يستغرق دائماً نفس عدد الخطوات.
الحسابات الوهمية: بالنسبة لأبسط مفتاح (ReLU)، والذي عادة ما يستغرق وقتاً ضئيلاً جداً، أضافوا خطوات حسابية "وهمية". هذا يشبه جلوس العامل ساكناً؛ فهو يضمن أن يستغرق المفتاح البسيط نفس الوقت الطويل الذي تستغرقه المفاتيح المعقدة.
محاذاة الدورات (Cycle Alignment): قاموا بحساب كل "نبضة" من نبضات ساعة الكمبيوتر بعناية لضمان انتهاء كل دالة في اللحظة ذاتها تماماً.

النتائج

اختبر الفريق هذه الدوال على خمس دوال تنشيط شائعة (ReLU, Sigmoid, Tanh, GELU, Swish) على شريحة ARM Cortex-M4 (وهي شريحة شائعة في الأجهزة المدمجة).

التوقيت: في النسخة القديمة غير المحمية، كان الوقت يتفاوت بشكل كبير. أما في النسخة الجديدة، فقد استغرق كل مدخل بالضبط 108 دورة ساعة (حوالي 1.3 ميكروثانية). كان التوقيت مسطحاً تماماً.
الدقة: خشي المؤلفون من أن إضافة الخطوات الوهمية والاختصارات قد تجعل الرياضيات خاطئة. ومع ذلك، وجدوا أن الأخطاء كانت ضئيلة جداً—بدرجة تجعل دماغ الجهاز لا يزال يعمل بشكل صحيح للأغراض العملية.
السرعة: للمفاجأة، كانت الطريقة الجديدة للدوال المعقدة في الواقع أسرع من الطرق القياسية القديمة لأن الاختصارات كانت أكثر كفاءة، رغم إضافتهم للخطوات الوهمية لمطابقة التوقيت.

الخلاصة

تثبت الورقة البحثية أنه يمكنك بناء دالة تنشيط "مقاومة للزمن" للأجهزة الصغيرة. من خلال إجبار كل عملية حسابية على استغرق نفس الوقت تماماً، فإنك تمنع المخترقين من الاستماع إلى "نبضات قلب" الجهاز لسرقة الأسرار. إنها طريقة عملية وفعالة لجعل الذكاء الاصطناً المدمج أكثر أماناً دون المساس بأداء الجهاز.

ملخص تقني: منهجية التنفيذ ثابت الزمن لوظائف التنشيط على المتحكمات الدقيقة

بيان المشكلة
تتعرض عمليات الاستدلال للشبكات العصبية المدمجة على المتحكمات الدقيقة محدودة الموارد بشكل متزايد لهجمات القنوات الجانبية المعتمدة على التوقيت. لقد أظهرت الدراسات الحديثة أن وظائف التنشيط داخل هذه الشبكات تسرب معلومات من خلال تباينات زمن التنفيذ التي تعتمد على قيم المدخلات وأنواع الوظائف. يسمح هذا التسريب للمهاجمين بالتمييز بين وظائف التنشيط المختلفة (مثل ReLU مقابل sigmoid) ومن المحتمل هندسة بنية النماذج عكسياً أو استنتاج بيانات مدخلات حساسة. وبينما تحاول الدفاعات الحالية، مثل إلغاء التزامن (إدخال تأخيرات عشوائية)، إخفاء أنماط التوقيت هذه، إلا أنها لا تقضي على السلوك المعتمد على المدخلات في جوهره. وبناءً على ذلك، يمكن للهجمات القائمة على القوالب (template-based attacks) التي تعتمد على تحليل الأنماذج أن تميز إحصائياً بين وظائف التنشيط رغم الضجيج المضاف.

المنهجية
يقترح المؤلفون منهجية تنفيذ ثابتة الزمن مصممة للقضاء على تباينات التوقيت المعتمدة على المدخلات من المصدر، بدلاً من مجرد محاولة إخفائها. تم تطبيق هذا النهج على منصة ARM Cortex-M4 (STM32F411)، ويستهدف خمس وظائف تنشيط شائعة الاستخدام وهي: ReLU، وsigmoid، وtanh، وGELU (وحدة الخطأ الغاوسية الخطية)، وSwish.

تعتمد المنهجية على أربعة مكونات أساسية:

الاختيار القائم على القناع بدون تفرع (Branchless, Masking-Based Selection): لمنع تباعد تدفق التحكم، يتجنب التنفيذ التفرعات المعتمدة على البيانات. بدلاً من ذلك، يستخدم عمليات القناع المنطقي والعمليات بت-المنطقية (AND/OR) للاختيار بين القيم المرشحة (مثل المخرجات المشبعة مقابل نتائج التقريب) بناءً على التمثيل البتي (bit representation) للمدخلات. يضمن هذا بقاء تسلسل التعليمات متطابقاً بغض النظر عن قيمة المدخلات.
التقريب القائم على طريقة بادي ذات التكلفة الثابتة (Fixed-Cost Padé-Based Approximation): بالنسبة للوظائف غير الخطية (sigmoid، tanh، GELU، Swish)، يستبدل المؤلفون تقييمات الدوال المتسامية القياسية بتقريب عقلاني مشترك ذي تكلفة ثابتة يعتمد على تقريب بادي لدالة $\tanh(x)$ $tanh (x)$ ، والمشار إليه بـ $R_{tanh}(x)$ $R_{t anh} (x)$ . يتضمن هذا التقريب تسلسلاً ثابتاً من عمليات الجمع والضرب وعملية قسمة واحدة، مما يتجنب الحلقات التكرارية أو اختيار الفترات المعتمد على المدخلات.
- يتم بناء دوال Sigmoid وSwish باستخدام المتطابقة $S(x) = \frac{1}{2}(1 + \tanh(x/2))$ .
- يتم تقريب GELU باستخدام صيغة تعتمد على $\tanh$ .
التشبع القائم على القناع (Masking-Based Saturation): للتعامل مع المدخلات خارج منطقة التقريب، تستخدم المنهجية منطق التشبع (الحصر بين 0 أو 1 أو $x$ ) والذي يتم تنفيذه عبر استراتيجية القناع الخالية من التفرع نفسها. يضمن هذا أنه حتى عندما يتم تجاوز التقريب العقلاني للمدخلات المشبعة، فإن مسار التنفيذ وعدد الدورات يظلان ثابتين.
محاذاة الدورات والحسابات الوهمية (Cycle Alignment and Dummy Arithmetic): لتحقيق أوقات تنفيذ متطابقة لجميع الوظائف الخمس، أدخل المؤلفون عمليات حسابية وهمية. وتحديداً، تم تعزيز وظيفة ReLU البسيطة، التي تنفذ بشكل أسرع بكثير من التقريبات غير الخطية، بتسلسل حسابي $R_{tanh}$ نفسه (دون التأثير على النتيجة النهائية) لمواءمة عدد دوراتها مع الوظائف الأكثر تعقيداً. تم استخدام حشوات NOP الدنيا فقط للمحاذاة الدقيقة.

المساهمات الرئيسية

منهجية ثابتة الزمن: يقدم البحث مبدأ بناء قابلاً لإعادة الاستخدام لوظائف التنشيط يضمن وقتاً للتنفيذ مستقلاً عن المدخلات على المتحكمات الدقيقة.
التطبيق على خمس وظائف: تم تطبيق المنهجية بنجاح على ReLU، وsigmoid، وtanh، وGELU، وSwish، باستخدام تقريب عقلاني مشترك للمكونات غير الخطية.
ضعف إلغاء التزامن: يوضح المؤلفون أن الدفاعات القائمة على إلغاء التزامن، رغم أنها تخفي آثار التوقيت بصرياً، تظل عرضة لهجمات التوقيت القائمة على القوالب. حيث يسمح التحليل الإحصائي لأوقات التنفيذ للمهاجم بالتمييز بين وظائف التنشيط بثقة عالية بعد إجراء قياسات كافية.
التحقق التجريبي: يقدم العمل أدلة تجريبية على أن التنفيذات المحمية المقترحة تحقق أعداد دورات متطابقة لجميع المدخلات المختبرة، مما يؤدي فعلياً إلى كبح تسرب التوقيت.

النتائج التجريبية
تم تقييم المنهجية على معالج ARM Cortex-M4 يعمل بتردد 84 ميجاهرتز.

انتظام التوقيت:
- في إعداد يتكون من ثلاث وظائف (ReLU، sigmoid، tanh) عبر الفترة $[-8, 8]$ ، نفذت جميع التنفيذات المحمية بالضبط 88 دورة ساعة (1.048 ميكروثانية)، بغض النظر عن قيمة المدخلات.
- في إعداد موسع لخمس وظائف (بما في ذلك GELU وSwish) عبر الفترة $[-500, 500]$ ، نفذت جميع التنفيذات بالضبط 108 دورة ساعة (1.286 ميكروثانية).
- في المقابل، أظهرت التنفيذات غير المحمية تباينات كبيرة في التوقيت (على سبيل المثال، استغرقت ReLU غير المحمية حوالي 12 دورة، بينما استغرقت tanh غير المحمية حوالي 403 دورة) وتقلبات تعتمد على المدخلات.
الدقة العددية:
- حافظت التقريبات على دقة عالية. بالنسبة للفترة $[-8, 8]$ ، كان متوسط مربع الخطأ (MSE) لـ sigmoid هو $2.93 \times 10^{-12}$ ولـ tanh هو $6.14 \times 10^{-10}$ .
- في الفترة الموسعة $[-500, 500]$ ، ظلت الأخطاء ضئيلة لـ sigmoid وtanh (حيث تتشبع بسرعة)، بينما أظهرت GELU وSwish خطأً منخفضاً متركزاً بالقرب من عتبات التشبع (الخطأ المطلق الأقصى لـ Swish كان $1.11 \times 10^{-3}$ ).
مقايضات الأداء:
- تحمل تنفيذ ReLU المحمي زيادة في زمن التأخير (من حوالي 12 إلى 88/108 دورة) بسبب إدراج الحسابات الوهمية للمحاذاة.
- على العكس من ذلك، كانت الوظائف غير الخطية المحمية أسرع بكثير من نظيراتها غير المحمية (على سبيل المثال، كانت sigmoid/tanh المحمية أسرع بنسبة ~33-38% من النسخ غير المحمية) لأن التقريب العقلاني أكثر كفاءة من الدوال المتسامية القياسية في مكتبات البرمجة على الأجهزة المستهدفة.

الأهمية والادعاءات
يدعي البحث أن المنهجية المقترحة توفر أساساً عملياً لبناء وظائف تنشيد مقاومة للقنوات الجانبية في الاستدلال المدمج. من خلال الانتقال من "الإخفاء" (العشوائية) إلى التصميم "ثابت الزمن"، تقضي المنهجية على السبب الجذري لتسرب التوقيت: مسارات التنفيذ المعتمدة على المدخلات. ويؤكد المؤلفون أن هذه المنهجية تسمح ببناء وظائف تنشيط حيث يكون تسلسل التعليمات المنفذة مستقلاً عن قيمة المدخلات، مما يمنع هجمات التوقيت القائمة على القوالب.

يضع هذا العمل حجر أساس لتعلم الآلة المدمج الآمن، خاصة للأجهزة الطرفية الحساسة للخصوصية (مثل المستشعرات الطبية، والأجهزة القابلة للارتداء) حيث يمكن للمهاجمين الوصول إلى معلومات التوقيت. يشير المؤلفون بتواضع إلى أنه بينما يعالج هذا الأمر تسرب التوقيت في وظائف التنشيط، فإنه لا يشكل حلاً كاملاً لكامل عملية الاستدلال، وقد تتطلب القنوات الجانبية الأخرى (مثل الطاقة أو الكهرومغناطيسية) أو تفاصيل التنفيذ الأخرى حماية أيضاً. يركز البحث تحديداً على مجال التوقيت ولا يدعي معالجة جميع نواقل القنوات الجانبية المحتملة.