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.
Descrição do desenvolvedor (inglês)
O que é Verifpal?
Publicado por Symbolic Software, Verifpal é um software de código aberto para Windows que aparece na categoria Criptografia. Neste catálogo, está em 47º lugar em popularidade na categoria Criptografia. Foi escrito em Rust.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores Portátil para Windows 64 bits. Roda sem instalação (versão portátil).
Atualizações e histórico de versões
A versão atual é a 1.6.6, lançada em 11 de outubro de 2026. O histórico vai até 29 de agosto de 2026: 22 versões, todas com link para os arquivos oficiais. A última atualização tem menos de um mês.
Popularidade e tipos de arquivo
O código-fonte no GitHub (symbolicsoft/verifpal) tem 135 estrelas. Entre os programas parecidos estão Cryptomator, GNU Privacy Guard e Keybase.
Descrição do projeto no GitHub: “Cryptographic protocol analysis for real-world protocols.”
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Portátil: roda sem instalar
- Atualizado nos últimos dois meses
Pontos negativos
- Sem versão nativa ARM64
Em resumo: Verifpal é um programa de código aberto da categoria Criptografia, disponível para PCs 64 bits.
É seguro baixar Verifpal?
- O arquivo vem de github.com, o domínio do próprio desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Abrir o relatório do VirusTotal para este hash - O link ainda não foi verificado
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Versões recentes
Todas as 22 versões ›| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 1.6.6Atual | 11 de outubro de 2026 | — | 64 bits ZIP |
| 1.6.4 | 7 de outubro de 2026 | — | 64 bits ZIP |
| 1.6.3 | 28 de setembro de 2026 | — | 64 bits ZIP |
| 1.6.0 | 23 de setembro de 2026 | — | 64 bits ZIP |
| 1.5.1 | 21 de setembro de 2026 | — | 64 bits ZIP |
| 1.5.0 | 20 de setembro de 2026 | — | 64 bits ZIP |
| 1.4.12 | 17 de setembro de 2026 | — | 64 bits ZIP |
| 1.4.11 | 16 de setembro de 2026 | — | 64 bits ZIP |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id SymbolicSoftware.Verifpal -eGuia relacionado: Como usar o winget: instalar e atualizar programas
Informações
- Desenvolvedor
- Symbolic Software
- Categoria
- Criptografia
- Licença
- GPL-3.0-only
- Preço
- Grátis
- Código-fonte
- github.com/symbolicsoft/verifpal
- Linguagem
- Rust
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- Portátil
- Versão
- 1.6.6
- Lançamento
- 11 de outubro de 2026
- Adicionado ao catálogo
- 26 de setembro de 2026
- Versões registradas
- 22
- Estrelas no GitHub
- 135
- Forks no GitHub
- 16
- Site oficial
- verifpal.com
- ID do winget
- SymbolicSoftware.Verifpal
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Alternativas para Verifpal
Ver tudo ›-
Código aberto166,2 mil ↓ -
Código aberto186,1 mil ↓ -
Código aberto36,6 mil ↓ -
Código aberto78,8 mil ↓ -
Código aberto31,8 mil ↓ -
Código aberto19,2 mil ↓ -
Código aberto15,6 mil ↓ -
Código aberto9,4 mil ↓
Perguntas frequentes
Verifpal é grátis?
Sim. Verifpal é um software de código aberto com licença GPL-3.0-only.
É seguro baixar Verifpal?
O download vem de github.com, um domínio do próprio desenvolvedor. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.
Como instalar Verifpal pelo winget?
Abra o PowerShell ou o Terminal do Windows e rode o comando winget mostrado nesta página. O winget baixa o instalador oficial e confere o hash SHA256 antes de executá-lo.
Verifpal roda em ARM (Windows on Arm)?
Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 64 bits por emulação.
Onde baixar versões antigas de Verifpal?
A página de versões lista as 22 versões com links para os instaladores oficiais, desde 29 de agosto de 2026.
Dá para usar Verifpal sem permissão de administrador?
Sim, é portátil: basta extrair e executar.
Quais são as alternativas para Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd e KopiaUI. A página de alternativas faz a comparação.
