Free-Riding in the AI Economy: Demystifying Logic Flaws in x402-Enabled Payment Systems
تقدم هذه الورقة أول تحليل أمني شامل لبروتوكول x402، كاشفةً عن ثغرات حرجة مثل فجوات تصميم التوقيع وحالات التسابق التي تتيح الركوب المجاني وتسرب الموارد في أنظمة الدفع المدفوعة بالذكاء الاصطناعي، وتقترح تدابير معمارية تخفيفية لتأمين المعاملات بين الآلات.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل سوقاً رقمياً صاخباً حيث تقوم الروبوتات (الوكلاء الذكيون) بشراء وبيع الخدمات من بعضها البعض بسرعة البرق. ليس لديهم محاسبون أو مديرون بشريون؛ هم فقط يتحدثون مع بعضهم البعض ويتبادلون العملات الرقمية فوراً. ولجعل هذا الأمر ممكناً، تم اختراع نظام جديد يسمى x402. إنه يشبه لافتة "ادفع للدخول" عالمية يمكن للروبوتات قراءتها والامتثال لها تلقائياً.
ومع ذلك، فإن هذه الورقة البحثية هي تقرير أمني يقول: "الأقفال على هذا السوق مكسورة."
وجد الباحثون أنه بسبب محاولة النظام أن يكون سريعاً للغاية ومرناً للغاية، فقد خلق "فجوة" بين الوقت الذي يقول فيه الروبوت إنه سيدفع وبين وصول المال فعلياً. هذه الفجوة تسمح للأطراف السيئة بخداع النظام للقيام بعمل مجاني.
إليك تفصيل للطرق الأربع الرئيسية التي يحدث بها هذا "الاستغلال المجاني" (Free-Riding)، باستخدام تشبيهات بسيطة:
1. مشكلة "التذكرة الخاطئة" (استبدال الموارد - Cross-Resource Substitution)
التشبيه: تخيل أنك اشتريت تذكرة لفيلم بعنوان The Matrix. التذكرة تقول: "دخول واحد، 10 دولارات". لكن حارس المسرح يتحقق فقط من السعر (10 دولارات) وليس من عنوان الفيلم.
الخلل: يشتري المخترق تذكرة لفيلم رخيص (The Matrix) ولكنه يذهب إلى مدخل صالة الـ VIP لفيلم غالي الثمن (Dune). يرى الحارس تذكرة الـ 10 دولارات، فيومئ برأسه ويسمح له بالدخول.
الواقع: في نظام x402، "التوقيع" الرقمي الذي يستخدمه الروبوت للدفع لا يحدد بدقة أي خدمة معينة يدفع ثمنها، بل يحدد فقط مقدار المبلغ ولمن. يمكن للمخترق أن يأخذ إثبات دفع صالح لمكالمة برمجة (API) رخيصة ويستخدمه لفتح خدمة ذكاء اصطรعي متميزة وغالية الثمن. يقبل النظام المال ولكنه يقدم المنتج الخطأ (والأكثر قيمة).
2. مشكلة "الحجز المزدوج" (تكرار الخدمة الاحتمالي - Probabilistic Service Duplication)
التشبيه: تخيل فندقاً لديه مكتب استقبال بطيء جداً. تتقدم وتقول: "لدي حجز". يتحقق الموظف من الكمبيوتر، ويرى أن اسمك واضح، ويقول: "رائع، اذهب إلى غرفتك!".
بينما لا يزال الموظف يكتب عملية تسجيل الوصول في السجل الرئيسي، تعود إلى مكتب الاستقبال مع صديق وتقول: "لدي حجز أيضاً!". ولأن الموظف لم ينتهِ من كتابة الحجز الأول بعد، لا يزال الكمبيوتر يظهر أن الحالة "خالية". كلاهما يحصل على مفتاح غرفة، لكن الفندق خصم منك مرة واحدة فقط.
الخلل: يتحقق نظام x402 مما إذا كان الدفع صالحاً (عملية التحقق)، لكنه لا يقوم فوراً بقفل المعاملة بحيث لا يمكن لأي شخص آخر استخدامها (عملية القفل). يمكن للمخترق إرسال نفس طلب الدفع 20 مرة في جزء من الثانية. الخادم، الذي يتحرك بسرعة، يقول "نعم" لجميع الطلبات العشرين قبل أن يكون لدى "البلوكشين" (السجل الرئيسي) الوقت لقول: "انتظر، لقد تم استخدام هذا الدفع بالفعل!". يقدم التاجر 20 خدمة ولكن يتم دفعه ثمن واحدة فقط.
3. مشكلة "الشيك على بياض" (تجاوز الحد المسموح - Allowance Overdrafts)
التشبيه: تخيل أنك أعطيت نادلاً بطاقة ائتمان بحد أقصى 100 دولار وقلت له: "اطلب ما تريد، فقط لا تتجاوز 100 دولار". يبدأ النادل بطلب شرائح لحم باهظة الثمن.
المشكلة هي أن النادل يطلب 10 شرائح لحم قبل أن يتمكن البنك من التحقق مما إذا كان لديك المال بالفعل. وبحلول الوقت الذي يحاول فيه البنك سحب المبلغ من البطاقة، تكون قد أنفقت بالفعل 500 دولار. يرفض البنك عملية الدفع، لكن النادل قد قدم الطعام بالفعل. أنت حصلت على الطعام مجاناً؛ والمطعم هو من تحمل التكلفة.
الواقع: في عالم الذكاء الاصطناعي، لا تُعرف تكلفة المهمة إلا بعد انتهائها. يضع المخترقون "حد الإنفاق" (الرصيد المسموح) بحيث يكون كافياً لتجاوز الفحص السريع. ثم يقومون بتشغيل مهام ذكاء اصطناعي ضخمة ومكلفة. يبدأ النظام العمل فوراً (لأن الفحص نجح)، ولكن بحلول الوقت الذي يتم فيه حساب الفاتورة النهائية، يكون المخترق قد أنفق أكثر من حده المسموح. يرفض "البلوكشين" الدفع، لكن الذكاء الاصطناعي قد أتم العمل بالفعل.
4. مشكلة "الازدحام المروري" (إنكار التسوية - Denial of Settlement)
التشبيه: تخيل بوابة رسوم يمكنها معالجة 10 سيارات فقط في الدقيقة. يرسل مخترق 50 سيارة عبر البوابة في وقت واحد. تفتح البوابة لجميع السيارات الخمسين لأن فحص "الدخول" سريع. ولكن عندما تحاول السيارات الدفع عند الكشك في النهاية، يغرق الكشك بالطلبات ولا يستطيع معالجة سوى 10 سيارات. الـ 40 سيارة الأخرى ترحل دون دفع.
الخلال: للنظام حد في عدد عمليات الدفع التي يمكنه معالجتها في الثانية الواحدة. يغرق المخترقون النظام بالطلبات. يقدم الخادم الخدمة لجميع هؤلاء لأن "الدخول" سريع، ولكن جانب "الدفع" ينسد. ينتهي الأمر بالخادم بتقديم خدمات مجانية لأنه لا يستطيع معالجة المدفوعات بالسرعة الكافية لقول "لا".
الصورة الكبيرة: لماذا هذا مهم؟
تجادل الورقة بأن نظام x402 يحاول القيام بشيئين لا يمتزجان جيداً:
- سرعة الويب: تفاعلات فورية قائمة على "ثق بي" (مثل طلبات HTTP).
- أمان البلوكشين: أمان قائم على "تحقق من كل شيء أولاً" (مثل نهائية البلوكشين).
من خلال محاولة الربط بين هذين العالمين، خلق النظام "فجوة زمنية". وفي هذه الفجوة، يمكن للأطراف السيئة التسلل.
الحلول المقترحة
يقترح المؤلفون بعض الطرق لإصلاح ذلك، وهي في الأساس تخبر النظام بأن يكون أكثر حذراً:
- ربط التذكرة بمقعد محدد: التأكد من أن التوقيع الرقمي يحدد بالضبط الخدمة التي يتم شراؤها، وليس فقط السعر.
- وضع علامة "ممنوع الإزعاج" على السجل: عند التحقق من عملية دفع، قم بقفلها فوراً حتى لا يتمكن أي شخص آخر من استخدامها حتى يتم تأكيدها.
- لا تقدم الطعام حتى يتم تسوية الشيك: بالنسبة لمهام الذكاء الاصطناعي، لا تقم ببث النتائج للمستخدم حتى يتم تأكيد الدفع فعلياً. إذا فشل الدفع، فلن يحصل المستخدم على شيء.
- تحقق من سعة بوابة الرسوم: إذا كان نظام الدفع مشغولاً جداً بمعالجة الفواتم، فلا تسمح للسيارة بالدخول على الإطلاق.
باختاً، تكشف الورقة أن "السكك الاقتصادية" لوكلاء الذكاء الاصطناعي مليئة حالياً بالثغرات حيث يمكن للناس سرقة الخدمات. ولإصلاح ذلك، نحتاج إلى التوقف عن كوننا متفائلين للغاية بشأن المدفوعات والبدء في إحكام الرقابة الأمنية، حتى لو جعل ذلك الأمور أبطأ قليلاً.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.