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.
Descripció del desenvolupador (anglès)
Què és Verifpal?
Publicat per Symbolic Software, Verifpal és programari de codi obert per a Windows inclòs a la categoria Xifratge. En aquest catàleg ocupa la posició 47 per popularitat dins de la categoria Xifratge. Està escrit en Rust.
Instal·lació i requisits
El desenvolupador ofereix instal·ladors Portable per a Windows de 64 bits. Funciona sense instal·lació (versió portable).
Actualitzacions i historial de versions
La versió actual és la 1.6.6, publicada el 11 d’octubre del 2026. L’historial arriba fins a 29 d’agost del 2026 i reuneix 22 versions, totes enllaçades als fitxers oficials. La darrera actualització té menys d’un mes.
Popularitat i tipus de fitxer
El codi font a GitHub (symbolicsoft/verifpal) té 135 estrelles. Entre els programes semblants hi ha Cryptomator, GNU Privacy Guard i Keybase.
Descripció del projecte a GitHub: “Cryptographic protocol analysis for real-world protocols.”
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Portable: funciona sense instal·lar-lo
- Actualitzat en els darrers dos mesos
Inconvenients
- Sense versió nativa per a ARM64
En resum: Verifpal és un programa de codi obert de la categoria Xifratge, disponible per a ordinadors de 64 bits.
És segur baixar Verifpal?
- El fitxer se serveix des de github.com, el domini del mateix desenvolupador
- L’enllaç de baixada fa servir HTTPS
- Hi ha un hash SHA256 publicat per verificar el fitxer:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Obre l’informe de VirusTotal d’aquest hash - L’enllaç encara no s’ha comprovat
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Versions recents
Les 22 versions ›| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 1.6.6Darrera | 11 d’octubre del 2026 | — | 64 bits ZIP |
| 1.6.4 | 7 d’octubre del 2026 | — | 64 bits ZIP |
| 1.6.3 | 28 de setembre del 2026 | — | 64 bits ZIP |
| 1.6.0 | 23 de setembre del 2026 | — | 64 bits ZIP |
| 1.5.1 | 21 de setembre del 2026 | — | 64 bits ZIP |
| 1.5.0 | 20 de setembre del 2026 | — | 64 bits ZIP |
| 1.4.12 | 17 de setembre del 2026 | — | 64 bits ZIP |
| 1.4.11 | 16 de setembre del 2026 | — | 64 bits ZIP |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›winget install --id SymbolicSoftware.Verifpal -eGuia relacionada: Com utilitzar winget: instal·lar i actualitzar
Informació
- Desenvolupador
- Symbolic Software
- Categoria
- Xifratge
- Llicència
- GPL-3.0-only
- Preu
- Gratuït
- Codi font
- github.com/symbolicsoft/verifpal
- Llenguatge
- Rust
- Requisits
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instal·lador
- Portable
- Versió
- 1.6.6
- Data de publicació
- 11 d’octubre del 2026
- Afegit al catàleg
- 26 de setembre del 2026
- Versions registrades
- 22
- Estrelles a GitHub
- 135
- Bifurcacions a GitHub
- 16
- Lloc web
- verifpal.com
- ID de winget
- SymbolicSoftware.Verifpal
Valoracions i opinions
Encara no hi ha cap opinió.
Alternatives a Verifpal
Mostra-ho tot ›-
Codi obert166,2 k ↓ -
Codi obert186,1 k ↓ -
Codi obert36,6 k ↓ -
Codi obert78,8 k ↓ -
Codi obert31,8 k ↓ -
Codi obert19,2 k ↓ -
Codi obert15,6 k ↓ -
Codi obert9,4 k ↓
Preguntes freqüents
Verifpal és gratuït?
Sí. Verifpal és programari de codi obert amb llicència GPL-3.0-only.
És segur baixar Verifpal?
La baixada prové de github.com, un domini del mateix desenvolupador. ExeAtlas no allotja ni modifica el fitxer. Se’n pot comparar el hash SHA256 amb el que apareix aquí o obrir l’informe de VirusTotal d’aquest hash.
Com s’instal·la Verifpal amb winget?
Només cal obrir PowerShell o el Terminal del Windows i executar l’ordre winget que figura en aquesta pàgina. winget baixa l’instal·lador oficial i en comprova el hash SHA256 abans d’executar-lo.
Verifpal funciona en ARM (Windows on Arm)?
No hi ha versió per a ARM64; Windows 11 on Arm pot executar la versió de 64 bits per emulació.
On es poden baixar versions anteriors de Verifpal?
La pàgina de versions recull les 22 versions amb enllaços als instal·ladors oficials, des de 29 d’agost del 2026.
Es pot fer servir Verifpal sense permisos d’administrador?
Sí, és portable: només cal descomprimir-lo i executar-lo.
Quines alternatives hi ha a Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd i KopiaUI. La pàgina d’alternatives els compara.
