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 izdajatelja (angleščina)
Kaj je Verifpal?
Program Verifpal je odprtokodna programska oprema za Windows v kategoriji „Šifriranje“. Izdaja ga Symbolic Software. Po priljubljenosti je na 47. mestu v kategoriji „Šifriranje“ tega kataloga. Programski jezik: Rust.
Namestitev in sistemske zahteve
Izdajatelj ponuja namestitvene datoteke vrste Prenosna različica za sisteme 64-bitno. Program deluje brez namestitve (prenosna različica).
Posodobitve in zgodovina različic
Najnovejša različica je 1.6.6, izdana 11. oktober 2026. Zgodovina različic sega do 29. avgust 2026: skupaj 22 izdaj, vse s povezavami do uradnih datotek. Zadnja posodobitev je izšla pred manj kot mesecem dni.
Priljubljenost in vrste datotek
Izvorna koda na GitHubu (symbolicsoft/verifpal) ima 135 zvezdic. Podobni programi: Cryptomator, GNU Privacy Guard in Keybase.
Opis projekta na GitHubu: “Cryptographic protocol analysis for real-world protocols.”
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Prenosna različica: deluje brez namestitve
- Posodobljen v zadnjih dveh mesecih
Slabosti
- Ni izvorne različice ARM64
Na kratko: Verifpal je odprtokoden program za Windows (kategorija „Šifriranje“), na voljo za 64-bitno.
Je prenos programa Verifpal varen?
- Datoteka se prenese z domene izdajatelja (github.com)
- Povezava za prenos uporablja HTTPS
- Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Odpri poročilo VirusTotal za to zgoščeno vrednost - Povezava še ni bila preverjena
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Najnovejše različice
Vse različice (22) ›| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 1.6.6Najnovejša | 11. oktober 2026 | — | 64-bitno ZIP |
| 1.6.4 | 7. oktober 2026 | — | 64-bitno ZIP |
| 1.6.3 | 28. september 2026 | — | 64-bitno ZIP |
| 1.6.0 | 23. september 2026 | — | 64-bitno ZIP |
| 1.5.1 | 21. september 2026 | — | 64-bitno ZIP |
| 1.5.0 | 20. september 2026 | — | 64-bitno ZIP |
| 1.4.12 | 17. september 2026 | — | 64-bitno ZIP |
| 1.4.11 | 16. september 2026 | — | 64-bitno ZIP |
Namestitev iz ukazne vrstice
Tiha namestitev ›winget install --id SymbolicSoftware.Verifpal -ePovezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Informacije
- Izdajatelj
- Symbolic Software
- Kategorija
- Šifriranje
- Licenca
- GPL-3.0-only
- Cena
- Brezplačno
- Izvorna koda
- github.com/symbolicsoft/verifpal
- Programski jezik
- Rust
- Zahteve
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Namestitvena datoteka
- Prenosna različica
- Različica
- 1.6.6
- Izdano
- 11. oktober 2026
- Dodano v katalog
- 26. september 2026
- Število različic
- 22
- Zvezdice na GitHubu
- 135
- Razcepi na GitHubu
- 16
- Spletna stran
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Alternative za program Verifpal
Prikaži vse ›-
Odprta koda166,2 tis. ↓ -
Odprta koda186,1 tis. ↓ -
Odprta koda36,6 tis. ↓ -
Odprta koda78,8 tis. ↓ -
Odprta koda31,8 tis. ↓ -
Odprta koda19,2 tis. ↓ -
Odprta koda15,6 tis. ↓ -
Odprta koda9,4 tis. ↓
Pogosta vprašanja
Je program Verifpal brezplačen?
Da. Verifpal je odprtokoden program (licenca GPL-3.0-only), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa Verifpal varen?
Datoteka se prenese z domene github.com, ki pripada izdajatelju; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.
Kako namestiti Verifpal z wingetom?
Odprite PowerShell ali Windows Terminal in zaženite ukaz winget s te strani. winget prenese uradno namestitveno datoteko in pred zagonom preveri njeno zgoščeno vrednost SHA256.
Ali Verifpal deluje na procesorjih ARM (Windows on Arm)?
Različice ARM64 ni; Windows 11 on Arm lahko različico 64-bitno zažene z emulacijo.
Kje prenesti starejše različice programa Verifpal?
Na strani z različicami so povezave do uradnih namestitvenih datotek vseh različic (22), od 29. avgust 2026 naprej.
Ali je program Verifpal mogoče uporabljati brez skrbniških pravic?
Da, gre za prenosno različico: arhiv je dovolj razpakirati in program zagnati.
Katere so alternative za program Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd in KopiaUI. Primerjava je na strani z alternativami.
