خلل السك غير المحدود

ما خلل السك غير المحدود في الكريبتو؟

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

ببساطة، هو خطأ قد يتيح للمهاجم سك توكنات أكثر مما قصده البروتوكول.

يُستخدم المصطلح غالبًا بصورة غير رسمية، بينما قد يصف الباحثون الأمنيون المشكلة نفسها بأنها ثغرة السك غير المحدود، أو خطأ السك بلا حدود، أو ثغرة السك غير المصرح به، أو هجوم السك غير المحدود.

يصف المسرد الخاص بالعملات المشفرة من Ledger هجوم السك غير المحدود بأنه حالة يتيح فيها عيب في عقد ذكي أو مشكلة في الكود للمهاجم إنشاء كمية غير محدودة من التوكنات داخل بروتوكول.

قد يؤثر خلل السك غير المحدود في التوكنات القابلة للاستبدال، والأصول المغلفة، وتوكنات الحوكمة، وتوكنات المكافآت، والأصول الاصطناعية، وتوكنات الألعاب، والأصول الشبيهة بالعملات المستقرة، ومجموعات NFT.

قد تكون الأضرار جسيمة لأن عرض التوكن من الركائز الأساسية لقيمة العملات المشفرة.

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

في حالات كثيرة، يسُك المهاجم التوكنات ثم يبيعها في مجمعات السيولة أو الأسواق، ويسحب الأصول الحقيقية، ويترك حاملي التوكنات أمام أصول مخففة أو متراجعة القيمة.

خلل السك غير المحدود ليس آلية تضخم اعتيادية.

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

أهمية خلل السك غير المحدود

تكمن أهمية خلل السك غير المحدود في قدرته على تدمير سلامة البنية الاقتصادية لأصل مشفر.

توضح قواعد عرض التوكن للمستخدمين عدد التوكنات التي يمكن أن توجد، والجهة المخولة بإنشائها، والظروف التي يمكن في ظلها طرح عرض جديد في السوق.

إذا أمكن تجاوز هذه القواعد، فقد تنهار القيمة السوقية للتوكن وسيولته وقوة الحوكمة وقيمته كضمان وثقة المستخدمين.

يُعد هذا الخطر بالغ الخطورة خصوصًا في التمويل اللامركزي (DeFi)، إذ تُستخدم التوكنات غالبًا كضمانات، أو أصول في مجمعات السيولة، أو أصول للمكافآت، أو أصول للتصويت، أو تمثيلات مغلفة لأصول على سلسلة أخرى.

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

الخسارة ليست نظرية فحسب، لأن العقود الذكية يمكنها نقل القيمة تلقائيًا بمجرد تأكيد المعاملة.

وعلى خلاف خطأ عادي في قاعدة بيانات، قد يصعب عكس معاملة على البلوكشين أو يستحيل ذلك، ما لم يُتخذ إجراء حوكمة خاص أو تدخل على مستوى السلسلة أو تُجرَ عملية استرداد بالتفاوض.

لذلك تُصنف حالات خلل السك غير المحدود على أنها ثغرات عالية الخطورة في العقود الذكية.

فهي تجمع بين المخاطر التقنية والمخاطر المباشرة المتعلقة باقتصاديات التوكن.

وقد يتحول غياب فحص واحد للأذونات إلى أزمة في العرض تؤثر في السوق بأكمله.

آلية عمل خلل السك غير المحدود

يبدأ خلل السك غير المحدود عادةً بدالة تنشئ توكنات جديدة.

قد تحمل هذه الدالة اسم mint أو issue أو bridgeMint أو depositMint أو rewardMint أو claim أو redeem، أو اسمًا آخر خاصًا بالمشروع.

ينبغي أن تسمح الدالة بإنشاء التوكنات للحسابات المعتمدة أو الوحدات الموثوقة أو عند تحقق شروط البروتوكول الصحيحة فقط.

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

وبمجرد أن يتمكن المهاجم من سك التوكنات، قد يكرر العملية مرات عديدة أو يسك كمية هائلة في معاملة واحدة.

بعد ذلك، قد يبيع التوكنات الجديدة أو يحولها أو يستخدمها كضمان أو في الحوكمة أو ينقلها عبر جسر إلى مكان آخر.

يعتمد المسار الدقيق على تصميم البروتوكول.

ينشأ بعض حالات خلل السك غير المحدود عن غياب التحكم في الوصول.

وينشأ بعضها عن خلل في منطق المحاسبة.

وينتج بعضها عن تهيئة غير آمنة لعقد قابل للترقية.

وينشأ بعضها عن إخفاقات في التحقق من الجسر، حيث يسُك العقد أصولًا مغلفة دون التأكد من قفل أصول حقيقية أو حرقها في مكان آخر.

