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.
Popis od výrobcu (angličtina)
Čo je Verifpal?
Program Verifpal vydáva Symbolic Software. Ide o softvér pre Windows s otvoreným zdrojovým kódom, kategória „Šifrovanie“. V katalógu je podľa obľúbenosti na 47. mieste v kategórii „Šifrovanie“. Programovací jazyk: Rust.
Inštalácia a systémové požiadavky
Výrobca ponúka inštalátory Prenosná verzia pre systémy 64-bit. Program funguje bez inštalácie (prenosná verzia).
Aktualizácie a história verzií
Najnovšia verzia je 1.6.6, vydaná 11. októbra 2026. História verzií siaha až k 29. augusta 2026: spolu 22 verzií s odkazmi na oficiálne súbory. Posledná aktualizácia vyšla pred menej ako mesiacom.
Obľúbenosť a typy súborov
Zdrojový kód na GitHube (symbolicsoft/verifpal) má 135 hviezdičiek. Podobné programy: Cryptomator, GNU Privacy Guard a Keybase.
Popis projektu na GitHube: “Cryptographic protocol analysis for real-world protocols.”
Výhody / Nevýhody
Výhody
- Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
- Prenosná verzia: funguje bez inštalácie
- Aktualizované v posledných dvoch mesiacoch
Nevýhody
- Chýba natívne zostavenie ARM64
V skratke: Verifpal je program pre Windows s otvoreným zdrojovým kódom (kategória „Šifrovanie“); zostavenia: 64-bit.
Je stiahnutie programu Verifpal bezpečné?
- Súbor sa sťahuje z domény výrobcu (github.com)
- Odkaz na stiahnutie používa HTTPS
- Hash SHA256 je zverejnený – súbor sa dá overiť:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Otvoriť správu VirusTotal pre tento hash - Odkaz zatiaľ nebol overený
- Otvorený zdrojový kód
- ExeAtlas inštalátory neukladá, nebalí ani nemení
Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru
Posledné verzie
Všetky verzie (22) ›| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 1.6.6Najnovšia | 11. októbra 2026 | — | 64-bit ZIP |
| 1.6.4 | 7. októbra 2026 | — | 64-bit ZIP |
| 1.6.3 | 28. septembra 2026 | — | 64-bit ZIP |
| 1.6.0 | 23. septembra 2026 | — | 64-bit ZIP |
| 1.5.1 | 21. septembra 2026 | — | 64-bit ZIP |
| 1.5.0 | 20. septembra 2026 | — | 64-bit ZIP |
| 1.4.12 | 17. septembra 2026 | — | 64-bit ZIP |
| 1.4.11 | 16. septembra 2026 | — | 64-bit ZIP |
Inštalácia z príkazového riadka
Tichá inštalácia ›winget install --id SymbolicSoftware.Verifpal -eSúvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Informácie
- Výrobca
- Symbolic Software
- Kategória
- Šifrovanie
- Licencia
- GPL-3.0-only
- Cena
- Zadarmo
- Zdrojový kód
- github.com/symbolicsoft/verifpal
- Programovací jazyk
- Rust
- Požiadavky
- Windows 11 / 10
- Architektúra
- 64-bit
- Inštalátor
- Prenosná verzia
- Verzia
- 1.6.6
- Dátum vydania
- 11. októbra 2026
- Pridané do katalógu
- 26. septembra 2026
- Verzií v katalógu
- 22
- Hviezdičky na GitHube
- 135
- Forky na GitHube
- 16
- Web
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Alternatívy k programu Verifpal
Zobraziť všetko ›-
Open source166,2 tis. ↓ -
Open source186,1 tis. ↓ -
Open source36,6 tis. ↓ -
Open source78,8 tis. ↓ -
Open source31,8 tis. ↓ -
Open source19,2 tis. ↓ -
Open source15,6 tis. ↓ -
Open source9,4 tis. ↓
Časté otázky
Je program Verifpal zadarmo?
Áno. Verifpal je program s otvoreným zdrojovým kódom (licencia GPL-3.0-only); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu Verifpal bezpečné?
Súbor sa sťahuje z github.com – táto doména patrí výrobcovi; ExeAtlas súbor neukladá ani nemení. Porovnajte SHA256 stiahnutého súboru s hodnotou na tejto stránke alebo otvorte správu VirusTotal pre tento hash.
Ako nainštalovať Verifpal cez winget?
Otvorte PowerShell alebo Windows Terminal a spustite príkaz winget z tejto stránky. winget stiahne oficiálny inštalátor a pred spustením overí jeho hash SHA256.
Funguje Verifpal na ARM (Windows on Arm)?
Zostavenie ARM64 neexistuje; Windows 11 on Arm dokáže verziu 64-bit spustiť pomocou emulácie.
Kde stiahnuť staršie verzie programu Verifpal?
Stránka verzií obsahuje odkazy na oficiálne inštalátory všetkých verzií (22) od 29. augusta 2026.
Dá sa program Verifpal používať bez oprávnení správcu?
Áno, ide o prenosnú verziu: stačí ju rozbaliť a spustiť.
Aké sú alternatívy k programu Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd a KopiaUI. Porovnanie nájdete na stránke alternatív.
