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.
Opis producenta (angielski)
Czym jest Verifpal?
Program Verifpal wydaje Symbolic Software. To oprogramowanie na Windows o otwartym kodzie źródłowym, kategoria „Szyfrowanie”. Miejsce w rankingu popularności kategorii „Szyfrowanie” w katalogu: 47. Język programowania: Rust.
Instalacja i wymagania
Producent udostępnia instalatory Wersja przenośna dla systemów 64-bit. Program działa bez instalacji (wersja przenośna).
Aktualizacje i historia wersji
Bieżąca wersja to 1.6.6, wydana 11 października 2026. Najstarsza wersja w katalogu pochodzi z 29 sierpnia 2026. Łącznie: 22 wersje, wszystkie z linkami do oficjalnych plików. Ostatnia aktualizacja ukazała się mniej niż miesiąc temu.
Popularność i typy plików
Kod źródłowy na GitHubie (symbolicsoft/verifpal) ma 135 gwiazdek. Podobne programy: Cryptomator, GNU Privacy Guard i Keybase.
Opis projektu na GitHubie: “Cryptographic protocol analysis for real-world protocols.”
Zalety / Wady
Zalety
- Otwarty kod źródłowy: każdy może go przejrzeć i skompilować
- Wersja przenośna: działa bez instalacji
- Ostatnia aktualizacja w ciągu ostatnich dwóch miesięcy
Wady
- Brak natywnej wersji ARM64
W skrócie: Verifpal to program na Windows o otwartym kodzie źródłowym z kategorii „Szyfrowanie”; wersje: 64-bit.
Czy pobieranie programu Verifpal jest bezpieczne?
- Plik jest pobierany z domeny producenta (github.com)
- Link do pobrania używa HTTPS
- Opublikowano sumę SHA256, więc plik można zweryfikować:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Otwórz raport VirusTotal dla tej sumy - Link nie był jeszcze sprawdzany
- Kod źródłowy jest publiczny
- ExeAtlas nie przechowuje, nie opakowuje i nie modyfikuje instalatorów
Powiązany poradnik: Jak sprawdzić sumę SHA256 pliku w Windows
Najnowsze wersje
Wszystkie wersje (22) ›| Wersja | Data | Rozmiar | Pliki |
|---|---|---|---|
| 1.6.6Najnowsza | 11 października 2026 | — | 64-bit ZIP |
| 1.6.4 | 7 października 2026 | — | 64-bit ZIP |
| 1.6.3 | 28 września 2026 | — | 64-bit ZIP |
| 1.6.0 | 23 września 2026 | — | 64-bit ZIP |
| 1.5.1 | 21 września 2026 | — | 64-bit ZIP |
| 1.5.0 | 20 września 2026 | — | 64-bit ZIP |
| 1.4.12 | 17 września 2026 | — | 64-bit ZIP |
| 1.4.11 | 16 września 2026 | — | 64-bit ZIP |
Instalacja z wiersza poleceń
Cicha instalacja ›winget install --id SymbolicSoftware.Verifpal -ePowiązany poradnik: Winget – jak instalować i aktualizować programy
Informacje
- Producent
- Symbolic Software
- Kategoria
- Szyfrowanie
- Licencja
- GPL-3.0-only
- Cena
- Za darmo
- Kod źródłowy
- github.com/symbolicsoft/verifpal
- Język programowania
- Rust
- Wymagania
- Windows 11 / 10
- Architektura
- 64-bit
- Instalator
- Wersja przenośna
- Wersja
- 1.6.6
- Data wydania
- 11 października 2026
- Dodano do katalogu
- 26 września 2026
- Wersje w katalogu
- 22
- Gwiazdki GitHub
- 135
- Forki na GitHubie
- 16
- Strona WWW
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Oceny i opinie
Brak opinii. Można dodać pierwszą ocenę.
Alternatywy dla programu Verifpal
Zobacz wszystkie ›-
Open source166,2 tys. ↓ -
Open source186,1 tys. ↓ -
Open source36,6 tys. ↓ -
Open source78,8 tys. ↓ -
Open source31,8 tys. ↓ -
Open source19,2 tys. ↓ -
Open source15,6 tys. ↓ -
Open source9,4 tys. ↓
Najczęstsze pytania
Czy program Verifpal jest darmowy?
Tak. Verifpal to oprogramowanie open source na licencji GPL-3.0-only; można je pobrać i używać za darmo.
Czy pobieranie programu Verifpal jest bezpieczne?
Plik jest pobierany z serwera github.com, który należy do producenta; ExeAtlas nie przechowuje ani nie modyfikuje pliku. Sumę SHA256 pobranego pliku można porównać z podaną na tej stronie albo otworzyć raport VirusTotal dla tej sumy.
Jak zainstalować program Verifpal przez winget?
Wystarczy otworzyć PowerShell lub Terminal Windows i uruchomić polecenie winget podane na tej stronie. winget pobiera oficjalny instalator i przed uruchomieniem sprawdza jego sumę SHA256.
Czy Verifpal działa na procesorach ARM (Windows on Arm)?
Brak wersji ARM64; Windows 11 on Arm może uruchomić wersję 64-bit w emulacji.
Gdzie pobrać starsze wersje programu Verifpal?
Na stronie wersji zebrano linki do oficjalnych instalatorów wszystkich wersji (22), aż do 29 sierpnia 2026.
Czy z programu Verifpal można korzystać bez uprawnień administratora?
Tak, to wersja przenośna: wystarczy rozpakować archiwum i uruchomić program.
Jakie są alternatywy dla programu Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd i KopiaUI. Strona alternatyw zawiera ich porównanie.
