كم من الوقت يستغرق تدقيق العقود الذكية | DeFi

ما يقرب من نصف العقود الذكية في النظام البيئي Ethereum غير مدققة ، مما يؤدي إلى عدد متزايد من الاختراقات. 

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

سواء كانت الثورة المالية ، أو تحويل الأصول إلى رمز رمزي ، أو تنفيذ أي حالة استخدام أعلى منصة Blockchain ، فإن العقود الذكية ضرورية. في جوهرها ، العقود الذكية هي مجرد بضعة أسطر من التعليمات البرمجية المستخدمة لتنفيذ الشرط. على سبيل المثال ، إذا كنت تأخذ قرضًا من تطبيق DeFi مثل Aave و Compound من خلال تقديم بعض الضمانات ودفع فائدة محددة على القرض ، يتم تحديد جميع الشروط من خلال سلسلة من العقود الذكية. 

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

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

كم من الوقت يستغرق تدقيق العقود الذكية

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

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

بشكل عام ، يمكن أن يستغرق العقد الذكي البسيط مثل عقد الرمز المميز لرموز ERC20 يومين مما يعني أن وقت التدقيق لهذه العقود يمكن أن يستغرق ما بين 24 إلى 48 ساعة. هذا يعتمد مرة أخرى على مدى تعقيد المشروع. في حالة استخدام ERC20 داخل Dapp ، يمكن أن يستغرق التدقيق شهرًا كاملاً تقريبًا. 

نوع آخر من العقود هو عقد بيع الرمز المميز. يمكن تعريف هذه العقود على أنها عقود ERC20 متقدمة مع رموز محددة وميزات متقدمة. يمكن أيضًا أن تكون الوظائف مثل Staking والمبادلة جزءًا من هذه العقود. يمكن أن تستغرق المراجعة الكاملة لهذه العقود من أسبوع إلى أسبوعين مقارنة ببضعة أيام لعقد ERC20 الأساسي.

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

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

لذلك ، يتطلب هذا النوع من التطبيق تدقيقًا يستغرق ما يصل إلى شهر واحد. 

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

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

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

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

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

يمكن أن يستغرق التدقيق التلقائي ما يصل إلى يوم واحد لعقود erc20 / bep20 بينما تمتد عمليات التدقيق اليدوي عادةً ما بين 3 إلى 5 أيام لعقود erc20 / bep20 بينما بالنسبة للبروتوكولات المعقدة ، يعتمد وقت التدقيق على الكود. للحصول على فحص مخصص للمدة التي سيستغرقها التدقيق للبروتوكول الخاص بك ونوع التدقيق الأفضل ، تواصل مع الخبراء في QuillAudits للحصول على استشارة مجانية.

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

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

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

أهم الاختراقات DeFi

• و DAO هاك

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

في إحدى هذه الحالات حيث كان DAO مسؤولاً عن إضفاء الطابع الديمقراطي على عملية تمويل عملية Ethereum ، استغل أحد المتطفلين ضعف الوظيفة الاحتياطية في العقد الذكي. باستخدام هجوم العودة ، سرق 3.6 مليون من البروتوكول. 

• هجوم التكافؤ

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

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

وفي الختام

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

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

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

تواصل مع QuillHash

مع وجود الصناعة لسنوات ، ريشة قدمت حلول المؤسسات في جميع أنحاء العالم. QuillHash مع فريق من الخبراء هي شركة رائدة في تطوير blockchain تقدم حلول صناعية مختلفة بما في ذلك DeFi enterprise ، إذا كنت بحاجة إلى أي مساعدة في تدقيق العقود الذكية ، فلا تتردد في التواصل مع خبرائنا هنا!

اتبع QuillHash لمزيد من التحديثات

تويتر | لينكدين: | فيسبوك

المصدر: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/