Verifpal is a symbolic formal verification tool for cryptographic protocols. You
describe a protocol in the Verifpal language, state security queries about it, and
Verifpal searches for an attack that breaks them, printing the trace of any attack
it finds.
وصف الناشر (الإنجليزية)
ما هو برنامج Verifpal؟
يُصنَّف برنامج Verifpal لنظام Windows ضمن فئة التشفير، وهو مفتوح المصدر، وناشره Symbolic Software. يحتل المرتبة 47 من حيث الشعبية بين برامج فئة التشفير في هذا الدليل. لغة البرمجة المستخدمة في تطويره: Rust.
التثبيت ومتطلبات التشغيل
يوفّر الناشر مثبّتات نسخة محمولة لإصدارات Windows 64 بت. يعمل دون تثبيت (نسخة محمولة).
التحديثات وسجل الإصدارات
الإصدار الحالي هو 1.6.6، وقد صدر في 11 أكتوبر 2026. يمتد سجل الإصدارات حتى 29 أغسطس 2026، وعدد الإصدارات المدرجة 22، وجميعها مرتبطة بالملفات الرسمية. صدر آخر تحديث قبل أقل من شهر.
الشعبية وأنواع الملفات
عدد نجوم مستودعه على GitHub (symbolicsoft/verifpal): 135. من البرامج المشابهة: Cryptomator، GNU Privacy Guard وKeybase.
وصف المشروع على GitHub: “Cryptographic protocol analysis for real-world protocols.”
الإيجابيات / السلبيات
الإيجابيات
- مفتوح المصدر: يمكن لأي شخص فحص الشيفرة وبناؤها
- نسخة محمولة تعمل دون تثبيت
- حُدِّث خلال الشهرين الماضيين
السلبيات
- لا يوجد إصدار ARM64 أصلي
باختصار: Verifpal برنامج مفتوح المصدر من فئة التشفير يعمل على أجهزة 64 بت.
هل تحميل Verifpal آمن؟
- يُقدَّم الملف من github.com، وهو نطاق يملكه الناشر
- رابط التحميل يستخدم HTTPS
- بصمة SHA256 منشورة، فيمكنك التحقق من الملف:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· افتح تقرير VirusTotal لهذه البصمة - لم يُفحص الرابط بعد
- الشيفرة المصدرية متاحة للجميع
- لا يستضيف ExeAtlas ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
أحدث الإصدارات
جميع الإصدارات (22) ›التثبيت من سطر الأوامر
التثبيت الصامت ›winget install --id SymbolicSoftware.Verifpal -eشرح ذو صلة: شرح winget: تثبيت البرامج وتحديثها من سطر الأوامر
معلومات
- الناشر
- Symbolic Software
- القسم
- التشفير
- الترخيص
- GPL-3.0-only
- السعر
- مجاني
- الشيفرة المصدرية
- github.com/symbolicsoft/verifpal
- لغة البرمجة
- Rust
- المتطلبات
- Windows 11 / 10
- المعمارية
- 64 بت
- نوع المثبّت
- نسخة محمولة
- الإصدار
- 1.6.6
- تاريخ الإصدار
- 11 أكتوبر 2026
- تاريخ الإضافة إلى الدليل
- 26 سبتمبر 2026
- الإصدارات المدرجة
- 22
- نجوم GitHub
- 135
- تفرّعات GitHub
- 16
- الموقع الرسمي
- verifpal.com
- معرّف winget
- SymbolicSoftware.Verifpal
التقييمات والمراجعات
لا توجد مراجعات بعد. كن أول من يقيّم هذا البرنامج.
بدائل Verifpal
عرض الكل ›-
مفتوح المصدر166.2 ألف ↓ -
مفتوح المصدر186.1 ألف ↓ -
مفتوح المصدر36.6 ألف ↓ -
مفتوح المصدر78.8 ألف ↓ -
مفتوح المصدر31.8 ألف ↓ -
مفتوح المصدر19.2 ألف ↓ -
مفتوح المصدر15.6 ألف ↓ -
مفتوح المصدر9.4 ألف ↓
الأسئلة الشائعة
هل برنامج Verifpal مجاني؟
نعم. برنامج Verifpal مفتوح المصدر ويخضع لترخيص GPL-3.0-only.
هل تحميل Verifpal آمن؟
يأتي ملف التحميل من github.com، وهو نطاق يملكه الناشر؛ ولا يستضيف ExeAtlas الملف ولا يعدّله. قارن بصمة SHA256 للملف بالبصمة المعروضة هنا، أو افتح تقرير VirusTotal لهذه البصمة.
كيف أثبّت Verifpal باستخدام winget؟
افتح PowerShell أو Windows Terminal وشغّل أمر winget المعروض في هذه الصفحة. ينزّل winget ملف التثبيت الرسمي ويتحقق من بصمة SHA256 قبل تشغيله.
هل يعمل Verifpal على أجهزة Windows on Arm؟
لا يوجد إصدار ARM64؛ لكن Windows 11 on Arm يستطيع تشغيل إصدار 64 بت عبر المحاكاة.
من أين أحمّل إصدارًا قديمًا من Verifpal؟
تعرض صفحة الإصدارات جميع الإصدارات المدرجة (22) مع روابط ملفات التثبيت الرسمية، رجوعًا حتى 29 أغسطس 2026.
هل يمكن استخدام Verifpal دون صلاحيات المسؤول؟
نعم، فهو نسخة محمولة: فُكّ ضغطه وشغّله.
ما بدائل Verifpal؟
Cryptomator، GNU Privacy Guard، Keybase، i2pd وKopiaUI. تقارن صفحة البدائل بينها.
