تدقيق العقد الذكي للـ BNK: أولوية الأمان على السرعة

منذ بداية مشروع Bankera, فإن الأمان كان مصدر اهتمامنا الأول. هذا انعكس على خياراتنا لاستعمال نظام الـ ERC223 من أجل الشيفرة البرمجية للـ Banker (BNK) Token, والتي تم تطويرها بالكامل من قبل فريقنا. ربما تكون الشركات الأخرى قد اختارت طريقاً أسرع واستعملت شيفرات أخرى للـ Token لتطوير التوكنز الخاصة بهم, ولكن نحن نعلم أن هذا يمكن أن يؤدي إلى ثغرات أمنية محتملة, مثل ثغرة الـ “Batch overflow” والتي تم اكتشافها حديثاً في العديد من العقود الذكية ERC20. علاوة على ذلك, نحن لا ننشئ Token بسيط, ولكن عقداً ذكياً والذي يقوم بتوزيع حصة صافي أرباح عمليات التحويل الأسبوعية لمالكين الـ BNK Tokens, وهذا مالم يفعله أحد من قبل. وبالتالي, بالإضافة إلى إنشاء شيفرة برمجية فريدة للـ BNK Token, فقد قمنا بتقديمها للتدقيق العام والخاص لضمان أمانها.

تدقيق العقد الذكي للـ BNK

4 مراحل من التدقيق

لقد قررنا تقديم العقد الذكي للـ BNK لأربع مراحل من التدقيق. وفي أثناء أن البعض قد يجد ذلك مبالغاً فيه, ولكن إجراءات كهذه تمنع المشاكل الأساسية من الحدوث. حيث أننا نستخدم معياراً مختلفاً وقد طورنا الشيفرة البرمجية الخاصة بنا منذ البداية عوضاً عن نسخها ببساطة, وإن مشكلة الـ “batch overflow” هذه لاتؤثر علينا, ولكننا نريد تجنب أية حالات مشابهة. وبما أنه حالياً لايمكن تطوير العقد الذكي للـ Ethereum – فقط عن طريق إنشاء عقد جديد فإن فريق Bankera قام بتقديم الشيفرة للـ BNK للمراجعات التالية:

لقد قررنا تقديم العقد الذكي للـ BNK لأربع مراحل من التدقيق. وفي أثناء أن البعض قد يجد ذلك مبالغاً فيه, ولكن إجراءات كهذه تمنع المشاكل الأساسية من الحدوث. حيث أننا نستخدم معياراً مختلفاً وقد طورنا الشيفرة البرمجية الخاصة بنا منذ البداية عوضاً عن نسخها ببساطة, وإن مشكلة الـ “batch overflow” هذه لاتؤثر علينا, ولكننا نريد تجنب أية حالات مشابهة. وبما أنه حالياً لايمكن تطوير العقد الذكي للـ Ethereum – فقط عن طريق إنشاء عقد جديد فإن فريق Bankera قام بتقديم الشيفرة للـ BNK للمراجعات التالية:

  • التدقيق الداخلي الأول والثاني. إن فريق تكنولوجيا المعلومات لـ Bankera قد قام بتحليل شامل للشيفرة وتطبيق التحسينات المقترحة.

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

  • مكافئة من أجل اكتشاف الخلل في Solidified, منصة ذات علاقة كبيرة لتدقيق العقد الذكي. وعلى مدار ثلاثة أسابيع خبراء Solidified قد قاموا بتدقيق العقد الذكي للـ BNK.

  • التدقيق العام. المشاركين أيضاً قد قاموا بمراجعة العقد, والذي كان متاحاً على صفحتنا على الـ GitHub. هذه الخطوة قد اسمترت لأسبوع والمزيد من المعلومات حول ذلك متاحة على منشور مدونتنا حول الـ BNK Token.

على Solidified فإن الشيفرة قد تمت مراجعتها تبعاً للهيكل التالي:

  • العيوب الحاسمة: – وهي العيوب التي تعطي إمكانية سرقة أموال المستخدمين والتي من المحتمل أن تحدث.

  • العيوب الأساسية – العيوب التي يمكن أن تقفل أموال المستخدمين أو تسبب حساب خاطئ أو سوء توزيع للمكافئات : والتي من المحتمل أن تحدث.

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

