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.
A kiadó leírása (angol)
Mi a Verifpal?
A Verifpal programot a Symbolic Software adja ki. Nyílt forráskódú szoftver Windowsra, a „Titkosítás” kategóriában. A katalógus „Titkosítás” kategóriájában népszerűség szerint a 47. helyen áll. Programozási nyelv: Rust.
Telepítés és rendszerigény
A kiadó Hordozható telepítőt kínál 64 bites Windowsra. Telepítés nélkül is futtatható (hordozható változat).
Frissítések és verzióelőzmények
A legújabb verzió: 1.6.6 (megjelenés: 2026. október 11.). A verzióelőzmények kezdete: 2026. augusztus 29. Összesen 22 kiadás, mind a hivatalos fájlokra hivatkozik. A legutóbbi frissítés egy hónapnál frissebb.
Népszerűség és fájltípusok
A GitHubon található forráskód (symbolicsoft/verifpal) 135 csillagot kapott. Hasonló programok: Cryptomator, GNU Privacy Guard és Keybase.
A projekt leírása a GitHubon: “Cryptographic protocol analysis for real-world protocols.”
Előnyök / Hátrányok
Előnyök
- Nyílt forráskód: bárki átnézheti és lefordíthatja
- Hordozható: telepítés nélkül fut
- Az elmúlt két hónapban frissült
Hátrányok
- Nincs natív ARM64-változat
Összegzés: Verifpal: nyílt forráskódú program a „Titkosítás” kategóriából, 64 bites gépekre.
Biztonságos a Verifpal letöltése?
- A fájlt a github.com szolgálja ki, amely a kiadó saját domainje
- A letöltési hivatkozás HTTPS-t használ
- SHA256 ellenőrzőösszeg elérhető, így a fájl ellenőrizhető:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· A VirusTotal-jelentés megnyitása ehhez az ellenőrzőösszeghez - A hivatkozást még nem ellenőriztük
- A forráskód nyilvános
- Az ExeAtlas nem tárol, nem csomagol be és nem módosít telepítőket
Kapcsolódó útmutató: Fájl SHA256 kivonatának ellenőrzése Windowson
Legutóbbi verziók
Mind a 22 verzió ›| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 1.6.6Legújabb | 2026. október 11. | — | 64 bites ZIP |
| 1.6.4 | 2026. október 7. | — | 64 bites ZIP |
| 1.6.3 | 2026. szeptember 28. | — | 64 bites ZIP |
| 1.6.0 | 2026. szeptember 23. | — | 64 bites ZIP |
| 1.5.1 | 2026. szeptember 21. | — | 64 bites ZIP |
| 1.5.0 | 2026. szeptember 20. | — | 64 bites ZIP |
| 1.4.12 | 2026. szeptember 17. | — | 64 bites ZIP |
| 1.4.11 | 2026. szeptember 16. | — | 64 bites ZIP |
Telepítés parancssorból
Csendes telepítés ›winget install --id SymbolicSoftware.Verifpal -eKapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Információk
- Kiadó
- Symbolic Software
- Kategória
- Titkosítás
- Licenc
- GPL-3.0-only
- Ár
- Ingyenes
- Forráskód
- github.com/symbolicsoft/verifpal
- Programozási nyelv
- Rust
- Rendszerigény
- Windows 11 / 10
- Architektúra
- 64 bites
- Telepítő
- Hordozható
- Verzió
- 1.6.6
- Megjelenés
- 2026. október 11.
- Katalógusba került
- 2026. szeptember 26.
- Listázott verziók
- 22
- GitHub-csillagok
- 135
- GitHub-forkok
- 16
- Weboldal
- verifpal.com
- winget-azonosító
- SymbolicSoftware.Verifpal
Értékelések és vélemények
Még nincs vélemény. Az első értékelés lehet az Öné.
Verifpal – alternatívák
Összes ›-
Nyílt forráskódú166,2 E ↓ -
Nyílt forráskódú186,1 E ↓ -
Nyílt forráskódú36,6 E ↓ -
Nyílt forráskódú78,8 E ↓ -
Nyílt forráskódú31,8 E ↓ -
Nyílt forráskódú19,2 E ↓ -
Nyílt forráskódú15,6 E ↓ -
Nyílt forráskódú9,4 E ↓
Gyakori kérdések
Ingyenes a Verifpal program?
Igen. A Verifpal program nyílt forráskódú szoftver (licenc: GPL-3.0-only), ingyenesen letölthető és használható.
Biztonságos a Verifpal letöltése?
A fájl a github.com szerveréről érkezik, amely a kiadóé; az ExeAtlas nem tárolja és nem módosítja. A letöltött fájl SHA256 ellenőrzőösszege összevethető az itt látható értékkel, és megnyitható hozzá a VirusTotal-jelentés is.
Hogyan telepíthető a Verifpal program wingettel?
Nyissa meg a PowerShellt vagy a Windows Terminált, és futtassa az ezen az oldalon látható winget parancsot. A winget letölti a hivatalos telepítőt, és futtatás előtt ellenőrzi az SHA256 ellenőrzőösszegét.
Fut a Verifpal program ARM processzoron (Windows on Arm)?
Nincs ARM64-változat; a Windows 11 on Arm emulációval futtathatja a következő változatot: 64 bites.
Honnan tölthető le a Verifpal régebbi verziója?
A verziók oldalán mind a 22 verzió megtalálható a hivatalos telepítőfájlokra mutató hivatkozással (a legrégebbi megjelenése: 2026. augusztus 29.).
Használható a Verifpal program rendszergazdai jog nélkül?
Igen, hordozható: elég kicsomagolni és elindítani.
Milyen alternatívák vannak a Verifpal helyett?
Cryptomator, GNU Privacy Guard, Keybase, i2pd és KopiaUI. Az alternatívák oldala össze is hasonlítja őket.
