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.
Maelezo ya mchapishaji (Kiingereza)
Verifpal ni nini?
Programu Verifpal inachapishwa na Symbolic Software. Ni programu ya chanzo huria ya Windows iliyo katika kundi la “Usimbaji fiche”. Kwa umaarufu, inashika nafasi ya 47 kati ya programu za “Usimbaji fiche” kwenye orodha hii. Imeandikwa kwa Rust.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya Portable kwa Windows ya 64-bit. Inafanya kazi bila kusakinishwa (portable).
Masasisho na historia ya matoleo
Toleo la sasa ni 1.6.6, lililotolewa 11 Oktoba 2026. Historia ya matoleo inarudi nyuma hadi 29 Agosti 2026: matoleo 22, yote yakiwa na viungo vya faili rasmi. Sasisho la mwisho lina umri wa chini ya mwezi mmoja.
Umaarufu na aina za faili
Msimbo chanzo kwenye GitHub (symbolicsoft/verifpal) una nyota 135. Programu zinazofanana ni pamoja na Cryptomator, GNU Privacy Guard na Keybase.
Maelezo ya mradi kwenye GitHub: “Cryptographic protocol analysis for real-world protocols.”
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Portable: inafanya kazi bila kusakinishwa
- Imesasishwa ndani ya miezi miwili iliyopita
Hasara
- Hakuna toleo asili la ARM64
Kwa ufupi: Verifpal ni zana ya chanzo huria ya kundi la “Usimbaji fiche” kwa kompyuta za 64-bit.
Je, ni salama kupakua Verifpal?
- Faili inatolewa na github.com, kikoa cha mchapishaji mwenyewe
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Matoleo ya karibuni
Matoleo yote 22 ›| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 1.6.6Jipya zaidi | 11 Oktoba 2026 | — | 64-bit ZIP |
| 1.6.4 | 7 Oktoba 2026 | — | 64-bit ZIP |
| 1.6.3 | 28 Septemba 2026 | — | 64-bit ZIP |
| 1.6.0 | 23 Septemba 2026 | — | 64-bit ZIP |
| 1.5.1 | 21 Septemba 2026 | — | 64-bit ZIP |
| 1.5.0 | 20 Septemba 2026 | — | 64-bit ZIP |
| 1.4.12 | 17 Septemba 2026 | — | 64-bit ZIP |
| 1.4.11 | 16 Septemba 2026 | — | 64-bit ZIP |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›winget install --id SymbolicSoftware.Verifpal -eMwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Taarifa
- Mchapishaji
- Symbolic Software
- Kategoria
- Usimbaji fiche
- Leseni
- GPL-3.0-only
- Bei
- Bure
- Msimbo chanzo
- github.com/symbolicsoft/verifpal
- Imeandikwa kwa
- Rust
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit
- Kisakinishi
- Portable
- Toleo
- 1.6.6
- Ilitolewa
- 11 Oktoba 2026
- Iliongezwa kwenye orodha
- 26 Septemba 2026
- Matoleo yaliyoorodheshwa
- 22
- Nyota za GitHub
- 135
- Forks za GitHub
- 16
- Tovuti
- verifpal.com
- Kitambulisho cha winget
- SymbolicSoftware.Verifpal
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Mbadala wa Verifpal
Ona zote ›-
Chanzo huriaelfu 166.2 ↓ -
Chanzo huriaelfu 186.1 ↓ -
Chanzo huriaelfu 36.6 ↓ -
Chanzo huriaelfu 78.8 ↓ -
Chanzo huriaelfu 31.8 ↓ -
Chanzo huriaelfu 19.2 ↓ -
Chanzo huriaelfu 15.6 ↓ -
Chanzo huriaelfu 9.4 ↓
Maswali yanayoulizwa mara kwa mara
Je, Verifpal ni bure?
Ndiyo. Verifpal ni programu ya chanzo huria chini ya leseni ya GPL-3.0-only.
Je, ni salama kupakua Verifpal?
Faili inapakuliwa kutoka github.com, ambayo ni ya mchapishaji mwenyewe; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Jinsi ya kusakinisha Verifpal kwa winget?
Fungua PowerShell au Windows Terminal na uendeshe amri ya winget iliyoonyeshwa kwenye ukurasa huu. winget hupakua kisakinishi rasmi na kukagua hashi yake ya SHA256 kabla ya kukiendesha.
Je, Verifpal inafanya kazi kwenye ARM (Windows on Arm)?
Hakuna toleo la ARM64; Windows 11 on Arm inaweza kuendesha toleo la 64-bit kupitia uigaji (emulation).
Wapi pa kupakua toleo la zamani la Verifpal?
Ukurasa wa matoleo unaorodhesha matoleo 22 yote pamoja na viungo vya faili rasmi za kisakinishi, kuanzia 29 Agosti 2026.
Je, Verifpal inaweza kutumika bila haki za msimamizi?
Ndiyo, ni portable: fungua kumbukumbu (archive) na uiendeshe.
Ni programu gani mbadala wa Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd na KopiaUI. Ukurasa wa mbadala unazilinganisha.
