تقوم CertiK بإصدار blockchain مع تدقيق العقود الذكي في الوقت الفعلي

أعلنت شركة CertiK ، وهي شركة أمان برمجيات نشطة في قطاع blockchain ، عن إطلاق الشبكة الرئيسية لسلسلة blockchain المخصصة الخاصة بها ، وهي CertiK Chain.

يركز blockchain الجديد بشدة على الأمان ، مما يحول العملية الثابتة سابقًا لتحليل العقود الذكية إلى نظام حماية في الوقت الفعلي.

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

تتميز blockchain بلغة برمجة مخصصة تسمى DeepSEA ، والتي تم تصميمها لإجراء التحقق الرسمي – إثبات رياضي على أن الكود يقوم بما يفترض به – في عملية مؤتمتة إلى حد كبير.

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

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

أخيرًا ، تنظم الشركة أيضًا آلية تأمين لتغطية أي خسارة في الأموال من عمليات الاختراق ، تسمى CertiKShield.

يأتي إطلاق mainnet بعد إصدار testnet في مارس 2020. في وقت سابق من فبراير ، أصدر المشروع عرضًا تجريبيًا للغة DeepSEA. تعتبر CertiK من بين أكثر مدققي الأمن نشاطًا في المجال ، حيث تم اختيارها مؤخرًا كشريك لتدقيق Binance Smart Chain والمشاريع التي يتم إنشاؤها على تلك المنصة.