خلل السك غير المحدود ومعايير التوكنات

تتبع توكنات مشفرة كثيرة معايير مثل ERC-20 للتوكنات القابلة للاستبدال.

يحدد معيار توكن ERC-20 دوال شائعة مثل totalSupply وbalanceOf وtransfer وapprove وtransferFrom.

وتوضح وثائق مطوري ERC-20 الخاصة بـ Ethereum أن المعيار يوفر دوال لنقل التوكنات والتحقق من الأرصدة وإجمالي العرض والموافقة على إنفاق طرف ثالث.

لا يشترط معيار ERC-20 بحد ذاته أن يتضمن كل توكن دالة سك عامة.

عادةً ما تكون ميزة السك إضافةً يتحكم بها عقد التوكن أو منطق المشروع.

ينبغي أن يحدد عقد التوكن الآمن الجهة التي يمكنها السك، والكمية التي يمكن سكها، والظروف التي يُسمح فيها بالسك، وما إذا كان هناك حد أقصى للعرض.

غالبًا ما يظهر خلل السك غير المحدود عندما تكون قواعد السك الإضافية هذه مفقودة أو غير مكتملة أو غير متصلة بالعقود الأخرى على نحو صحيح.

لذلك لا يكفي استخدام معيار للتوكن وحده.

فقد يتبع التوكن واجهة شائعة، ومع ذلك يحتوي على منطق سك خطير.

الأسباب الشائعة لخلل السك غير المحدود

السبب الأكثر شيوعًا هو غياب التحكم في الوصول إلى دالة السك.

إذا كان بإمكان أي شخص استدعاء دالة تنشئ توكنات، فقد يستطيع أي شخص تضخيم العرض.

ومن الأسباب الشائعة الأخرى سوء إدارة الأدوار.

قد يستخدم العقد أدوارًا مثل المالك أو المسؤول أو القائم بالسك أو الجسر أو المشغّل، لكن يعيّن هذه الأدوار على نحو خاطئ.

والسبب الثالث هو عدم حماية التهيئة في العقود القابلة للترقية.

إذا لم تتم تهيئة عقد الوكيل أو التنفيذ على نحو صحيح، فقد يتمكن المهاجم من أن يصبح المالك أو القائم بالسك.

والسبب الرابع هو قصور التحقق من الجسر.

قد يسُك عقد الجسر توكنات مغلفة دون التحقق على النحو المناسب من قفل الأصول أو حرقها أو إثبات وجودها على السلسلة المصدر.

والسبب الخامس هو الأخطاء الحسابية أو المحاسبية.

قد يحسب العقد مكافآت أو حصصًا أو إيداعات أو أرصدة قابلة للمطالبة على نحو خاطئ، فيسمح بتكرار المطالبات.

والسبب السادس هو الاستدعاءات الخارجية غير الآمنة.

إذا تفاعل منطق السك مع عقود أخرى قبل تحديث الحالة الداخلية، فقد يجد المهاجم طريقة لتكرار العملية أو التلاعب بها.

خلل السك غير المحدود والتحكم في الوصول

يُعد التحكم في الوصول أحد أهم وسائل الحماية من خلل السك غير المحدود.

توضح وثائق التحكم في الوصول من OpenZeppelin أن التحكم في الوصول يحدد الجهات التي يمكنها تنفيذ إجراءات مثل سك التوكنات أو التصويت أو تجميد التحويلات.

ويصنف مشروع OWASP لأهم 10 مخاطر في العقود الذكية ثغرات التحكم في الوصول ضمن المخاطر الرئيسية للعقود الذكية، لأن غياب فحوص الأذونات أو ضعفها قد يسمح لمستخدمين غير مصرح لهم بالوصول إلى دوال حساسة.

دالة السك حساسة لأنها تغير عرض التوكن.

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

ينبغي ألا يعتمد التحكم الجيد في الوصول على الثقة خارج السلسلة أو أمانة المستخدمين وحدهما.

يجب أن يرفض العقد الذكي عمليات السك غير المصرح بها حتى لو استدعى المهاجم الدالة مباشرةً.

ينبغي للمطورين أيضًا تجنب منح صلاحيات سك واسعة لعدد كبير جدًا من الحسابات.

فكلما زاد عدد الحسابات القادرة على السك، اتسع نطاق الهجوم.

خلل السك غير المحدود والحد الأقصى للعرض

قد يقلل الحد الأقصى للعرض من مخاطر السك غير المحدود، لكن ذلك يتوقف على تطبيقه على نحو صحيح في الكود.

