2.9.26
تم الإصدار في ١ نوفمبر ٢٠٢٦
الموقع الرسمي لـ Keylatch
Smart Contract Audit: وكيل تدقيق عقود Solidity
يساعدك Keylatch 2.9.26 في مراجعة نتائج فحص أمان عقود Solidity باستخدام الأدوات المدمجة. يستخدم وضع Ask first لتوافقك على التغييرات قبل تنفيذها في الدردشة.
اقرأ ملف العقد الرئيسي، ابحث عن المكالمات الخارجية، واذكر كل مخاطر إعادة الدخول المحتملة في مجلد المشروع.
- list_dir
./contracts3 ملفات - read_file
./contracts/Token.solتم تحميلها - grep
external call2 تطابق - write_file
./findings-log.txtتم الحفظ - Shell
your test commandexit 0
في انتظار موافقتك قبل الانتقال للخطوة التاليةرفضقبول
٣٤ ميجابايت
تحميل برنامج التثبيت
٢٥ ميجابايت
ملف .exe واحد
١٣
خيارات الواجهة
Windows 10/11
يدعم x64
SHA-256
تحقق باستخدام certutil
عملية Smart Contract Audit
يجد Keylatch الملفات، ويشغل فحوصاتك، ويكتب الملاحظات بينما يقوم شخص بمراجعة كل نتيجة في عملية Smart Contract Audit بعناية. يساعدك Keylatch. يؤتمت الخطوات المتكررة حتى تركز على أخطاء المنطق. يظل تحديد النطاق وقراءة الكود يدوياً ضروريًا للدقة.
فحص Solidity بالأدوات المحلية
يستخدم Keylatch list_dir للعثور على ملفات العقد وread_file لتحميل الكود المصدري، ثم يبحث grep عن كل المكالمات الخارجية التي قد تسبب إعادة الدخول، وهو جزء من مراجعة solidity. توقف أولاً. تستخدم Ask first للتوقف قبل حدوث التعديل. يكتب الوكيل النتائج في ملف سجل ويظهر لك الاختلاف. التطبيق ليس تدقيقاً، لكنه يساعدك على مراجعة الكود على Windows 10/11. هل يبقى مرجع الفحص ساري المفعول بعد الترقية عند تغيير الكود؟
تتبع الأداة
list_dir ./contracts → 3 files
read_file Token.sol → loaded
grep external call → 2 matches
write_file findings → saved
Shell your test command → exit 0خطوات المراجعة الآلية للعقود
Keylatch هو وكيل ذكاء اصطناعي مستقل لنظام Windows 10/11 (x64)، الإصدار 2.9.26، وتستخدم عملية المراجعة الآلية Shell لتشغيل فاحص الثبات الخاص بك. المراجعة مكتملة. يستخدم الوكيل grep للعثور على كل المكالمات الخارجية في الكود. ثم يستخدم read_file للتحقق من مخرجات الأمر. يظهر رقم عدد الملفات التي تمت معالجتها أثناء المراجعة. يستخدم الوكيل write_file لإنشاء ملاحظات النتائج لمراجعتك.
تتبع الأداة
list_dir . -> lists contract files and test directories
read_file Token.sol -> reads the source code for review
grep -n "external" Token.sol -> finds lines matching 'external'
Shell -> runs your test command and your static-check command
write_file findings-log.txt -> saves the findings logالتحقق من تجاوز الأعداد في Solidity 0.8
يستخدم Keylatch 2.9.26 لنظام Windows 10/11 grep للعثور على كل تغيير في الحالة في العقد للتحقق من منطق الملكية، ثم يستخدم edit_file لاقتراح تعديل للعقد. راجع الاختلاف. هذه الخطوة جزء من عملية مراجعة العقود الذكية. تشمل أوضاع الموافقة Ask first للأمان أثناء إجراءات التعديل. يستخدم الوكيل Shell لتشغيل أمر الاختبار محلياً. ترى الاختلاف وتوافق على التغيير مباشرة بعد المراجعة.
فحوصات التجاوز في Solidity 0.8
يستخدم الوكيل read_file لتحميل دوال الرياضيات ويتحقق من التجاوز في الكود الأقدم من Solidity 0.8 بحيث يتم التحقق من المنطق الحسابي بواسطة شخص. تحقق من السجل. تشغل أمر الاختبار الخاص بك لتأكيد الإصلاح لأي مشكلات تم العثور عليها. يعدد grep المكالمات الخارجية لقراءتها بواسطة شخص. يتم العثور على الثغرات الأمنية الشائعة في تطبيقات الويب 3 المبكرة بواسطة grep. تحتفظ بالتقرير مع إصدار الكود الدقيق لسجلات التدقيق.
كيف يختلف عن مساعد الدردشة النموذجي
يشغل Keylatch الإصدار 2.9.26 الأدوات بنفسه، لذا يظهر كل إجراء في الدردشة كبطاقة بنتيجتها الحقيقية وترى اختلاف الملف. المراجعة مكتملة.
| مساعد الدردشة النموذجي | Keylatch | |
|---|---|---|
| تنفيذ الأدوات | يقترح الأوامر | يشغل الأوامر |
| تغييرات الملف | يعرض النص | يعرض الاختلاف |
| الموافقة | لا يوجد | Ask first |
| النتائج | يصف النتائج بالنص | رمز الخروج الحقيقي |
كيفية بدء المراجعة
- قم بتحميل برنامج التثبيت بحجم ٣٤ ميجابايت لنظام Windows 10 أو 11.
- شغل المثبت وأطلق الوكيل على سطح المكتب.
- افتح مجلد مشروعك في دليل عمل الدردشة.
- حدد النموذج واضغط على زر الاختبار لـ
من يستخدم Keylatch للتدقيق
يستخدم المبتدئون Keylatch لتعلم سير عمل المراجعة ويرى كل إجراء أداة لفهم المنطق وراء تغييرات الكود بوضوح الآن. أصلحها. تتحقق Solidity 0.8 والإصدارات الأحدث من الأعداد الحسابية افتراضياً الآن.
يستخدم الممارسون Keylatch لتشغيل فحوصاتهم الخاصة والاحتفاظ بملاحظات النتائج للتحليل لاحقاً بينما يحفظ الوكيل ملف السجل. يساعدك Keylatch. يحفظ الوكيل السجل لمراجعتك للنتائج.
يشغل Keylatch اختبارات الوحدة ويتحقق من رمز الخروج بحيث تحتفظ بملاحظات النتائج مع إصدار الكود الدقيق لمراجعة الفريق. راجع أولاً. يتم تسجيل كل خطوة في سجل الدردشة.
الأسئلة الشائعة
ما هو Smart Contract Audit؟
Smart Contract Audit هو مراجعة منظمة لكود العقد للبحث عن الثغرات الأمنية، وينتهي بقائمة مكتوبة من النتائج مع شدة مقترحة وإصلاح مقترح. يقلل من المخاطر. الكود عام، لذا قد يعني الخطأ خسارة دائمة.
هل codewillmadeit.com هو الموقع الرسمي لـ Keylatch؟
نعم، codewillmadeit.com هو الموقع الرسمي لـ Keylatch، ويمكنك التحقق من المثبت بمقارنة قيمة SHA-256 مع البيان المنشور باستخدام الأمر certutil -hashfile في Windows. تحقق أولاً. اضغط على المزيد من المعلومات ثم تشغيل على أي حال فقط بعد مطابقة قيمة SHA-256.
هل ينطبق التدقيق بعد ترقية العقد؟
يغطي التقرير فقط إصدار الكود والنطاق الذي تمت مراجعته، لذا فإن أي تغيير لاحق يحتاج إلى مراجعة جديدة للتأكد من بقاء العقد آمناً. لا، لا ينطبق. تغير الترقية ما يقوله التدقيق القديم، لذا يجب الحصول على مراجعة جديدة للإصدار الجديد.
كيف تعمل عملية المراجعة الآلية؟
تستخدم المراجعة الآلية فحوصات ثابتة والذكاء الاصطناعي للعثور على المشكلات مع تتطلب التحقق اليدوي لتأكيد النتائج وتبرير الإيجابيات الكاذبة قبل النشر. الحكم البشري ضروري. لا تحل الأداة محل المراجع تماماً للقرارات النهائية بشأن الأمان.
كم يكلف تدقيق أمان Smart Contract؟
لا يوجد سعر ثابت للتدقيق المهني لأن التكلفة تعتمد على كمية الكود وتعقيده الذي يراجعه الخبراء. اسأل عن الاقتباسات. الرمز البسيط أرخص من المنطق المخصص ويتطلب وقتاً أقل لإكمال عملية المراجعة.
هل يمكن لـ Keylatch استبدال التدقيق المهني؟
لا، الفحص الآلي لا يحل محل التدقيق المهني عندما تكون الأموال الحقيقية على المحك، لذا يجب عليك تأكيد النتائج بنفسك. تأكد منها. يساعدك الوكيل في العثور على المشكلات قبل نشر الكود.
كيف تتعامل الفرق مع تدقيق العقود داخلياً؟
التدقيق الداخلي هو عملية تحدد فيها الفرق النطاق وتكتب ما يجب أن يفعله العقد، بحيث يتم التحقق من المنطق قبل النشر وتتبع التغييرات بواسطة الوكيل. يساعدك Keylatch. يشغل أوامر Shell ويحفظ المخرجات التفصيلية للمراجعة.
راجع عقودك الآن
قم بتحميل برنامج تثبيت Keylatch الرسمي، الذي يبلغ حجمه حوالي ٣٤ ميجابايت ويعمل على Windows 10 أو 11، حتى تتمكن من مراجعة عقود Solidity الذكية الخاصة بك لاكتشاف الثغرات الأمنية قبل النشر. تحقق من مطابقة قيمة SHA-256 مع البيان باستخدام certutil. قارن التجزئة.
تحميل Keylatch لنظام Windows ↗استكشف الموقع
كل صفحة من صفحات هذا الموقع متاحة بـ 20 لغة. واجهة التطبيق نفسها تدعم 13 لغة.
تفاصيل المنتج ↗ تكوين النماذج ↗ سير عمل التدقيق ↗ تحميل المثبت ↗ الأسئلة الشائعة ↗ سياسة الخصوصية ↗
