Tutoriales
تدقيق وأمن العقود الذكية
تدقيق وأمن العقود الذكية
تقدم Blockchain فرصة فريدة للإجماع الموزع. تطبيقات العقود الذكية تحمل مشاكل أمنية فريدة من نوعها. للتخفيف من هذه المخاطر، يقوم Jobchain® بإجراء عمليات تدقيق أمنية لعقودك الذكية.
ملف سيرتيك و كوانتستامب، وهما من أكثر تقنيات التحقق الرسمية تطوراً في العالم للعقود الذكية وتدقيق بلوكتشين، أعطت الضوء الأخضر لـ Jobchain® لمواصلة جهودها لزيادة تعزيز أمن المنصة لضمان الاستقرار والثقة في النظام البيئي Jobchain®.
حول سيرتيك
: CertiK هي شركة رائدة في مجال الأمن السيبراني blockchain التي أسسها أساتذة علوم الكمبيوتر في جامعة ييل وجامعة كولومبيا. بتطبيق دقة تقنية التحقق الرسمي الخاصة بها في العقود الذكية وبروتوكولات blockchain، تمكنت CertiK من تأمين أكثر من 4.39 مليار دولار في الأصول، بما في ذلك العديد من مشاريع بلوكشين الرائدة في العالم. وقد تلقت جهود سيرتيك البحثية منحا من آي بي إم ومؤسسة إيثريوم، فضلا عن مستثمرين بارزين، بما في ذلك باينانس لابز، أرينغتون XRP، لايت سبيد الصين بارتنرز، ماتريك بارتنرز الصين، نيو غلوبل كابيتال، وغيرها.
على عكس نهج الاختبار التقليدية، يحاول CertiK إثبات رياضيا أن النظام البيئي blockchain والعقود الذكية هي مقاومة للاختراق وخالية من الأخطاء. مع ثقة صناعة الأمن، أقامت سيرتيك شراكات استراتيجية مع بورصات الأصول الرقمية الرائدة في العالم مثل باينانس أوكي إكس، كوكوين وهوبي، فضلا عن بروتوكولات بلوكشين مثل نيو، إيكون و كواركتشين.
تقنيات سيرتيك الرئيسية:
- التحقق الرسمي - الاختبارات الرياضية للتحقق من جميع إمكانيات البرامج الحرجة للمهام.
- AutoScan - تكنولوجيا قابلة للتطوير لتحديد ومعالجة الثغرات الأمنية
- أعماق البحار بلوكشين - لغة البرمجة الوظيفية للعقود الذكية التي يمكن التحقق منها رسميا
مزايا الأساسية سيرتيك:
- التحقق الرسمي الكامل والقابل للتخصيص
- تقارير مراجعة الحسابات المفصلة والشفافة
- مراجعة التعليمات البرمجية من قبل خبراء الأمن
- مراجعة الحسابات التي أجريت في جميع البروتوكولات واللغات الرئيسية
- كاتيريكسامبلز ولدت ذاتيا
- إعادة تدقيق كود غير محدود
- اختبار الاختراق المتقدم من قبل قراصنة ذوي الخبرة والأخلاقية
حول كوانتستامب
:
يهدف Quantstamp إلى حل عدم إمكانية اختراق العقود الذكية من خلال إنشاء البروتوكول اللامركزي الرئيسي الذي سيوفر تدقيقًا أمنيًا للعقود الذكية استنادًا إلى شبكة Ethereum. بشكل أساسي، يسمح Quantstamp لمطوري العقود الذكية بتقديم عملهم إلى البروتوكول الخاص بهم، حيث يمكن للعديد من مدققي الحسابات الأمنية مراجعة العقد، من أجل الحصول على رموز QSP كمكافأة. يتم تحديد مستوى التدقيق المطلوب من قبل المطور الأولي، الذي يدفع تلك الرسوم لأي شخص يحدد مشكلة في العقد الذكي.