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. Іх параўнанне — на старонцы аналагаў.