قد يعلن المشروع عن حد أقصى لعرض التوكن في الوثائق أو صفحات التسويق أو الورقة البيضاء.

لكن الحد المهم فعليًا هو الحد الذي يفرضه العقد الذكي.

إذا سمح العقد بالسك بما يتجاوز الحد المعلن، فسيعتمد المستخدمون على الوعود بدلًا من الكود.

ينبغي أن يتحقق حد العرض الآمن من إجمالي العرض قبل كل عملية سك.

ويجب أن تفشل دالة السك إذا كان العرض الجديد سيتجاوز الحد الأقصى.

ينبغي تطبيق هذا الفحص على جميع مسارات السك، لا على دالة السك الرئيسية وحدها.

فعلى سبيل المثال، ينبغي ألا يتجاوز سك الجسر أو سك مكافآت التخزين أو سك المطالبات أو سك المسؤول حد العرض، إلا إذا كان التصميم يسمح بذلك بوضوح.

قد ينشئ حد العرض الذي ينطبق على دالة دون أخرى مسارًا خفيًا للسك غير المحدود.

ينبغي للمستخدمين والمدققين التحقق دائمًا من جميع المسارات التي يمكنها زيادة عرض التوكن.

خلل السك غير المحدود في الأصول المغلفة

تكون الأصول المغلفة أكثر عرضة لمخاطر السك غير المحدود، لأنها تمثل أصولًا يُفترض وجودها في مكان آخر.

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

إذا سك عقد التوكن المغلف دون إثبات صحيح، فقد تكون التوكنات المغلفة الجديدة غير مدعومة.

ويؤدي ذلك إلى مشكلة مباشرة في الملاءة المالية.

قد يعتقد المستخدمون أن كل توكن مغلف مدعوم بأصل أساسي، لكن الاستغلال ينشئ مطالبات تتجاوز ما يستطيع النظام استرداده.

قد يستبدل المهاجم بعد ذلك التوكنات المغلفة غير المدعومة بأصول سائلة قبل تفاعل السوق.

لذلك يجب أن تخضع دوال سك الجسور لقواعد تحقق صارمة.

ينبغي لهذه الدوال التحقق من الرسائل والتوقيعات والقيم الفريدة (nonces) وأحداث السلسلة المصدر والحماية من إعادة التشغيل وأذونات المرحّلين الموثوق بهم.

خلل السك غير المحدود في أصل مغلف ليس مجرد خطأ في التوكن.

بل هو أيضًا إخفاق في المحاسبة عبر السلاسل.

خلل السك غير المحدود في أنظمة المكافآت

قد تتسبب أنظمة المكافآت أيضًا في خلل السك غير المحدود.

قد يسُك عقد التخزين أو الزراعة أو الألعاب أو الولاء مكافآت بناءً على نشاط المستخدم.

إذا كانت معادلة المكافآت خاطئة، فقد يتمكن المستخدمون من المطالبة بتوكنات أكثر من الكمية المقصودة.

إذا لم تحدّث دالة المطالبة الأرصدة المطالب بها على نحو صحيح، فقد تُطالب المكافأة نفسها مرارًا.

إذا وثق العقد بالقيم التي يقدمها المستخدم، فقد يقدم المهاجم مدخلات مزيفة تنتج مكافآت كبيرة.

إذا لم يضع نظام المكافآت حدًا أقصى للإصدارات، فقد يتحول خطأ منطقي بسيط إلى مشكلة ضخمة في العرض.

ينبغي لعقود المكافآت تتبع الإيداعات والحصص وسجل المطالبات وديون المكافآت وحدود الإصدار بعناية.

كما ينبغي اختبار الحالات الطرفية مثل الإيداعات الصفرية والكبيرة جدًا والمطالبات المتعددة في كتلة واحدة ومسارات السحب الطارئ.

ينبغي التعامل مع سك المكافآت بالجدية نفسها التي يُتعامل بها مع سك الخزينة.

خلل السك غير المحدود والعقود القابلة للترقية

قد تنشئ العقود القابلة للترقية مخاطر خاصة تتعلق بالسك غير المحدود.

قد يستخدم المشروع عقد وكيل لإتاحة ترقية المنطق لاحقًا.

وقد يكون ذلك مفيدًا لإصلاح الأخطاء أو إضافة الميزات أو تحسين أداء البروتوكول.

لكن قابلية الترقية تضيف مخاطر أيضًا، لأن مسؤول الترقية قد يتمكن من تغيير منطق السك.

إذا تمت تهيئة الوكيل على نحو خاطئ، فقد يستولي المهاجم على دور المسؤول.

إذا لم تكن دالة الترقية محمية، فقد يستبدل المهاجم المنطق الآمن بمنطق خبيث يسمح بالسك.

