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 ساخته Symbolic Software در دسته‌بندی رمزگذاری قرار دارد و نرم‌افزاری متن‌باز است. در این فهرست، از نظر محبوبیت رتبه ۴۷ را میان نرم‌افزارهای دسته‌بندی رمزگذاری دارد. به زبان Rust نوشته شده است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های پرتابل را برای ویندوز ۶۴ بیتی ارائه می‌کند. بدون نصب اجرا می‌شود (نسخه پرتابل).
به‌روزرسانی‌ها و تاریخچه نسخه‌ها
نسخه فعلی 1.6.6 است که در ۱۹ مهر ۱۴۰۵ منتشر شد. تاریخچه نسخه‌ها ۲۲ نسخه را در بر می‌گیرد که قدیمی‌ترین آن‌ها به ۷ شهریور ۱۴۰۵ برمی‌گردد؛ همه به فایل‌های رسمی لینک دارند. آخرین به‌روزرسانی کمتر از یک ماه پیش منتشر شده است.
محبوبیت و انواع فایل
کد منبع آن در GitHub (symbolicsoft/verifpal) ۱۳۵ ستاره دارد. نرم‌افزارهای مشابه: Cryptomator، GNU Privacy Guard و Keybase.
توضیح پروژه در GitHub: “Cryptographic protocol analysis for real-world protocols.”
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- پرتابل: بدون نصب اجرا می‌شود
- به‌روزرسانی در دو ماه اخیر
نقاط ضعف
- بدون نسخه بومی ARM64
به طور خلاصه: Verifpal ابزاری متن‌باز در دسته‌بندی رمزگذاری برای رایانه‌های ۶۴ بیتی است.
آیا دانلود Verifpal امن است؟
- فایل از github.com، دامنه خود ناشر، ارائه می‌شود
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· گزارش VirusTotal این هش را باز کنید - لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
نسخه‌های اخیر
همه ۲۲ نسخه ›| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 1.6.6آخرین | ۱۹ مهر ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 1.6.4 | ۱۵ مهر ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 1.6.3 | ۶ مهر ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 1.6.0 | ۱ مهر ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 1.5.1 | ۳۰ شهریور ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 1.5.0 | ۲۹ شهریور ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 1.4.12 | ۲۶ شهریور ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 1.4.11 | ۲۵ شهریور ۱۴۰۵ | — | ۶۴ بیتی ZIP |
نصب از خط فرمان
نصب بی‌صدا ›winget install --id SymbolicSoftware.Verifpal -eآموزش مرتبط: آموزش winget: نصب و به‌روزرسانی نرم‌افزار در ویندوز
اطلاعات
- ناشر
- Symbolic Software
- دسته‌بندی
- رمزگذاری
- مجوز
- GPL-3.0-only
- قیمت
- رایگان
- کد منبع
- github.com/symbolicsoft/verifpal
- زبان برنامه‌نویسی
- Rust
- پیش‌نیاز
- Windows 11 / 10
- معماری
- ۶۴ بیتی
- نوع نصب‌کننده
- پرتابل
- نسخه
- 1.6.6
- تاریخ انتشار
- ۱۹ مهر ۱۴۰۵
- تاریخ افزودن به فهرست
- ۴ مهر ۱۴۰۵
- نسخه‌های فهرست‌شده
- 22
- ستاره‌های GitHub
- ۱۳۵
- فورک‌های GitHub
- ۱۶
- وب‌سایت رسمی
- verifpal.com
- شناسه winget
- SymbolicSoftware.Verifpal
امتیازها و نظرها
هنوز نظری ثبت نشده است. نخستین امتیاز را شما بدهید.
جایگزین‌های Verifpal
مشاهده همه ›-
متن‌باز۱۶۶٫۲ هزار ↓ -
متن‌باز۱۸۶٫۱ هزار ↓ -
متن‌باز۳۶٫۶ هزار ↓ -
متن‌باز۷۸٫۸ هزار ↓ -
متن‌باز۳۱٫۸ هزار ↓ -
متن‌باز۱۹٫۲ هزار ↓ -
متن‌باز۱۵٫۶ هزار ↓ -
متن‌باز۹٫۴ هزار ↓
پرسش‌های متداول
آیا Verifpal رایگان است؟
بله. Verifpal نرم‌افزاری متن‌باز با مجوز GPL-3.0-only است.
آیا دانلود Verifpal امن است؟
فایل از github.com که متعلق به خود ناشر است دانلود می‌شود؛ ExeAtlas فایل را میزبانی یا تغییر نمی‌دهد. هش SHA256 فایل را با هش نمایش‌داده‌شده در این صفحه مقایسه کنید یا گزارش VirusTotal همین هش را باز کنید.
چگونه Verifpal را با winget نصب کنیم؟
PowerShell یا Windows Terminal را باز کنید و دستور winget نمایش‌داده‌شده در این صفحه را اجرا کنید. winget فایل نصب رسمی را دانلود می‌کند و پیش از اجرا، هش SHA256 آن را بررسی می‌کند.
آیا Verifpal روی ARM (Windows on Arm) اجرا می‌شود؟
نسخه ARM64 وجود ندارد؛ Windows 11 on Arm می‌تواند نسخه ۶۴ بیتی را با شبیه‌سازی اجرا کند.
نسخه‌های قدیمی Verifpal را از کجا دانلود کنیم؟
صفحه نسخه‌ها همه ۲۲ نسخه را تا ۷ شهریور ۱۴۰۵ با لینک فایل‌های نصب رسمی فهرست می‌کند.
آیا می‌توان از Verifpal بدون دسترسی مدیر استفاده کرد؟
بله، نسخه پرتابل است: آن را از حالت فشرده خارج و اجرا کنید.
جایگزین‌های Verifpal کدام‌اند؟
Cryptomator، GNU Privacy Guard، Keybase، i2pd و KopiaUI. صفحه جایگزین‌ها آن‌ها را با هم مقایسه می‌کند.
