Robust and Secure Code Watermarking for Large Language Models via ML/Crypto Codesign
تقدم الورقة البحثية RoSeMary، وهو إطار عمل جديد للتصميم المشترك بين تعلم الآلة والتشفير (ML/Crypto codesign)، يستخدم التدريب من الطرف إلى الطرف باستخدام CodeT5 وبراهين المعرفة الصفرية لدمج علامات مائية قوية ووظيفية وتحافظ على الخصوصية في الأكواد البرمجية التي تولدها النماذج اللغوية الكبيرة (LLM)، مما يعالج بفعالية تحديات انخفاض الإنتروبيا والتحقق الآمن.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل عالماً لا تكتفي فيه الحواسيب بالدردشة معنا، بل تقوم فعلياً بكتابة المخططات لِحيواتنا الرقمية. هذا هو عالم النماذج اللغوية الكبيرة (LLMs) المخصصة للبرمجة، وهي مساعدات الذكاء الاصطناي فائقة الذكاء التي يمكنها إنشاء وظائف برمجية، وإصلاح الأخطاء، وبناء برامج كاملة بمجرد قراءة أمر بسيط. ولكن هنا تكمن العقبة: عندما يكتب هذا الذكاء الاصطناعي كوداً برمجياً، غالباً ما يكون من الصعب معرفة من يملكه حقاً. هل كتبه مهندس بشري، أم ذكاء اصطناعي؟ وإذا كان الذكاء الاصطناعي هو من كتبه، فأي شركة تملك هذا الذكاء؟ هذا أمر بالغ الأهمية لأن الكود البرمجي هو ملكية فكرية قيمة، تماماً مثل وصفة سرية أو اختراع حاصل على براءة اختراع.
ولحل هذه المشكلة، حاول العلماء وضع "علامة مائية" (watermark) على كود الذكاء الاصطناعي. فكر في الأمر كأنه حبر رقمي غير مرئي أو علامة مائية مخفية على ورقة نقدية. أنت تريد أن تكون قادراً على إثبات: "مهلاً، هذا الكود صُنع بواسطة الذكاء الاصطناعي الخاص بي"، دون تغيير طريقة عمل الكود. لكن هناك مشكلة معقدة: الكود البرمجي صارم للغاية. فخلافاً للقصة حيث يمكنك استبدال الكلمات بمرادفاتها، يجب أن يتبع الكود قواعد صارمة ليعمل. إذا غيرت الكثير لإخفاء رسالة سرية، فسيتعطل البرنامج. علاوة على ذلك، لإثبات الملكية أمام المحكمة، يتعين عليك عادةً إظهار المفتاح السري (العلامة المائية) للقاضي. ولكن إذا أظهرت المفتاح، يمكن للأشرار سرقته وتزييف علاماتهم المائية الخاصة لاحقاً. إنها لعبة "غميضة" محبطة حيث تجعل قواعد اللعبة الفوز مستحيلاً تقريباً دون خسارة شيء آخر.
هنا يأتي دور إطار عمل جديد يسمى RoSeMary، والذي يعمل مثل ساحر بارع يمكنه إخفاء رسالة سرية داخل صندوق مغلق دون أن يظهر المفتاح أبداً. لقد صمم الباحثون، وهم فريق من جامعة كاليفورنيا في سان دييغو وجامعة سان دييغو ستيت، نظاماً يجمع بين تعلم الآلة (جزء الذكاء الاصطناعي) وعلم التشفير (الرياضيات السرية). لقد اكتشفوا كيفية دمج توقيع مخفي في الكود الذي يولده الذكاء الاصطناعي بحيث يصعب إزالته، ويحافظ على عمل الكود بشكل مثالي، والأهم من ذلك، يسمح للقاضي بالتحقق من الملكية دون رؤية التوقيع السري الفعلي.
إليك كيف ينفذ RoSeMary هذه الخدعة السحرية. أولاً، يستخدم نموذج ذكاء اصطناعي مدرب مسبقاً يسمى CodeT5، وهو يشبه رئيس طهاة خبير تذوق ملايين الوصفات. فبدلاً من تغيير الكود عشوائياً، يفهم هذا الطاهي "نكهة" الكود. يأخذ الكود الأصلي والرسالة السرية (العلامة المائية) ويقرر أفضل طريقة لتعديل الكود بشكل طفيف—مثل إعادة تسمية متغير من x إلى item أو تغيير حلقة while إلى حلقة for—بحيث يتم إخفاء الرسالة السرية داخل هذه التغييرات الطفيفة. ولأن الطاهي يعرف قواعد الطبخ (البرمجة)، فإن الكود سيظل مذاقه هو نفسه تماماً (يعمل بشكل مثالي) حتى مع إضافة المكون السري.
لكن السحر الحقيقي يحدث عندما يحين وقت التحقق من أصالة الكود. عادةً، سيتعين عليك تسليم الوصفة السرية للقاضي. يستخدم RoSeMary أداة تشفير تسمى إثبات المعرفة الصفرية (ZKP). تخيل أنك تريد إثبات لصديق أنك تعرف رمز الخزنة، لكنك لا تريد إخباره بالأرقام. يمكنك فتح الخزنة أمامه، وإظهار الكنز الموجود بداخلها، ثم إغلاقها مرة أخرى. سيعرف صديقك أنك تعرف الرمز، لكنه لن يرى الأرقام أبداً. يقوم RoSeMary بشيء مشابه؛ حيث يقوم مالك الذكاء الاصطناعي بتشغيل دائرة رياضية معقدة تتحقق مما إذا كان التوقيع المخفي موجوداً. وتنتج هذه الدائرة "إثباتاً" رقمياً صغيراً يقول: "نعم، التوقيع صالح"، دون الكشف عن ماهية التوقيع الفعلي.
اختبر الفريق هذا النظام على آلاف الأمثلة البرمجية في لغات مثل Python وJava وC++. ووجدوا أن RoSeMary بارع جداً في مهمته. فقد نجح في إخفاء العلامة المائية في 97.64% من الحالات (بمعنى أن الكود ظل يعمل)، وكان بإمكانه اكتشاف العلامة المائية بدقة بلغت 0.97 (حيث 1.0 هي الدرجة الكاملة). وحتى عندما حاول المهاجمون كسر العلامة المائية عن طريق إعادة تسمية المتغيرات أو استخدام ذكاء اصطناعي آخر لإعادة كتابة الكود، ظل RoSeMary يجد الرسالة المخفية بنسبة 98% من المرات.
لعل الجزء الأكثر إثارة للإعجاب هو السرعة والخصوصية. يمكن للنظام إنشاء إثبات للملكية في حوالي 7.15 ثانية، ويمكن للقاضي التحقق من هذا الإثبات في غض- 118.6 ميلي ثانية فقط (أقل من رمشة عين). والأهم من ذلك، أن القاضي لا يرى العلامة المائية السرية الفعلية طوال هذه العملية. وهذا يعني أن المالك يمكنه إعادة استخدام نفس العلامة المائية مراراً وتكراراً دون القلق من أن يسرقها شخص ما ويزيف ادعاءً ملكياً مزيفاً.
باختصار، يحل RoSeMary صراعاً ثلاثي الأطراف استعصى على الباحثين لفترة من الزمن. فهو يحافظ على عمل الكود (الأمانة/الدقة)، ويجعل العلامة المائية سهلة الاكتشاف (القابلية للكشف)، ويجعلها صعبة الكسر (المتانة)، كل ذلك مع الحفاظ على المفتاح السري بعيداً عن الأعين المتطفلة. إنها خطوة كبيرة للأمام في حماية الملكية الفكرية لثورة الذكاء الاصطناعي، مما يضمن أنه عندما يكتب الذكاء الاصطناعي تحفة فنية، يحصل الفنان على الائتمان—والحماية—التي يستحقها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.