كل ساعة مقال

سجل بريدك للحصول على مقالات تناسبك

استخدامات الذكاء الاصطناعي الحقيقية في عالم العملات المشفرة، الجزء الثالث: تدقيق العقود الذكية والأمان السيبراني

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

تدقيق العقود الذكية باستخدام الذكاء الاصطناعي

تعتبر تدقيق العقود الذكية وتحديد ثغرات السيبراني واحدة من الاستخدامات الرئيسية للذكاء الاصطناعي في عالم العملات المشفرة في المستقبل. ومع ذلك، هناك مشكلة واحدة فقط – في الحالي، لا يعمل GPT-4 بشكل جيد في هذا المجال.

قامت Coinbase ب قدرات في مراجعة أمان الرموز المميزة تلقائيًا في وقت سابق من هذا العام، وفي 25% من الحالات، قامت بتصنيف الرموز ذات ال العالية بشكل خاطئ كرموز ذات منخفضة. يعتقد جيمس إدواردز، المشرف الرئيسي لمحقق الأمان السيبراني Librehash، أن OpenAI ليست مهتمة بأن يتم استخدام الروبوت لمهام مثل هذه.

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

قدرات الذكاء الاصطناعي في تدقيق العقود الذكية

ومع ذلك، لا يعني ذلك أن الذكاء الاصطناعي ليس لديه قدرات فيما يتعلق بالعقود الذكية. تحدث AI Eye مع الفنان الرقمي في ملبورن ريت مانكايند في شهر مايو الماضي. لم يكن يعرف شيئًا عن إنشاء العقود الذكية، ولكن من خلال التجربة والخطأ وإعادة الكتابة المتكررة، تمكن من استخدام ChatGPT لإنشاء عملة ميمي تسمى Turbo والتي وصلت إلى قيمة سوقية تبلغ 100 مليون دولار.

ومع ذلك، يشير كانج لي، مدير أمان الشركة المتخصصة في أمان البلوكشين CertiK، إلى أنه على الرغم من أنه يمكنك الحصول على شيء يعمل باستخدام مساعدة ChatGPT، فمن المحتمل أن يكون مليئًا بأخطاء الشفرة المنطقية واستغلالات الثغرات المحتملة. “تكتب شيئًا ويساعدك ChatGPT في بنائه ولكن بسبب جميع هذه ال في ال قد يفشل بشكل مأساوي عندما يبدأ المهاجمون في الظهور”، يقول.

تحديات تدقيق العقود الذكية باستخدام الذكاء الاصطناعي

تواجه الذكاء الاصطناعي تحديات في تدقيق العقود الذكية حاليًا، حيث أن بيانات الخاصة بـ GPT-4 عامة جدًا وغير متخصصة في العقود الذكية. وفقًا لريتشارد ما من شركة أمان البلوكشين Quantstamp، “نظرًا لأن ChatGPT مدرب على العديد من الخوادم وهناك قليل جدًا من البيانات حول العقود الذكية، فإنه يعمل بشكل أفضل في اختراق الخوادم بدلاً من العقود الذكية”.

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

تطوير نماذج لتدقيق العقود الذكية

يعمل إدواردز على مشروع مماثل وقد انتهى تقريبًا من بناء نموذج WizardCoder الذكاء الاصطناعي مفتوح المصدر الذي يدمج مستودع Mando Project لثغرات العقود الذكية. كما يستخدم نموذج لغات البرمجة المدرب مسبقًا CodeBert من Microsoft للمساعدة في المشاكل.

ووفقًا لإدواردز، فقد تمكن الذكاء الاصطناعي حتى الآن من “تدقيق العقود بدقة لا مثيل لها تفوق بكثير ما يمكن توقعه ويتلقاه من GPT-4”. وقد تم تكوين مجموعة البيانات المخصصة لاستغلال العقود الذكية لتحديد الثغرات حتى الأسطر المسؤولة عنها. والخطوة التالية الكبيرة هي تدريب النموذج على التعرف على الأنماط والتشابهات.

على الرغم من أنه يعترف بأنه ليس بمثل مستوى المدقق البشري حتى الآن، إلا أنه يمكنه بالفعل إجراء مراجعة أولية قوية لتسريع عمل المدقق وجعله أكثر شمولًا. “يساعد بشكل مشابه لما يفعله LexisNexis للمحامي، ولكن بفعالية أكبر”، يقول.

تحديات تدقيق العقود الذكية باستخدام الذكاء الاصطناعي

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

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

يقول بولوشكين إن خلفيته في البرمجة التنافسية يعني أنه عندما كانت Near تركز على الذكاء الاصطناعي، قام الفريق بتطوير إجراءات لمحاولة تحديد هذه الحالات النادرة. “كانت إجراءات البحث الشكلية حول نتائج الشفرة. لذلك لا أعتقد أنها مستحيلة تمامًا، وهناك الآن شركات ناشئة تستثمر حقًا في العمل مع الشفرة وصحة ذلك”، يقول.

ومع ذلك، لا يعتقد بولوشكين أن الذكاء الاصطناعي سيكون بمثل مستوى البشر في التدقيق لـ “السنوات القليلة المقبلة. سيستغرق وقتًا أطول قليلاً”.

Source: https://cointelegraph.com/magazine/real-ai-use-cases-crypto-3-ai-smart-contract-audits-cybersecurity/

اقرأ ايضا


Posted

in

by

Comments

اترك تعليقاً

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها بـ *