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.
Lýsing útgefanda (enska)
Hvað er Verifpal?
Útgefandi forritsins Verifpal er Symbolic Software. Það er opinn hugbúnaður fyrir Windows og tilheyrir flokknum Dulkóðun. Í flokknum Dulkóðun er það númer 47 að vinsældum í þessari skrá. Forritunarmál: Rust.
Uppsetning og kröfur
Útgefandinn býður uppsetningarforrit (Ferðaútgáfa) fyrir 64 bita útgáfur af Windows. Það keyrir án uppsetningar (ferðaútgáfa).
Uppfærslur og útgáfusaga
Nýjasta útgáfan er 1.6.6, gefin út 11. október 2026. Útgáfusagan nær aftur til 29. ágúst 2026: 22 útgáfur, allar tengdar opinberu skránum. Síðasta uppfærsla er innan við mánaðar gömul.
Vinsældir og skráargerðir
Grunnkóðinn á GitHub (symbolicsoft/verifpal) hefur fengið 135 stjörnur. Sambærileg forrit eru meðal annars Cryptomator, GNU Privacy Guard og Keybase.
Lýsing verkefnisins á GitHub: “Cryptographic protocol analysis for real-world protocols.”
Kostir / Gallar
Kostir
- Opinn hugbúnaður: hver sem er getur skoðað kóðann og byggt hann
- Ferðaútgáfa: keyrir án uppsetningar
- Uppfært síðustu tvo mánuði
Gallar
- Engin sérstök ARM64-útgáfa
Í stuttu máli: Forritið Verifpal er opinn hugbúnaður í flokknum Dulkóðun fyrir Windows (64 bita).
Er óhætt að sækja forritið Verifpal?
- Skráin kemur frá github.com, léni útgefandans sjálfs
- Niðurhalstengillinn notar HTTPS
- SHA256-gildi er birt, svo hægt er að sannreyna skrána:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Opna skýrslu VirusTotal fyrir þetta gildi - Tengillinn hefur ekki verið prófaður enn
- Grunnkóðinn er opinn
- ExeAtlas hýsir hvorki, pakkar inn né breytir uppsetningarforritum
Tengdar leiðbeiningar: Hvernig á að athuga SHA256-gildi skráar í Windows
Nýlegar útgáfur
Allar 22 útgáfurnar ›| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 1.6.6Nýjast | 11. október 2026 | — | 64 bita ZIP |
| 1.6.4 | 7. október 2026 | — | 64 bita ZIP |
| 1.6.3 | 28. september 2026 | — | 64 bita ZIP |
| 1.6.0 | 23. september 2026 | — | 64 bita ZIP |
| 1.5.1 | 21. september 2026 | — | 64 bita ZIP |
| 1.5.0 | 20. september 2026 | — | 64 bita ZIP |
| 1.4.12 | 17. september 2026 | — | 64 bita ZIP |
| 1.4.11 | 16. september 2026 | — | 64 bita ZIP |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›winget install --id SymbolicSoftware.Verifpal -eTengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Upplýsingar
- Útgefandi
- Symbolic Software
- Flokkur
- Dulkóðun
- Leyfi
- GPL-3.0-only
- Verð
- Ókeypis
- Grunnkóði
- github.com/symbolicsoft/verifpal
- Forritunarmál
- Rust
- Kröfur
- Windows 11 / 10
- Högun
- 64 bita
- Uppsetningarforrit
- Ferðaútgáfa
- Útgáfa
- 1.6.6
- Gefið út
- 11. október 2026
- Bætt í skrána
- 26. september 2026
- Skráðar útgáfur
- 22
- Stjörnur á GitHub
- 135
- Kvíslar á GitHub
- 16
- Vefsíða
- verifpal.com
- winget-auðkenni
- SymbolicSoftware.Verifpal
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Valkostir í stað forritsins Verifpal
Sjá allt ›-
Opinn hugbúnaður166,2 þ. ↓ -
Opinn hugbúnaður186,1 þ. ↓ -
Opinn hugbúnaður36,6 þ. ↓ -
Opinn hugbúnaður78,8 þ. ↓ -
Opinn hugbúnaður31,8 þ. ↓ -
Opinn hugbúnaður19,2 þ. ↓ -
Opinn hugbúnaður15,6 þ. ↓ -
Opinn hugbúnaður9,4 þ. ↓
Algengar spurningar
Er Verifpal ókeypis?
Já. Forritið Verifpal er opinn hugbúnaður með leyfinu GPL-3.0-only.
Er óhætt að sækja forritið Verifpal?
Niðurhalið kemur frá github.com, sem er í eigu útgefandans; ExeAtlas hýsir hvorki né breytir skránni. Berið SHA256-gildi hennar saman við gildið sem hér er sýnt, eða opnið skýrslu VirusTotal fyrir það gildi.
Hvernig er Verifpal sett upp með winget?
Opnið PowerShell eða Windows Terminal og keyrið winget-skipunina á þessari síðu. winget sækir opinbera uppsetningarforritið og athugar SHA256-gildi þess áður en það er keyrt.
Keyrir Verifpal á ARM (Windows on Arm)?
Engin ARM64-útgáfa er til; Windows 11 on Arm getur keyrt 64 bita útgáfuna með hermun.
Hvar er hægt að sækja eldri útgáfu af forritinu Verifpal?
Útgáfusíðan sýnir allar 22 útgáfurnar með tenglum á opinberar uppsetningarskrár þeirra, aftur til 29. ágúst 2026.
Er hægt að nota Verifpal án stjórnandaréttinda?
Já, það er ferðaútgáfa: afþjappið og keyrið.
Hvaða forrit koma í stað forritsins Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd og KopiaUI. Síðan um valkosti ber þau saman.
