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 izdavača (engleski)
Šta je Verifpal?
Program Verifpal je softver za Windows otvorenog koda u kategoriji „Šifrovanje“. Objavljuje ga Symbolic Software. Po popularnosti je na 47. mestu u kategoriji „Šifrovanje“ ovog kataloga. Programski jezik: Rust.
Instalacija i sistemski zahtevi
Izdavač nudi instalacione fajlove tipa Portabl verzija za sisteme 64-bit. Program radi bez instalacije (portabl verzija).
Ažuriranja i istorija verzija
Najnovija verzija je 1.6.6, objavljena 11. oktobar 2026. Istorija verzija seže do 29. avgust 2026.: ukupno 22 izdanja, sva sa linkovima ka zvaničnim fajlovima. Poslednje ažuriranje objavljeno je pre manje od mesec dana.
Popularnost i tipovi fajlova
Izvorni kod na GitHubu (symbolicsoft/verifpal) ima 135 zvezdica. Slični programi: Cryptomator, GNU Privacy Guard i Keybase.
Opis projekta na GitHubu: “Cryptographic protocol analysis for real-world protocols.”
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svako ga može pregledati i sam kompajlirati
- Portabl verzija: radi bez instalacije
- Ažuriran u poslednja dva meseca
Nedostaci
- Nema izvorne ARM64 verzije
Ukratko: Verifpal je program za Windows otvorenog koda (kategorija „Šifrovanje“), dostupan za 64-bit.
Da li je preuzimanje programa Verifpal bezbedno?
- Fajl se preuzima sa domena izdavača (github.com)
- Link za preuzimanje koristi HTTPS
- Objavljen je SHA256 heš, pa se fajl može proveriti:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Otvori VirusTotal izveštaj za ovaj heš - Link još nije proveren
- Izvorni kod je javan
- ExeAtlas ne čuva, ne pakuje u omotače i ne menja instalacione fajlove
Povezano uputstvo: Kako proveriti SHA256 heš fajla na Windowsu
Najnovije verzije
Sve verzije (22) ›| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 1.6.6Najnovija | 11. oktobar 2026. | — | 64-bit ZIP |
| 1.6.4 | 7. oktobar 2026. | — | 64-bit ZIP |
| 1.6.3 | 28. septembar 2026. | — | 64-bit ZIP |
| 1.6.0 | 23. septembar 2026. | — | 64-bit ZIP |
| 1.5.1 | 21. septembar 2026. | — | 64-bit ZIP |
| 1.5.0 | 20. septembar 2026. | — | 64-bit ZIP |
| 1.4.12 | 17. septembar 2026. | — | 64-bit ZIP |
| 1.4.11 | 16. septembar 2026. | — | 64-bit ZIP |
Instalacija iz komandne linije
Tiha instalacija ›winget install --id SymbolicSoftware.Verifpal -ePovezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Izdavač
- Symbolic Software
- Kategorija
- Šifrovanje
- Licenca
- GPL-3.0-only
- Cena
- Besplatno
- Izvorni kod
- github.com/symbolicsoft/verifpal
- Programski jezik
- Rust
- Zahtevi
- Windows 11 / 10
- Arhitektura
- 64-bit
- Instalacioni fajl
- Portabl verzija
- Verzija
- 1.6.6
- Objavljeno
- 11. oktobar 2026.
- Dodato u katalog
- 26. septembar 2026.
- Broj verzija
- 22
- Zvezdice na GitHubu
- 135
- Forkovi na GitHubu
- 16
- Veb-sajt
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Alternative za program Verifpal
Prikaži sve ›-
Otvoreni kod166,2 hilj. ↓ -
Otvoreni kod186,1 hilj. ↓ -
Otvoreni kod36,6 hilj. ↓ -
Otvoreni kod78,8 hilj. ↓ -
Otvoreni kod31,8 hilj. ↓ -
Otvoreni kod19,2 hilj. ↓ -
Otvoreni kod15,6 hilj. ↓ -
Otvoreni kod9,4 hilj. ↓
Česta pitanja
Da li je program Verifpal besplatan?
Da. Verifpal je program otvorenog koda (licenca GPL-3.0-only) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa Verifpal bezbedno?
Fajl se preuzima sa domena github.com, koji pripada izdavaču; ExeAtlas fajl ne čuva i ne menja. Uporedite SHA256 heš preuzetog fajla sa onim na ovoj stranici ili otvorite VirusTotal izveštaj za taj heš.
Kako instalirati Verifpal preko wingeta?
Otvorite PowerShell ili Windows Terminal i pokrenite winget komandu sa ove stranice. winget preuzima zvanični instalacioni fajl i pre pokretanja proverava njegov SHA256 heš.
Da li Verifpal radi na ARM procesorima (Windows on Arm)?
ARM64 verzija ne postoji; Windows 11 on Arm može da pokrene verziju 64-bit putem emulacije.
Gde preuzeti starije verzije programa Verifpal?
Na stranici sa verzijama nalaze se linkovi ka zvaničnim instalacionim fajlovima svih verzija (22), počev od 29. avgust 2026.
Može li se program Verifpal koristiti bez administratorskih prava?
Da, to je portabl verzija: dovoljno je raspakovati arhivu i pokrenuti program.
Koje su alternative za program Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd i KopiaUI. Poređenje se nalazi na stranici sa alternativama.
