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.
Описание от разработчика (английский)
Что такое Verifpal?
Программу Verifpal выпускает Symbolic Software. Это ПО для Windows с открытым исходным кодом, категория «Шифрование». Место по популярности среди программ категории «Шифрование» в каталоге: 47. Язык программирования: Rust.
Установка и системные требования
Разработчик предлагает установщики Портативная для систем 64-бит. Программа работает без установки (портативная версия).
Обновления и история версий
Текущая версия — 1.6.6, вышла 11 октября 2026 г.. История версий начинается с 29 августа 2026 г.: всего 22 версии со ссылками на официальные файлы. Последнее обновление вышло меньше месяца назад.
Популярность и типы файлов
У исходного кода на GitHub (symbolicsoft/verifpal) 135 звёзд. Похожие программы: Cryptomator, GNU Privacy Guard и Keybase.
Описание проекта на GitHub: “Cryptographic protocol analysis for real-world protocols.”
Плюсы / Минусы
Плюсы
- Открытый исходный код: его можно проверить и собрать самостоятельно
- Портативная версия: работает без установки
- Последнее обновление — меньше двух месяцев назад
Минусы
- Нет нативной сборки ARM64
Коротко: Verifpal — программа для Windows с открытым исходным кодом (категория «Шифрование»); сборки: 64-бит.
Безопасно ли скачивать программу Verifpal?
- Файл загружается с домена разработчика (github.com)
- Ссылка для скачивания использует HTTPS
- Опубликован хеш SHA256 — файл можно проверить:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Открыть отчёт VirusTotal по этому хешу - Ссылка ещё не проверялась
- Исходный код открыт
- ExeAtlas не хранит, не оборачивает и не изменяет установщики
Инструкция по теме: Как проверить хеш SHA256 файла в Windows
Последние версии
Все версии (22) ›| Версия | Дата | Размер | Файлы |
|---|---|---|---|
| 1.6.6Последняя | 11 октября 2026 г. | — | 64-бит ZIP |
| 1.6.4 | 7 октября 2026 г. | — | 64-бит ZIP |
| 1.6.3 | 28 сентября 2026 г. | — | 64-бит ZIP |
| 1.6.0 | 23 сентября 2026 г. | — | 64-бит ZIP |
| 1.5.1 | 21 сентября 2026 г. | — | 64-бит ZIP |
| 1.5.0 | 20 сентября 2026 г. | — | 64-бит ZIP |
| 1.4.12 | 17 сентября 2026 г. | — | 64-бит ZIP |
| 1.4.11 | 16 сентября 2026 г. | — | 64-бит ZIP |
Установка из командной строки
Тихая установка ›winget install --id SymbolicSoftware.Verifpal -eИнструкция по теме: Как пользоваться winget: установка и обновление
Информация
- Разработчик
- Symbolic Software
- Категория
- Шифрование
- Лицензия
- GPL-3.0-only
- Цена
- Бесплатно
- Исходный код
- github.com/symbolicsoft/verifpal
- Язык программирования
- Rust
- Требования
- Windows 11 / 10
- Архитектура
- 64-бит
- Установщик
- Портативная
- Версия
- 1.6.6
- Дата выхода
- 11 октября 2026 г.
- Добавлено в каталог
- 26 сентября 2026 г.
- Версий в каталоге
- 22
- Звёзды GitHub
- 135
- Форки на GitHub
- 16
- Сайт
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Оценки и отзывы
Отзывов пока нет. Оценку можно оставить первым.
Аналоги программы Verifpal
Показать все ›-
Открытый исходный код166,2 тыс. ↓ -
Открытый исходный код186,1 тыс. ↓ -
Открытый исходный код36,6 тыс. ↓ -
Открытый исходный код78,8 тыс. ↓ -
Открытый исходный код31,8 тыс. ↓ -
Открытый исходный код19,2 тыс. ↓ -
Открытый исходный код15,6 тыс. ↓ -
Открытый исходный код9,4 тыс. ↓
Частые вопросы
Программа Verifpal бесплатная?
Да. Verifpal — программа с открытым исходным кодом (лицензия GPL-3.0-only); скачать и использовать её можно бесплатно.
Безопасно ли скачивать программу Verifpal?
Файл загружается с github.com — этот домен принадлежит разработчику; ExeAtlas не хранит и не изменяет файл. Сравните SHA256 скачанного файла с указанным на этой странице или откройте отчёт VirusTotal по этому хешу.
Как установить Verifpal через winget?
Откройте PowerShell или Терминал Windows и выполните команду winget с этой страницы. winget скачает официальный установщик и проверит его хеш SHA256 перед запуском.
Работает ли Verifpal на ARM (Windows on Arm)?
Сборки ARM64 нет; Windows 11 on Arm может запустить версию 64-бит через эмуляцию.
Где скачать старые версии программы Verifpal?
На странице версий собраны ссылки на официальные установщики всех версий (22), начиная с 29 августа 2026 г..
Можно ли пользоваться программой Verifpal без прав администратора?
Да, это портативная версия: достаточно распаковать архив и запустить программу.
Какие есть аналоги программы Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd и KopiaUI. Их сравнение — на странице аналогов.
