أكد الخبير في شبكة XRPL، “Vet”، أن شبكة XRPL تحقق إنجازاً أمنياً كبيراً في بروتوكول الإقراض القادم، حيث كشف أن هذا البروتوكول يخضع حالياً لعملية “التحقق الرسمي” (Formal Verification).
ووفقاً لـ “Vet”، فإن مطوري شركة ريبل (Ripple) يطبقون تقنيات التحقق الرسمي التي تُستخدم عادةً في محطات الطاقة النووية، وأنظمة الطائرات، والبرامج العسكرية، وذلك لتأمين النظام البيئي المالي اللامركزي (DeFi) المتنامي على شبكة XRPL.
يركز هذا الشرح على جهود فريق “RippleX” المستمرة للتحقق رسمياً من بروتوكول الإقراض القادم وخزائن الأصول الفردية (Single Asset Vaults) على شبكة XRPL. تهدف هذه الميزات إلى جلب التمويل اللامركزي (DeFi) مباشرة إلى البنية التحتية الأساسية للطبقة الأولى (Layer-1) لشبكة XRPL، دون الحاجة إلى العقود الذكية التقليدية.
بناء حصن XRP
وصف “Vet” هذه المبادرة بأنها خطوة مهمة نحو بناء “حصن XRP”، وهي رؤية تعمل فيها البنية التحتية المالية اللامركزية الأصلية لشبكة XRPL بأعلى معايير الأمان والضمان المتاحة.
على عكس العديد من شبكات البلوكتشين التي تعتمد بشكل كبير على العقود الذكية، تقوم شبكة XRPL بتضمين وظائف التمويل اللامركزي مباشرة في بنيتها الأساسية للطبقة الأولى (Layer-1).
نتيجة لذلك، يجب على المطورين ضمان مستوى أعلى من الأمان والصحة، لأن أي عيوب على مستوى البروتوكول يمكن أن تؤثر على الشبكة بأكملها.
لماذا لم يعد الاختبار التقليدي كافياً
شرح مهندس البرمجيات في شركة ريبل، “Vito Tumas”، أن الاختبارات التقليدية وحدها لا تستطيع تأمين بروتوكولات مالية معقدة على الطبقة الأولى (Layer-1). بينما يمكن للمطورين فقط اختبار السيناريوهات التي يتوقعونها، فإن “التحقق الرسمي” يثبت رياضياً أن الكود يعمل بشكل صحيح عبر مجموعة واسعة من الظروف المحتملة، بما في ذلك الحالات النادرة (Edge Cases) التي قد لا يفكر فيها المختبرون البشر أبداً.
لتحقيق ذلك، تعمل ريبل مع شركة “Common Prefix”. معاً، يبني الفريقان نموذجاً مجرداً للبروتوكول ويقارنانه باستمرار مع تطبيق لغة C++ لبرنامج “xrpld” (خادم شبكة XRPL)، من خلال إطار تحقق مصمم لاكتشاف التناقضات والثغرات الأمنية المحتملة.
علاوة على ذلك، كشف “Tumas” أن هذه العملية كشفت بالفعل عن حالات نادرة ومعقدة لم تتمكن طرق الاختبار التقليدية من اكتشافها. تؤكد هذه النتائج قيمة “التحقق الرسمي” للبنية التحتية المالية عالية المخاطر، حيث أن وجود خطأ في كود الطبقة الأولى يمكن أن يؤثر على الشبكة بأكملها وليس على تطبيق واحد فقط.
التحقق الرسمي المدعوم بالذكاء الاصطناعي لتعزيز أمان XRPL وثقة المؤسسات
في هذه الأثناء، أكد “Vet” على الدور المتزايد للذكاء الاصطناعي في جعل “التحقق الرسمي” أكثر عملية وقابلية للتوسع وسهولة في الوصول. يعتقد أن الجمع بين الذكاء الاصطناعي والتحقق الرسمي يمكن أن يدعم الموجة القادمة من التبني المؤسسي عبر النظام البيئي لشبكة XRPL.
جدير بالذكر أن مجتمع XRPL شهد بالفعل فوائد تحليل الأمان المدعوم بالذكاء الاصطناعي. في وقت سابق من هذا العام، ساعدت أداة ذكاء اصطناعي في اكتشاف ثغرة في تعديل “Batch” المقترح لشبكة XRPL، والتي كانت قد تعرض أموال المستخدمين للخطر إذا تركت دون حل.
بعد أن حدد باحث الأمن “Pranamya Keshkamat” المشكلة، أصدر المطورون بسرعة إصلاحاً ووسعوا نطاق استخدام عمليات التدقيق المدعومة بالذكاء الاصطناعي ضمن عمليات المراجعة الأخرى.
الإقراض الأصلي على XRPL
في غضون ذلك، يهدف النظام البيئي لـ XRPL إلى جلب وظائف الإقراض والاقتراض الأصلية مباشرة على السلسلة. يتيح النظام لكل من المؤسسات والمستخدمين الأفراد الوصول إلى الائتمان باستخدام أصول مثل XRP و RLUSD دون الاعتماد على العقود الذكية التقليدية.
تم تقديم هذه المبادرة بموجب تعديل “XLS-66″، ودخلت مرحلة التصويت من قبل المدققين (Validators) في وقت سابق من هذا العام بعد إصدار إصدار XRPL 3.1.0.
وفقاً لـ “Vet”، يختبر المطورون حالياً بروتوكول الإقراض أثناء تطبيق الضمانات اللازمة لضمان أمان أموال المستخدمين قبل تفعيله.
الأسئلة الشائعة
- س: ما هو “التحقق الرسمي” (Formal Verification) ولماذا هو مهم لشبكة XRPL؟
ج: هو أسلوب رياضي لإثبات أن الكود البرمجي يعمل بشكل صحيح في جميع الظروف الممكنة، بما في ذلك الحالات النادرة. هذا يضمن أماناً عالياً جداً لبروتوكول الإقراض الجديد، ويمنع الثغرات التي قد تؤثر على شبكة XRPL بأكملها. - س: كيف يساعد الذكاء الاصطناعي في تعزيز أمان منصة الإقراض على XRPL؟
ج: يجعل الذكاء الاصطناعي عملية “التحقق الرسمي” أسرع وأكثر شمولاً. فهو يساعد في اكتشاف العيوب البرمجية التي قد تفوتها الاختبارات البشرية التقليدية، مما يبني ثقة أكبر لدى المؤسسات والمستخدمين في النظام البيئي المالي اللامركزي لـ XRPL. - س: متى سيكون بروتوكول الإقراض الأصلي (Native Lending) متاحاً على شبكة XRPL؟
ج: البروتوكول حالياً في مرحلة الاختبار المتقدم من قبل المطورين بعد أن دخل مرحلة التصويت من المدققين. سيكون متاحاً بعد تأكيد جميع إجراءات الأمان والضمانات اللازمة لسلامة أموال المستخدمين.
