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.
Përshkrimi i botuesit (anglisht)
Çfarë është Verifpal?
Botuesi i Verifpal është Symbolic Software. Është softuer me burim të hapur për Windows, në kategorinë „Enkriptim”. Në këtë katalog zë vendin nr. 47 për nga popullariteti në kategorinë „Enkriptim”. Është shkruar në Rust.
Instalimi dhe kërkesat
Botuesi ofron instalues Portativ për Windows 64-bit. Funksionon pa instalim (portativ).
Përditësimet dhe historiku i versioneve
Versioni i fundit është 1.6.6, publikuar më 11 tetor 2026. Historiku i versioneve fillon më 29 gusht 2026: 22 publikime, të gjitha me lidhje te skedarët zyrtarë. Përditësimi i fundit është më pak se një muaj i vjetër.
Popullariteti dhe llojet e skedarëve
Kodi burimor në GitHub (symbolicsoft/verifpal) ka 135 yje. Programe të ngjashme janë Cryptomator, GNU Privacy Guard dhe Keybase.
Përshkrimi i projektit në GitHub: “Cryptographic protocol analysis for real-world protocols.”
Pikat e forta / Pikat e dobëta
Pikat e forta
- Burim i hapur: kodin mund ta shqyrtojë dhe ta kompilojë kushdo
- Portativ: funksionon pa instalim
- Përditësuar në dy muajt e fundit
Pikat e dobëta
- Pa version vendas ARM64
Shkurtimisht: Verifpal është një mjet me burim të hapur në kategorinë „Enkriptim”, për kompjuterë 64-bit.
A është i sigurt shkarkimi i Verifpal?
- Skedari shpërndahet nga github.com, domeni i vetë botuesit
- Lidhja e shkarkimit përdor HTTPS
- Është publikuar një hash SHA256, ndaj skedarin mund ta verifikoni:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Hapni raportin e VirusTotal për këtë hash - Lidhja ende nuk është kontrolluar
- Kodi burimor është publik
- ExeAtlas nuk ruan, nuk mbështjell dhe nuk ndryshon instalues
Udhëzues i lidhur: Si të kontrolloni hash-in SHA256 të një skedari
Versionet e fundit
Të gjitha versionet (22) ›| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 1.6.6I fundit | 11 tetor 2026 | — | 64-bit ZIP |
| 1.6.4 | 7 tetor 2026 | — | 64-bit ZIP |
| 1.6.3 | 28 shtator 2026 | — | 64-bit ZIP |
| 1.6.0 | 23 shtator 2026 | — | 64-bit ZIP |
| 1.5.1 | 21 shtator 2026 | — | 64-bit ZIP |
| 1.5.0 | 20 shtator 2026 | — | 64-bit ZIP |
| 1.4.12 | 17 shtator 2026 | — | 64-bit ZIP |
| 1.4.11 | 16 shtator 2026 | — | 64-bit ZIP |
Instalimi nga rreshti i komandave
Instalim i heshtur ›winget install --id SymbolicSoftware.Verifpal -eUdhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Informacion
- Botuesi
- Symbolic Software
- Kategoria
- Enkriptim
- Licenca
- GPL-3.0-only
- Çmimi
- Falas
- Kodi burimor
- github.com/symbolicsoft/verifpal
- Shkruar në
- Rust
- Kërkon
- Windows 11 / 10
- Arkitektura
- 64-bit
- Instaluesi
- Portativ
- Versioni
- 1.6.6
- Publikuar
- 11 tetor 2026
- Shtuar në katalog
- 26 shtator 2026
- Versione në listë
- 22
- Yje në GitHub
- 135
- Forke në GitHub
- 16
- Faqja e internetit
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Alternativa për Verifpal
Shiko të gjitha ›-
Me burim të hapur166,2 mijë ↓ -
Me burim të hapur186,1 mijë ↓ -
Me burim të hapur36,6 mijë ↓ -
Me burim të hapur78,8 mijë ↓ -
Me burim të hapur31,8 mijë ↓ -
Me burim të hapur19,2 mijë ↓ -
Me burim të hapur15,6 mijë ↓ -
Me burim të hapur9,4 mijë ↓
Pyetjet më të shpeshta
A është Verifpal falas?
Po. Verifpal është softuer me burim të hapur me licencën GPL-3.0-only.
A është i sigurt shkarkimi i Verifpal?
Shkarkimi vjen nga github.com, që i përket botuesit; ExeAtlas nuk e ruan dhe nuk e ndryshon skedarin. Krahasoni hash-in SHA256 të tij me atë që tregohet këtu, ose hapni raportin e VirusTotal për këtë hash.
Si ta instaloj Verifpal me winget?
Hapni PowerShell ose Windows Terminal dhe ekzekutoni komandën winget që tregohet në këtë faqe. winget shkarkon instaluesin zyrtar dhe kontrollon hash-in SHA256 para se ta ekzekutojë.
A funksionon Verifpal në ARM (Windows on Arm)?
Nuk ka version ARM64; Windows 11 on Arm mund ta ekzekutojë versionin 64-bit përmes emulimit.
Ku mund të shkarkoj një version të vjetër të Verifpal?
Faqja e versioneve rendit të 22 versionet me lidhje te skedarët zyrtarë të instalimit, që nga 29 gusht 2026.
A mund ta përdor Verifpal pa të drejta administratori?
Po, është portativ: e shpaketoni dhe e nisni.
Cilat janë alternativat e Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd dhe KopiaUI. Faqja e alternativave i krahason.