إذا احتوى التنفيذ الجديد على خطأ في تخطيط التخزين، فقد تتلف بيانات العرض أو الأدوار.

تحذر اعتبارات الأمان الرسمية في Solidity من أن العقود الشبيهة بالوكلاء وتصميم التفويض يتطلبان عناية كبيرة، لأن أنظمة العقود قد تمنح مكوّنًا غير مقصود صلاحيات قوية.

ينبغي للمشاريع التي تستخدم عقودًا قابلة للترقية اعتماد فترات انتظار، وموافقات متعددة التوقيعات، وعمليات تدقيق، ومراقبة، وإجراءات ترقية موثقة بوضوح.

علامات تحذيرية لخلل السك غير المحدود

من العلامات التحذيرية وجود دالة سك عامة لا يظهر فيها أي فحص للأذونات.

ومنها أيضًا دالة سك لا تتحقق إلا من شروط ضعيفة مثل tx.origin أو رقم الكتلة أو مدخلات يقدمها المستخدم.

وثمة علامة ثالثة تتمثل في نظام أدوار يتحكم فيه حساب مجهول أو غير موثّق أو مملوك خارجيًا بدور القائم بالسك.

والعلامة الرابعة توكن يزعم أن عرضه ثابت، مع وجود دوال سك نشطة دون حد أقصى واضح.

والعلامة الخامسة توكن جسر لا تتضح فيه إثباتات الدعم أو لا يوثق التحقق من الرسائل.

والعلامة السادسة عقد مكافآت يمكنه سك المكافآت دون جدول إصدار أقصى.

والعلامة السابعة عقد قابل للترقية لا يتضمن فترة انتظار أو سياسة ترقية منشورة أو تحكمًا واضحًا للمسؤول.

لا يثبت أي من هذه العلامات وجود استغلال.

لكنها تشير إلى جوانب تستحق مراجعة أعمق قبل أن يثق المستخدمون بالتوكن.

كيف يمنع المطورون خلل السك غير المحدود

يمكن للمطورين منع خلل السك غير المحدود بتصميم قواعد السك قبل كتابة الكود.

ينبغي للمشروع تحديد الجهات التي يمكنها السك، وسبب السماح بالسك، وكميته، والوقت الذي يتوقف فيه.

يجب أن يفرض كل مسار للسك التحكم في الوصول.

ويجب أن يلتزم كل مسار للسك بحدود العرض أو الإصدارات إذا اقتضت اقتصاديات التوكن ذلك.

ينبغي للمطورين تجنب تكرار منطق السك في عقود كثيرة، لأن تكرار الكود يزيد احتمال عدم اتساق الفحوص.

كما ينبغي استخدام مكتبات خضعت لمراجعة جيدة عند الاقتضاء، وتجنب إنشاء منطق توكن مخصص دون سبب وجيه.

ينبغي كتابة اختبارات الوحدات والتكامل والثوابت واختبارات Fuzz لسلوك العرض.

ويجب أيضًا اختبار عجز الحسابات غير المصرح لها عن السك في الظروف العادية أو الطرفية كافة.

يفترض التصميم الأكثر أمانًا أن المهاجمين سيستدعون الدوال مباشرةً، ويعيدون ترتيب المعاملات، ويستخدمون العقود كجهات مستدعية، ويختبرون كل فرع من فروع الكود.

تدقيق مخاطر السك غير المحدود

ينبغي لتدقيق العقد الذكي تتبع كل دالة يمكنها زيادة عرض التوكن.

ينبغي للمدقق البحث عن دوال السك المباشرة، واستدعاءات السك الداخلية، ومطالبات المكافآت، ورسائل الجسر، وأغلفة الإيداع، ودوال المسؤول، ودوال الترقية، وضوابط الطوارئ.

وينبغي أن يتأكد من أن كل مسار يزيد العرض يخضع للأذونات المناسبة.

كما ينبغي التحقق من استحالة تجاوز إجمالي العرض للحد الأقصى المقصود أو لنموذج الإصدارات.

يوفر المعيار الخاص بالتحقق من أمان العقود الذكية من OWASP متطلبات واختبارات أمنية يمكن أن تساعد الفرق على تصميم العقود الذكية الآمنة ومراجعتها والتحقق منها.

ينبغي للمدققين أيضًا مراجعة الأحداث، إذ يجب أن يصدر السك سجلات واضحة على السلسلة.

إذا أمكن تغيير العرض دون أحداث شفافة، فستصبح المراقبة أصعب.

لا ينبغي للتدقيق أن يقتصر على السؤال عما إذا كان السك يعمل.

