عقودنا الذكية تم تدقيقها عن طريق CertiK!

في ParaState ، الأمن هو أولويتنا القصوى. تعتبر عملية Staking ETH معقدة ، وكان من الصعب تطوير تكوين سهل الاستخدام وغير خاضع للحراسة – non-custodia –  لتقليل المخاطر التي يتعرض لها المتعاملون.

لتوفير شفافية كاملة حول الأمان الذي قمنا بتضمينه في SafeStake ، فإننا نشارك تقرير CertiK حول النتائج المستخلصة من المراجعة الأخيرة للعقود الذكية لرموز STATE الخاصة بنا. هذه العقود هي المحرك الرئيسي لاقتصاد ParaState ، ومكون حيوي لكل من DAO وعرض منتج SafeStake الخاص بنا.

من هو CertiK؟
CertiK هي شركة رائدة في مجال أمن blockchain ، حيث تستفيد من أفضل تقنيات الذكاء الاصطناعي لحماية ومراقبة بروتوكولات blockchain والعقود الذكية.

تمهد CertiK الطريق لويب 3 آمن. أسسها أساتذة من جامعتي ييل وكولومبيا ، CertiK يمكّن التطبيقات المتطورة والحاسمة للمهام للوصول إلى إمكاناتها الكاملة في قابلية التوسع والدقة والأمان.

من خلال نهجها الثوري لأمن blockchain ، وضعت CertiK نفسها بسرعة كشركة رائدة في السوق. حتى الآن ، حصلت الشركة على أصول رقمية مذهلة بقيمة 310 مليارات دولار وحددت أكثر من 60 ألف نقطة ضعف محتملة ، مما يجعلها واحدة من أكثر الأسماء الموثوقة في الصناعة. يضع أكثر من 3200 من عملاء المؤسسات ثقتهم فيها كل يوم.

تعمل CertiK على تطوير لعبة أمان blockchain بإطلاق Skynet ، وهي منصة مراقبة نشطة على مدار الساعة طوال أيام الأسبوع توفر خدمات تدقيق وتحقق صارمة من خلال Security Leaderboard.

التدقيق في ParaState
تعتمد ParaState على تدقيق العقود الذكي للحفاظ على أقصى درجات الأمان. يوفر رؤى قيمة حول تشفير blockchain وأداء العقد الذكي ، مع تحليل متعمق لنقاط الضعف المحتملة ومجالات التحسين.

في حالة عقود رمز STATE الخاصة بنا والعقد الذكي المقابل ، نتج عن تدقيق CertiK ثمانية مشكلات فقط أحدها “متوسط” الخطورة والباقي مجرد “معلوماتي”.

تقرير Certik
رمز STATE ($ STATE) هو رمز ERC-20 على سلسلة بلوكشين Ethereum. يكافئ نشر عقد Staking الذكي المشاركين الأوائل في مشروع SafeStake. تُظهر وثائقنا المدققة مشاكل أقل بنسبة 70٪ في النتائج التي توصلنا إليها مقارنة بمشاريع أخرى مماثلة. هذه النتيجة تدل على التزامنا بإدارة البيانات بكفاءة ودقة.

علاوة على ذلك ، عالجت ParaState بشكل فعال جميع النتائج الأمنية ، مما عزز قوة بروتوكول blockchain الخاص بها.

يعد تقرير التدقيق علامة فارقة مهمة للنظام البيئي ParaState ، والذي يتضمن منتجنا المبتكر ETH Staking ، SafeStake ، وهو عبارة عن طبقة وسطى مصغره للثقة تعزز اللامركزية. تم إجراء عمليتي تدقيق في المجموع بنجاح في النصف الأول من عام 2022 وشمل التدقيق العقود الذكية التالية:

IStakeFor.sol
IMintableERC20.sol
CompoundStakeReward.sol
TokenDistributor.sol
Timelock.sol
تناول التدقيق موضوعات ومجالات محددة تغطي معايير مهمة لمجتمعنا. قام بتقييم خيارات التصميم والبنية لدينا وبحث عن أي ثغرات أمنية أو تهديدات يمكن استغلالها. كما قام بقياس مدى سهولة اختبار الكود ومدى دقة اختباره.

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

تم إجراء فحص شامل باستخدام تقنيات التحليل الثابت والمراجعة اليدوية. قام فريق تطوير ParaState على الفور بمعالجة وحل المشكلات الطفيفة المبلغ عنها.

هل تريد قراءة التقرير الكامل؟ قم بتنزيله أدناه:
النسخة الكاملة من النتائج النهائية لعقود الذكاء من طرف ثالث للتدقيق الأمني

ربما أيضا تحب :