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.
Descrierea dezvoltatorului (engleză)
Ce este Verifpal?
Publicat de Symbolic Software, Verifpal este un software open source pentru Windows, încadrat în categoria Criptare. În acest catalog ocupă locul 47 ca popularitate în categoria Criptare. Este scris în Rust.
Instalare și cerințe
Dezvoltatorul oferă instalatoare Portabil pentru Windows pe 64 de biți. Funcționează fără instalare (versiune portabilă).
Actualizări și istoricul versiunilor
Versiunea actuală este 1.6.6, lansată pe 11 octombrie 2026. Istoricul merge înapoi până la 29 august 2026 și cuprinde 22 de versiuni, toate cu linkuri către fișierele oficiale. Ultima actualizare are mai puțin de o lună.
Popularitate și tipuri de fișiere
Codul sursă de pe GitHub (symbolicsoft/verifpal) are 135 de stele. Printre programele similare se numără Cryptomator, GNU Privacy Guard și Keybase.
Descrierea proiectului pe GitHub: “Cryptographic protocol analysis for real-world protocols.”
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Portabil: rulează fără instalare
- Actualizat în ultimele două luni
Dezavantaje
- Fără versiune nativă ARM64
Pe scurt: Verifpal este un program open source din categoria Criptare, disponibil pentru calculatoare cu 64 de biți.
Este sigur să descărcați Verifpal?
- Fișierul este livrat de github.com, domeniul dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Versiuni recente
Toate cele 22 de versiuni ›| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 1.6.6Cea mai nouă | 11 octombrie 2026 | — | 64 de biți ZIP |
| 1.6.4 | 7 octombrie 2026 | — | 64 de biți ZIP |
| 1.6.3 | 28 septembrie 2026 | — | 64 de biți ZIP |
| 1.6.0 | 23 septembrie 2026 | — | 64 de biți ZIP |
| 1.5.1 | 21 septembrie 2026 | — | 64 de biți ZIP |
| 1.5.0 | 20 septembrie 2026 | — | 64 de biți ZIP |
| 1.4.12 | 17 septembrie 2026 | — | 64 de biți ZIP |
| 1.4.11 | 16 septembrie 2026 | — | 64 de biți ZIP |
Instalare din linia de comandă
Instalare silențioasă ›winget install --id SymbolicSoftware.Verifpal -eGhid asociat: Cum se folosește winget: instalare și actualizare
Informații
- Dezvoltator
- Symbolic Software
- Categorie
- Criptare
- Licență
- GPL-3.0-only
- Preț
- Gratuit
- Cod sursă
- github.com/symbolicsoft/verifpal
- Limbaj de programare
- Rust
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți
- Instalator
- Portabil
- Versiune
- 1.6.6
- Data lansării
- 11 octombrie 2026
- Adăugat în catalog
- 26 septembrie 2026
- Versiuni listate
- 22
- Stele pe GitHub
- 135
- Fork-uri pe GitHub
- 16
- Site web
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Evaluări și recenzii
Nicio recenzie încă.
Alternative la Verifpal
Vezi tot ›-
Open source166,2 K ↓ -
Open source186,1 K ↓ -
Open source36,6 K ↓ -
Open source78,8 K ↓ -
Open source31,8 K ↓ -
Open source19,2 K ↓ -
Open source15,6 K ↓ -
Open source9,4 K ↓
Întrebări frecvente
Este Verifpal gratuit?
Da. Verifpal este un software open source cu licența GPL-3.0-only.
Este sigur să descărcați Verifpal?
Fișierul se descarcă de pe github.com, un domeniu care aparține dezvoltatorului. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Cum se instalează Verifpal cu winget?
Deschideți PowerShell sau Windows Terminal și rulați comanda winget afișată pe această pagină. winget descarcă instalatorul oficial și îi verifică hash-ul SHA256 înainte de a-l rula.
Funcționează Verifpal pe ARM (Windows on Arm)?
Nu există o versiune ARM64; Windows 11 on Arm poate rula versiunea pentru 64 de biți prin emulare.
De unde se descarcă o versiune mai veche a programului Verifpal?
Pagina de versiuni listează toate cele 22 de versiuni, cu linkuri către instalatoarele oficiale, începând din 29 august 2026.
Se poate folosi Verifpal fără drepturi de administrator?
Da, este portabil: se dezarhivează și se rulează.
Ce alternative există la Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd și KopiaUI. Pagina de alternative le compară.