بل ينبغي أن يسأل عما إذا كان السك قد يعمل في ظروف لا ينبغي أن يعمل فيها.

اختبار خلل السك غير المحدود

ينبغي أن يشمل اختبار خلل السك غير المحدود السلوك الطبيعي وسلوك الإخفاق.

يعني السلوك الطبيعي أن يتمكن القائمون المعتمدون بالسك من سك الكمية الصحيحة عند استيفاء الشروط.

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

يُعد اختبار الثوابت مفيدًا بصورة خاصة لأنه يتحقق من استمرار تحقق القواعد الأساسية.

قد ينص ثابت مفيد على ألا يتجاوز إجمالي العرض الحد الأقصى أبدًا.

وقد ينص ثابت آخر على ألا يتجاوز عرض التوكن المغلف مقدار الدعم الموثق أبدًا.

وقد ينص ثابت المكافآت على ألا تتجاوز المكافآت المسكوكة إجمالًا جدول الإصدارات.

يمكن لاختبارات Fuzz المساعدة في العثور على مدخلات غير مألوفة قد لا يفكر البشر في اختبارها.

وقد يساعد التحقق الرسمي أيضًا في الأنظمة عالية القيمة، خصوصًا عندما تكون قواعد العرض بسيطة بما يكفي للتعبير عنها رياضيًا.

ينبغي إجراء الاختبارات قبل النشر ومواصلتها بعد الترقيات.

مراقبة مخاطر السك غير المحدود بعد الإطلاق

لا ينتهي الأمان عند نشر العقد.

ينبغي للمشاريع مراقبة عرض التوكن وأحداث السك وتغييرات الأدوار ورسائل الجسر وأحداث الترقية والتحويلات غير المعتادة بعد الإطلاق.

يمكن لنظام المراقبة تنبيه الفريق إذا ارتفع العرض بسرعة كبيرة أو إذا سكَ عنوان غير متوقع توكنات.

كما يمكنه تنبيه الفريق عند تغير أدوار المسؤولين، أو ترقية عقود التنفيذ، أو انتقال كميات كبيرة من التوكنات المسكوكة حديثًا إلى مجمعات السيولة.

قد تساعد لوحات المعلومات العامة المستخدمين على التحقق من توافق عرض التوكن مع اقتصاديات التوكن المعلنة للمشروع.

ينبغي إعداد خطط الاستجابة للطوارئ قبل وقوع الحادث.

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

قد لا يتوفر لمشروع يكتشف خلل السك غير المحدود متأخرًا سوى دقائق لتقليل الأضرار.

غالبًا ما يكون الاكتشاف السريع بأهمية جودة الكود.

الأثر في حاملي التوكنات

قد يضر خلل السك غير المحدود بحاملي التوكنات بسبب تخفيف الملكية.

إذا أنشأ المهاجم كمية كبيرة من التوكنات الجديدة، فقد تمثل كل وحدة قائمة حصة أصغر من إجمالي العرض.

وقد يأخذ السوق في الحسبان احتمال إنشاء المزيد من التوكنات لاحقًا.

يمكن أن يؤدي ذلك إلى تراجع السيولة وصعوبة تخارج الحاملين من مراكزهم.

وقد تتأثر الحوكمة أيضًا في بعض الحالات.

إذا استندت قوة الحوكمة إلى رصيد التوكن، فقد يسُك المهاجم كمية تكفي للتأثير في التصويت.

في DeFi، قد يستخدم المهاجم التوكنات المسكوكة كضمان إذا قبلها بروتوكول إقراض.

وقد يتسبب ذلك في خسائر تتجاوز عقد التوكن الأصلي.

قد يمتد الأثر إلى مجمعات السيولة وأسواق الإقراض والجسور والمحافظ وأدوات تتبع المحافظ الاستثمارية.

لذلك تشكل حالات خلل السك غير المحدود مخاطر نظامية للتوكنات المدمجة مع بروتوكولات كثيرة.

الأثر في مجمعات السيولة

غالبًا ما تكون مجمعات السيولة أول مكان يظهر فيه أثر أضرار السك غير المحدود.

قد يسُك المهاجم التوكنات ويستبدلها بأصول مقترنة في أحد المجمعات.

عندما يبيع المهاجم التوكنات المزيفة أو الزائدة، يمتلئ المجمع بالتوكن المستغل وتُستنزف منه الأصول المقترنة.

قد يتكبد مزودو السيولة خسائر بسبب التغير الكبير في أرصدة أصول المجمع.

وقد تتشوه أيضًا أسعار أوراكل التي تعتمد على أسعار المجمع.

إذا استخدمت بروتوكولات أخرى تلك الأسعار، فقد تمتد الأضرار إليها.

