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 היא תוכנת Windows בקוד פתוח שמשתייכת לקטגוריה הצפנה. בקטלוג הזה היא במקום ה־47 בפופולריות מבין התוכנות בקטגוריה הצפנה. שפת הפיתוח: Rust.
התקנה ודרישות
המפיץ מספק קובצי התקנה מסוג נייד (Portable) ל־Windows בגרסת 64 ביט. היא פועלת בלי התקנה (גרסה ניידת).
עדכונים והיסטוריית גרסאות
הגרסה הנוכחית היא 1.6.6, שיצאה ב־11 באוקטובר 2026. היסטוריית הגרסאות כוללת 22 גרסאות, החל מ־29 באוגוסט 2026, וכולן מקושרות לקבצים הרשמיים. העדכון האחרון יצא לפני פחות מחודש.
פופולריות וסוגי קבצים
לקוד המקור ב־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 עבור ה־hash הזה - הקישור טרם נבדק
- קוד המקור פתוח לציבור
- ExeAtlas אינו מאחסן, עוטף או משנה קובצי התקנה
מדריך קשור: בדיקת SHA256 של קובץ ב־Windows
גרסאות אחרונות
כל 22 הגרסאות ›| גרסה | תאריך | גודל | קבצים |
|---|---|---|---|
| 1.6.6אחרונה | 11 באוקטובר 2026 | — | 64 ביט ZIP |
| 1.6.4 | 7 באוקטובר 2026 | — | 64 ביט ZIP |
| 1.6.3 | 28 בספטמבר 2026 | — | 64 ביט ZIP |
| 1.6.0 | 23 בספטמבר 2026 | — | 64 ביט ZIP |
| 1.5.1 | 21 בספטמבר 2026 | — | 64 ביט ZIP |
| 1.5.0 | 20 בספטמבר 2026 | — | 64 ביט ZIP |
| 1.4.12 | 17 בספטמבר 2026 | — | 64 ביט ZIP |
| 1.4.11 | 16 בספטמבר 2026 | — | 64 ביט ZIP |
התקנה משורת הפקודה
התקנה שקטה ›winget install --id SymbolicSoftware.Verifpal -eמדריך קשור: מדריך winget: התקנה ועדכון של תוכנות
מידע
- מפיץ
- Symbolic Software
- קטגוריה
- הצפנה
- רישיון
- GPL-3.0-only
- מחיר
- חינם
- קוד מקור
- github.com/symbolicsoft/verifpal
- שפת פיתוח
- Rust
- דרישות
- Windows 11 / 10
- ארכיטקטורה
- 64 ביט
- סוג קובץ ההתקנה
- נייד (Portable)
- גרסה
- 1.6.6
- תאריך שחרור
- 11 באוקטובר 2026
- נוספה לקטלוג
- 26 בספטמבר 2026
- גרסאות ברשימה
- 22
- כוכבים ב־GitHub
- 135
- Forks ב־GitHub
- 16
- אתר רשמי
- verifpal.com
- מזהה winget
- SymbolicSoftware.Verifpal
דירוגים וביקורות
אין עדיין ביקורות. אפשר להיות הראשונים לדרג.
חלופות ל־Verifpal
הצגת הכול ›-
קוד פתוח166.2K ↓ -
קוד פתוח186.1K ↓ -
קוד פתוח36.6K ↓ -
קוד פתוח78.8K ↓ -
קוד פתוח31.8K ↓ -
קוד פתוח19.2K ↓ -
קוד פתוח15.6K ↓ -
קוד פתוח9.4K ↓
שאלות נפוצות
האם 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 יכול להריץ את גרסת ה־64 ביט באמצעות אמולציה.
איפה אפשר להוריד גרסה קודמת של Verifpal?
בדף הגרסאות מופיעות כל 22 הגרסאות עם קישורים לקובצי ההתקנה הרשמיים, עד 29 באוגוסט 2026.
אפשר להשתמש ב־Verifpal בלי הרשאות מנהל?
כן, זו גרסה ניידת: מחלצים את הקבצים ומפעילים.
מהן החלופות ל־Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd ו־KopiaUI. דף החלופות משווה ביניהן.
