هذه الصفحة مُترجَمة آليًا بواسطة الذكاء الاصطناعي. النسخة الإنجليزية هي المرجع المعتمد.عرض النسخة الإنجليزية →
تكتشف التدقيقات بعض فئات الأخطاء (أنماط الهجوم المعروفة، أخطاء التحكم في الوصول، تجاوز الأعداد الصحيحة) وتفتقد أخرى (عيوب التصميم الاقتصادي، التلاعب بنظرية اللعبة، أخطاء التكامل مع البرامج الأخرى). برامج Raydium تخضع لعدة جولات من التدقيقات؛ تسرد هذه الصفحة التدقيقات وتناقش ما تحققه كل تدقيق فعليًا.
جدول التدقيقات حسب البرنامج
تُودع التقارير باسم المدقق وقت المراجعة. أعادت MadShield تسمية نفسها إلى OShield (
madshield.xyz يعيد التوجيه إلى oshield.io)، لذا فإن صفي MadShield أعلاه وموقع OShield هما نفس الشركة.
قام أعضاء من فريق Neodyme أيضًا بإجراء مراجعات شاملة من خلال اتفاقيات برنامج الثغرات الأمنية.
جميع تقارير التدقيق لبرامج Raydium مرآة تحت github.com/raydium-io/raydium-docs/audit/. ينشر كل مدقق أيضًا على موقعه الخاص.
ما تغطيه التدقيقات
يغطي التدقيق النموذجي لـ Raydium (~3–6 أسابيع، مدققان):- التحكم في الوصول — هل تم حماية كل عملية مميزة بشكل صحيح؟
- العمليات الحسابية — تجاوزات، نقصان، اتجاه التقريب، دقة النقطة الثابتة.
- التحقق من الحسابات — هل لكل حساب المالك والـ mint والسلطة الصحيحة؟
- أنماط تشبه إعادة الدخول — هل يتم تحديث الحالة قبل أم بعد CPI؟
- اشتقاق PDA — هل البذور متسقة في جميع المواقع؟
- رموز الأخطاء والرسائل — هل تعود شروط الخطأ بنظافة؟
- جودة الكود — Rust الاصطلاحي، الكود الميت، الفروع التي لا يمكن الوصول إليها.
ما لا تغطيه التدقيقات
- نظرية اللعبة الاقتصادية — على سبيل المثال، “إذا كان بإمكاني إنشاء 1000 مجموعة مجانًا، هل يمكنني إزعاج الموجه؟”
- MEV / الترتيب — هجمات الساندويتش، الاستباق عبر تواطؤ المدقق.
- البنية التحتية خارج السلسلة — موثوقية RPC، صحة الفهرس، الواجهة الأمامية.
- التكاملات مع البرامج الأخرى — الأخطاء التي تظهر فقط عند التكوين مع عقود الإقراض أو الخيارات أو المجمعات المحددة.
- السلوكيات الناشئة بمرور الوقت — ماذا يحدث بعد 10 ملايين موضع؟ تنظر التدقيقات إلى حالات الاختبار الصغيرة.
حالة حل النتائج
ينتج عن كل تدقيق قائمة نتائج (حرجة / عالية / متوسطة / منخفضة / معلوماتية)، مع عدد الخطورة وحالة كل نتيجة (مصححة / معترف بها / لن يتم الإصلاح). لا يتم تكرار تفاصيل كل نتيجة هنا — اقرأ كل تقرير مباشرة عبر الجدول أعلاه.إعادة التدقيق بعد التغييرات الكبيرة
عندما يطلق برنامج ترقية كبيرة (تعليمة جديدة، حقل حساب جديد، دعم امتداد جديد)، تكلف Raydium إعادة تدقيق. مراجعة Sec3 Q3 2025 لـ CPMM ومراجعة Sec3 Q2 2026 لـ CLMM (Limit Order, Dynamic Fee, Single Asset Fee) المدرجة في الجدول أعلاه هما إعادة تدقيق من هذا النوع. نطاق إعادة التدقيق أضيق (فقط الفرق)، لكنها تدقيق حقيقي — وليس مجرد مراجعة كود. يتم إلحاق التقارير الخاصة بإعادة التدقيق بتقرير التدقيق الأساسي.التحقق على السلسلة
يجب أن يطابق بصمة البرنامج المنشور بصمة الكود المدقق. يمكن لأي شخص التحقق:كيفية قراءة تقرير التدقيق
دليل قصير للمدققين غير المتخصصين:- انتقل إلى ملخص النتائج — جدول عدد الخطورة. إذا كان عدد “الحرجة” > 0 ورأيت حالة “مفتوحة”، فابحث بعمق.
- اقرأ وصف كل نتيجة وحالتها. “مصححة في الالتزام XYZ” تعني تم حلها؛ “معترف بها” تعني أن الفريق قبل المخاطرة؛ “مصححة جزئيًا” تستحق نظرة أقرب.
- امسح قسم النطاق. إذا لم يغطِ التدقيق التعليمة أو الحساب الذي تهتم به، فإن غياب النتائج هناك ليس دليلاً على الأمان.
- اقرأ بسرعة قسم توصيات المدقق. غالبًا ما يكون أكثر فائدة من النتائج — يسلط الضوء على ملاحظات “لم نتمكن من إثبات هذا رسميًا لكننا قلقون”.
تكامل برنامج الثغرات الأمنية
تعمل التدقيقات قبل النشر؛ تعمل برامج الثغرات الأمنية بشكل مستمر بعد النشر. يغطي برنامج Raydium للثغرات الأمنية (security/disclosure) كل ما تغطيه التدقيقات بالإضافة إلى:
- الهجمات الاقتصادية التي لا تغطيها التدقيقات.
- الأخطاء الموجودة في التكاملات الجديدة.
- أخطاء التنفيذ في SDKs والمكونات خارج السلسلة.
الحوادث التاريخية
شهدت برامج Raydium حادثتين بارزتين في العالم الحقيقي:استغلال سلطة المجموعة (ديسمبر 2022)
ما: تم اختراق مفتاح خاص لسلطة مجموعة AMM v4، مما سمح للمهاجم بتصريف عدة مجموعات. النطاق: إدارة المفاتيح التشغيلية، وليس خطأ برنامج. لم يكن التدقيق قد أشار إلى الكود لأن الكود كان صحيحًا؛ كانت عملية إدارة المفاتيح هي الفشل. الإصلاح: هجرة Multisig (تم نقل جميع أدوار السلطة إلى Squads multisig)؛ ضوابط تشغيلية إضافية. الدرس: التدقيقات لا تغطي إدارة المفاتيح. انظرsecurity/admin-and-multisig.
تجميد تكامل OpenBook (يناير 2023)
ما: تحديث برنامج OpenBook غيّر دلالات الحساب؛ لم تتمكن crank MonitorStep الخاصة بـ AMM v4 من تسوية PnL حتى شحن تصحيح AMM v4. النطاق: خطأ تكامل — لم يكن أي برنامج خاطئًا بمعزل عن الآخر. الإصلاح: تصحيح AMM v4 ونشر منسق. الدرس: تدقيقات البرنامج A لا تكتشف الأخطاء في تكامل البرنامج A مع البرنامج B. الأداة الصحيحة هي اختبار التكامل + الطرح المرحلي.المؤشرات
security/admin-and-multisig— هيكل السلطة.security/attack-vectors— أنماط الهجوم المعروفة.security/disclosure— سياسة برنامج الثغرات الأمنية.
- مستودعات المصدر حسب البرنامج:
raydium-amm,raydium-clmm,raydium-cp-swap. - مرآة تقرير التدقيق:
raydium-docs/audit. - برنامج الثغرات الأمنية: Immunefi — Raydium.