ينبغي ألا يعتمد البروتوكول المصمم جيدًا على مجمع سيولة واحد ضحل لتحديد الأسعار المهمة.

يمكن لتصميم أوراكل وعمق السيولة وقواطع الدوائر ومراقبة العرض أن تقلل احتمال تحول خلل السك غير المحدود إلى إخفاق أوسع في DeFi.

ومع ذلك، يجب إصلاح خلل العرض الأساسي على مستوى العقد.

خلل السك غير المحدود مقابل اقتصاديات التوكن التضخمية

خلل السك غير المحدود ليس هو نفسه اقتصاديات التوكن التضخمية.

تعني اقتصاديات التوكن التضخمية أن البروتوكول ينشئ عرضًا جديدًا عمدًا وفق قواعد معروفة.

أما خلل السك غير المحدود فيعني أن البروتوكول ينشئ عرضًا جديدًا أو يسمح به خارج القواعد المقصودة.

قد يكون التضخم طبيعيًا عندما يمول مكافآت التخزين أو التعدين أو حوافز المنظومة أو أمان المدققين.

أما السك غير المحدود وغير المصرح به فغير طبيعي لأنه يخالف نموذج العرض المتوقع.

قد يكون التوكن تضخميًا وآمنًا في الوقت نفسه إذا كان الإصدار محدودًا وشفافًا وخاضعًا للضبط.

وقد يزعم التوكن أن عرضه ثابت، لكنه يظل غير آمن إذا كانت هناك مسارات سك خفية.

ينبغي للمستخدمين التركيز على الكود القابل للإنفاذ، لا على العبارات التسويقية وحدها.

السؤال الأساسي هو ما إذا كان العرض الجديد يتبع القواعد المنشورة، وما إذا كان منطق العقد الذكي يحمي تلك القواعد.

خلل السك غير المحدود مقابل هجوم إعادة الدخول

خلل السك غير المحدود وهجوم إعادة الدخول مفهومان مختلفان، رغم إمكانية تداخلهما أحيانًا.

يحدث هجوم إعادة الدخول عندما يتيح استدعاء خارجي لعقد أو مهاجم إعادة الدخول إلى دالة قبل انتهاء التنفيذ الأول.

يركز خلل السك غير المحدود على إنشاء التوكنات دون إذن أو بكميات مفرطة.

قد يؤدي خطأ إعادة الدخول إلى تكرار السك إذا حدّث منطق السك الحالة بعد استدعاء خارجي.

لكن كثيرًا من حالات خلل السك غير المحدود لا تتطلب إعادة الدخول.

فقد تنشأ عن غياب التحكم في الوصول أو إثباتات جسر غير صحيحة أو تهيئة غير آمنة أو حسابات عرض خاطئة.

هذا التمييز مهم لأن إصلاح فئة واحدة من الأخطاء لا يصلح الأخرى تلقائيًا.

فقد يستخدم العقد حماية من إعادة الدخول، ومع ذلك يحتوي على دالة سك غير محمية.

يحتاج التوكن الآمن إلى تدفق تحكم آمن وتفويض آمن للعرض معًا.

خلل السك غير المحدود مقابل الموافقة غير المحدودة

ينبغي عدم الخلط بين خلل السك غير المحدود والموافقة غير المحدودة على التوكنات.

تعني الموافقة غير المحدودة أن المستخدم يمنح عقدًا آخر إذنًا بإنفاق كمية كبيرة جدًا من توكناته الحالية.

أما السك غير المحدود فيعني إمكانية إنشاء توكنات جديدة بما يتجاوز قواعد العرض المقصودة.

قد يكون كلاهما خطيرًا، لكنهما يؤثران في جوانب مختلفة من نظام التوكن.

تهدد الموافقة غير المحدودة رصيد المستخدم إذا كان الجهة المعتمدة خبيثة أو تعرضت للاختراق.

أما السك غير المحدود فيهدد عرض التوكن بأكمله إذا كان منطق السك عرضة للثغرات.

يمكن للمستخدم تقليل مخاطر الموافقة غير المحدودة بإدارة مخصصات إنفاق التوكنات.

لكن المستخدم لا يستطيع إصلاح خلل السك غير المحدود بنفسه في عقد توكن منشور.

في ما يتعلق بمخاطر السك غير المحدود، يعتمد المستخدمون على تصميم العقد وعمليات التدقيق والمراقبة والحوكمة واستجابة المشروع.

كيفية التحقق من مخاطر السك غير المحدود

يمكن للمستخدمين البدء بالتحقق مما إذا كان عقد التوكن موثّقًا على مستكشف بلوكشين.