44 خبير قد قاموا بمراجعة العقد على Solidified ولم يتم إيجاد أية عيوب رئيسية أو حاسمة والتي يمكن ان تتسبب في سرقة أموال الزبائن. وبما أن عقد الـ BNK لديه معيار الـ ERC223, فقد كان هناك بعض الاختلافات بخصوص تعريف الالتزام بمعيار الـ ERC20 للـ Token” وقد تم منح المراجع الذي قام بالإشارة إلى ذلك جائزة من أجل العيب الثانوي.

ما التالي؟

الآن, كل عمليات التدقيق قد انتهت وقد تم تنفيذ التطويرات المقترحة من قبل فريق تكنولوجيا المعلومات الخاص بنا. جنباً إلى جنب مع تطوير العقد الذكي, فإن فريق تكنولوجيا المعلومات الخاص بنا كان يعمل أيضاً على دمج العقد الذكي في البنية التحتية لـ SpectroCoin, لأن أحدهما لايمكن أن يعمل من دون الآخر, وفي غضون أسبوعين, فإن المساهمين سيتمكنون من سحب وإيداع الـ Tokens الخاصة بهم من وإلى المحافظ المتوافقة مع ERC20 و ERC223. تزويد الدعم الكامل لـ ERC20 و ERC223 على SpectroCoin, نظام يعمل بالفعل, هو أيضاً ليس بالمهمة السهلة بسبب تعقيدها. إن المطورين الخاصين بنا يجب أن يتأكدوا من أنه بإمكان المستخدمين إيداع وسحب الـ ERC20/ERC223 Tokes بسلاسة. حالما انتهاء هذه العملية, فسيتم إدراج الـ Bankers (BNK) على منصة HitBTC. إن دمج العقد الذكي والذي تم الانتهاء منه من قبل مطورين HitBTC من المتوقع أن يتم تشغيله بالكامل في خلال شهر حزيران.

بعد إطلاق الـ BNK على HitBTC, فسيتم إدراج الـ Tokens على SpectroCoin أيضاً, وبما أن SpectroCoin ليست منصة للتداول, فعليها ضبط سعر الـ BNK بالنظر إلى منصات الصرف الأخرى, أسعارهم, وسيولتهم. وبالتالي, فإن الـ BNK ستكون متاحة للصرافة أولاً على HitBTC, وبعد ذلك على SpectroCoin. بعد الانتهاء من الشيفرة البرمجية للـ ERC223, فإن فريق تكنولوجيا المعلومات الخاص بنا سيركز على دعم الـ BNK Tokens كـ NEM Mosaics.

بما أن منشور المدونة السابق الخاص بنا حول الـ BNK Token, فعلينا استلام استجابة (تعليق) من مالكين الـ BNK Token بخصوص الاختيار بين الـblockchain للـ Ethereum أو الـ NEM, من أجل إعطاء المشاركين لدينا إمكانية اتخاذ القرار الأكثر مناسبة, فقد قررنا إعطاء مالكين الـ Tokens لدينا إمكانية تحويل الـ Tokens الخاصة بهم من ERC223 إلى NEM Mosaic على SpectroCoin. هذا يعني أنه اذا قمت بتحويل الـ Tokens الخاصة بك إلى محفظة ERC20 أو ERC223 ولكنك تريد تغيير الـ Tokens بالكامل أو جزء منها إلى NEM Mosaic, فإن كل ماعليك فعله هو إيداعها مرة أخرى في SpectroCoin ومن ثم سحب الـ Tokens للـ Blockchain المختارة. إمكانية تحويل الـ Blockchains ستكون متاحة فقط على SpectroCoin.

انشروا الأخبار الجدية حولكم! سنقوم بالتزويد بالمزيد من الأخبار والتحديثات في الأسابيع القادمة, لذا ترقبوا قنواتنا!