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ýrobce (angličtina)
Co je Verifpal?
Program Verifpal vydává Symbolic Software. Jde o software pro Windows s otevřeným zdrojovým kódem, kategorie „Šifrování“. V katalogu je podle oblíbenosti na 47. místě v kategorii „Šifrování“. Programovací jazyk: Rust.
Instalace a systémové požadavky
Výrobce nabízí instalátory Přenosná verze pro systémy 64bit. Program funguje bez instalace (přenosná verze).
Aktualizace a historie verzí
Aktuální verze je 1.6.6, vydaná 11. října 2026. Historie verzí sahá až k 29. srpna 2026: celkem 22 verzí s odkazy na oficiální soubory. Poslední aktualizace vyšla před méně než měsícem.
Oblíbenost a typy souborů
Zdrojový kód na GitHubu (symbolicsoft/verifpal) má 135 hvězd. Podobné programy: Cryptomator, GNU Privacy Guard a Keybase.
Popis projektu na GitHubu: “Cryptographic protocol analysis for real-world protocols.”
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Přenosná verze: funguje bez instalace
- Aktualizováno v posledních dvou měsících
Nevýhody
- Chybí nativní sestavení ARM64
Ve zkratce: Verifpal je program pro Windows s otevřeným zdrojovým kódem (kategorie „Šifrování“); sestavení: 64bit.
Je stažení programu Verifpal bezpečné?
- Soubor se stahuje z domény výrobce (github.com)
- Odkaz ke stažení používá HTTPS
- Hash SHA256 je zveřejněn – soubor lze ověřit:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Otevřít zprávu VirusTotal pro tento hash - Odkaz zatím nebyl ověřen
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Poslední verze
Všechny verze (22) ›Instalace z příkazového řádku
Tichá instalace ›winget install --id SymbolicSoftware.Verifpal -eSouvisející návod: Jak používat winget: instalace a aktualizace programů
Informace
- Výrobce
- Symbolic Software
- Kategorie
- Šifrování
- Licence
- GPL-3.0-only
- Cena
- Zdarma
- Zdrojový kód
- github.com/symbolicsoft/verifpal
- Programovací jazyk
- Rust
- Požadavky
- Windows 11 / 10
- Architektura
- 64bit
- Instalátor
- Přenosná verze
- Verze
- 1.6.6
- Datum vydání
- 11. října 2026
- Přidáno do katalogu
- 26. září 2026
- Verzí v katalogu
- 22
- Hvězdy na GitHubu
- 135
- Forky na GitHubu
- 16
- Web
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Alternativy k programu Verifpal
Zobrazit vše ›-
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 zdarma?
Ano. Verifpal je program s otevřeným zdrojovým kódem (licence GPL-3.0-only); stažení i používání je zdarma.
Je stažení programu Verifpal bezpečné?
Soubor se stahuje z github.com – tato doména patří výrobci; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.
Jak nainstalovat Verifpal přes winget?
Otevřete PowerShell nebo Windows Terminal a spusťte příkaz winget z této stránky. winget stáhne oficiální instalátor a před spuštěním ověří jeho hash SHA256.
Funguje Verifpal na ARM (Windows on Arm)?
Sestavení ARM64 neexistuje; Windows 11 on Arm může verzi 64bit spustit pomocí emulace.
Kde stáhnout starší verze programu Verifpal?
Stránka verzí obsahuje odkazy na oficiální instalátory všech verzí (22) od 29. srpna 2026.
Lze program Verifpal používat bez oprávnění správce?
Ano, jde o přenosnou verzi: stačí ji rozbalit a spustit.
Jaké jsou alternativy k programu Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd a KopiaUI. Srovnání najdete na stránce alternativ.