يتيح العقد الموثّق للمستخدمين والمدققين قراءة الكود المصدري المطابق للبايت كود المنشور.

يمكن للمستخدمين البحث عن دوال تتضمن كلمات مثل mint أو issue أو create أو reward أو bridge أو claim أو upgrade.

ويمكنهم التحقق مما إذا كانت هذه الدوال محمية بأدوار أو ملكية أو حوكمة أو فحوص للوحدات الموثوقة.

كما يمكنهم مراجعة ما إذا كان للتوكن حد أقصى للعرض وما إذا كان هذا الحد مفروضًا على السلسلة.

ويمكنهم أيضًا التحقق مما إذا كانت أدوار المسؤول خاضعة لمحفظة متعددة التوقيعات أو فترة انتظار أو حساب فردي مجهول.

ينبغي للمستخدمين قراءة تقارير التدقيق إن توفرت، مع تذكر أن التدقيق لا يشكل ضمانًا.

كما ينبغي التحقق من وجود مراقبة علنية وبرامج مكافآت اكتشاف الأخطاء وإجراءات واضحة للاستجابة للحوادث لدى المشروع.

إذا كانت قواعد عرض التوكن غير واضحة، فمن الأسلم افتراض ارتفاع مستوى المخاطر.

أفضل الممارسات للمشاريع

ينبغي للمشاريع إبقاء منطق السك بسيطًا وسهل التدقيق.

وينبغي تطبيق التحكم في الوصول القائم على الأدوار على جميع دوال السك.

كما ينبغي فرض حدود العرض أو الإصدار القصوى عندما تقتضيها اقتصاديات التوكن.

ينبغي تجنب منح حسابات عادية مملوكة خارجيًا صلاحية السك عندما تتوفر ضوابط أكثر أمانًا عبر الحوكمة أو تعدد التوقيعات.

وينبغي استخدام فترات انتظار للتغييرات الجوهرية المتعلقة بالعرض عندما لا يكون النظام في وضع الطوارئ.

كما ينبغي نشر اقتصاديات توكن تتوافق مع السلوك الفعلي للعقد الذكي.

ينبغي مراقبة أحداث السك وتغييرات الأدوار في الوقت الفعلي.

كما ينبغي إجراء عمليات التدقيق قبل الإطلاق وبعد الترقيات الرئيسية.

وينبغي وضع خطة للاستجابة للطوارئ قبل تعرض المستخدمين والسيولة للخطر.

ينبغي التعامل مع كل دالة تزيد العرض على أنها نقطة أمنية حساسة.

أفضل الممارسات للمستخدمين

ينبغي للمستخدمين ألا يعتمدوا فقط على الحد الأقصى المعلن لعرض التوكن.

بل ينبغي التحقق مما إذا كان العقد يفرض ذلك الحد فعليًا.

كما ينبغي تجنب التوكنات ذات أذونات السك غير الواضحة أو ضوابط المسؤول الخفية أو العقود غير القابلة للتحقق.

وينبغي توخي الحذر عند التعامل مع أصل مغلف لا تتضح وثائق إثباته أو دعمه.

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

ينبغي مراقبة الزيادات المفاجئة في العرض وأحداث السك الكبيرة والتحويلات غير المعتادة للتوكنات.

وينبغي تنويع المخاطر بدلًا من تركيز قيمة كبيرة في توكن واحد غير مدقق.

كما ينبغي فهم أن العائد المرتفع قد يخفي مخاطر كبيرة في العقود الذكية.

وينبغي تذكر أن تعافي السعر بعد حدوث استغلال للسك غير المحدود أمر غير مؤكد.

مفاهيم خاطئة شائعة عن خلل السك غير المحدود

من المفاهيم الخاطئة الشائعة أن خلل السك غير المحدود لا يؤثر إلا في توكنات الميم أو المشاريع منخفضة الجودة.

لكن أي توكن يتضمن منطق سك أو جسور أو مكافآت أو ترقيات معقدًا قد يواجه هذا الخطر.

ومن المفاهيم الخاطئة الأخرى أن الادعاء بوجود عرض ثابت يضمن الأمان.

لا يكون العرض الثابت ذا معنى إلا إذا فرضه العقد الذكي على جميع مسارات السك.

والاعتقاد الخاطئ الثالث هو أن التحكم في الوصول وحده كافٍ.

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

والاعتقاد الخاطئ الرابع هو أن التدقيق يزيل كل المخاطر.

يقلل التدقيق المخاطر، لكنه لا يضمن عدم وجود أخطاء أو بقاء الترقيات المستقبلية آمنة.

والاعتقاد الخاطئ الخامس هو أن السك غير المحدود يتطلب دائمًا قرصنة متقدمة.

تنشأ بعض الحوادث عن أخطاء بسيطة مثل دالة غير محمية أو دور خاطئ أو نسيان التهيئة.

الأسئلة الشائعة

ماذا يعني خلل السك غير المحدود؟

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

هل خلل السك غير المحدود هو نفسه هجوم السك غير المحدود؟

يرتبط المصطلحان ارتباطًا وثيقًا، لكن الخلل هو الثغرة، والهجوم هو استغلال تلك الثغرة.

هل يمكن لخلل السك غير المحدود أن يدمر قيمة التوكن؟

نعم، إذ يمكنه تدمير القيمة عبر إنشاء عرض مفرط واستنزاف السيولة والإضرار بالثقة والتسبب في تخفيف كبير للملكية.

ما أسباب خلل السك غير المحدود؟

تشمل الأسباب الشائعة غياب التحكم في الوصول وسوء إعداد الأدوار والتهيئة غير الآمنة وخلل إثباتات الجسر وأخطاء محاسبة المكافآت وضعف حدود العرض.

هل يمكن أن تتعرض توكنات ERC-20 لخلل السك غير المحدود؟

نعم، قد يتعرض توكن ERC-20 لخلل السك غير المحدود إذا كان منطق السك المضاف غير آمن أو سيئ الضبط.

هل يمنع الحد الأقصى للعرض السك غير المحدود؟

يساعد الحد الأقصى للعرض فقط إذا فرضه العقد على نحو صحيح عبر جميع مسارات السك الممكنة.

هل يمكن أن تتعرض الأصول المغلفة لخلل السك غير المحدود؟

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

هل يمكن للتدقيق منع خلل السك غير المحدود؟

يمكن للتدقيق تقليل المخاطر، لكنه لا يضمن الأمان، خصوصًا إذا تمت ترقية العقد لاحقًا أو دمجه مع أنظمة جديدة.

كيف يمكن للمستخدمين اكتشاف مخاطر السك غير المحدود؟

يمكنهم مراجعة العقود الموثقة ودوال السك وأدوار التحكم في الوصول وحدود العرض وتقارير التدقيق وضوابط المسؤول وأحداث السك على السلسلة.

ما الذي ينبغي للمشروع فعله بعد اكتشاف خلل السك غير المحدود؟

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

هل خلل السك غير المحدود هو نفسه التضخم؟

لا، فالتضخم إصدار مخطط للتوكنات، بينما خلل السك غير المحدود هو إنشاء غير مقصود أو غير مصرح به للعرض.

لماذا يُعد التحكم في الوصول مهمًا للسك؟

التحكم في الوصول مهم لأن السك يغير عرض التوكن، وينبغي ألا تنفذه إلا عقود أو حسابات مصرح لها ووفق قواعد صارمة.

الخلاصة

يُعد خلل السك غير المحدود من أخطر ثغرات العقود الذكية في الكريبتو، لأنه قد يخل بقواعد عرض التوكن.

يحدث هذا الخلل عندما يسمح العقد بسك التوكنات دون التفويض أو الحدود أو الإثباتات أو ضوابط المحاسبة المناسبة.

وقد يؤدي ذلك إلى تخفيف كبير للملكية واستنزاف السيولة وتعطل أنظمة الضمانات والإضرار بالحوكمة وفقدان ثقة المستخدمين.

تزداد أهمية هذا الخطر في التوكنات التي تتضمن دوال سك أو أنظمة مكافآت أو أصولًا مغلفة أو جسورًا أو عقودًا قابلة للترقية أو إدارة أدوار معقدة.

يمكن للمطورين تقليل المخاطر باستخدام تحكم قوي في الوصول، وفرض حدود العرض، واختبار الثوابت، وتدقيق جميع مسارات السك، وتأمين الترقيات، ومراقبة تغيرات العرض بعد الإطلاق.

ويمكن للمستخدمين الحد من تعرضهم للمخاطر عبر التحقق من العقود الموثقة ومراجعة أذونات السك ودراسة عمليات التدقيق ومراقبة تغيرات العرض وتجنب التوكنات التي لا تتضح آلية التحكم في إصدارها الجديد.

خلل السك غير المحدود ليس تضخمًا طبيعيًا، ولا خطأ برمجيًا بسيطًا بلا ضرر.

بل هو إخفاق على مستوى العرض قد يؤثر في كل حامل وكل بروتوكول مرتبط بالتوكن.

في عالم الكريبتو، يتحكم الكود في الأموال، ويتحكم كود السك في العرض.

لذلك ينبغي تصميم كل دالة تزيد العرض واختبارها وتدقيقها ومراقبتها بوصفها جزءًا أساسيًا من أمان التوكن.