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.
Beskrywing deur die uitgewer (Engels)
Wat is Verifpal?
Verifpal van Symbolic Software is Windows-sagteware met oop bronkode (kategorie: Enkripsie). In die kategorie Enkripsie staan dit in hierdie katalogus op plek 47 volgens gewildheid. Programmeertaal: Rust.
Installasie en vereistes
Die uitgewer verskaf installeerders vir 64-bis Windows (Draagbaar). Dit werk sonder installasie (draagbaar).
Bywerkings en weergawegeskiedenis
Die nuutste weergawe is 1.6.6, vrygestel op 11 Oktober 2026. Die weergawegeskiedenis strek terug tot 29 Augustus 2026: 22 vrystellings, almal gekoppel aan die amptelike lêers. Die laaste bywerking is minder as ’n maand oud.
Gewildheid en lêertipes
Die bronkode op GitHub (symbolicsoft/verifpal) het 135 sterre. Soortgelyke programme sluit Cryptomator, GNU Privacy Guard en Keybase in.
Projekbeskrywing op GitHub: “Cryptographic protocol analysis for real-world protocols.”
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Draagbaar: werk sonder installasie
- In die afgelope twee maande bygewerk
Nadele
- Geen inheemse ARM64-weergawe nie
Kortliks: Verifpal is ’n oopbronprogram in die kategorie Enkripsie vir 64-bis rekenaars.
Is dit veilig om Verifpal af te laai?
- Die lêer word bedien deur github.com, die uitgewer se eie domein
- Die aflaaiskakel gebruik HTTPS
- ’n SHA256-hashwaarde is gepubliseer, sodat die lêer nagegaan kan word:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Maak die VirusTotal-verslag vir hierdie hashwaarde oop - Die skakel is nog nie nagegaan nie
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Onlangse weergawes
Al 22 weergawes ›| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 1.6.6Nuutste | 11 Oktober 2026 | — | 64-bis ZIP |
| 1.6.4 | 07 Oktober 2026 | — | 64-bis ZIP |
| 1.6.3 | 28 September 2026 | — | 64-bis ZIP |
| 1.6.0 | 23 September 2026 | — | 64-bis ZIP |
| 1.5.1 | 21 September 2026 | — | 64-bis ZIP |
| 1.5.0 | 20 September 2026 | — | 64-bis ZIP |
| 1.4.12 | 17 September 2026 | — | 64-bis ZIP |
| 1.4.11 | 16 September 2026 | — | 64-bis ZIP |
Installeer vanaf die opdragreël
Stil installasie ›winget install --id SymbolicSoftware.Verifpal -eVerwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Inligting
- Uitgewer
- Symbolic Software
- Kategorie
- Enkripsie
- Lisensie
- GPL-3.0-only
- Prys
- Gratis
- Bronkode
- github.com/symbolicsoft/verifpal
- Geskryf in
- Rust
- Vereis
- Windows 11 / 10
- Argitektuur
- 64-bis
- Installeerder
- Draagbaar
- Weergawe
- 1.6.6
- Vrygestel
- 11 Oktober 2026
- By die katalogus gevoeg
- 26 September 2026
- Weergawes gelys
- 22
- GitHub-sterre
- 135
- GitHub-vurke
- 16
- Webwerf
- verifpal.com
- winget-ID
- SymbolicSoftware.Verifpal
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Alternatiewe vir Verifpal
Sien alles ›-
Oopbron166,2 k ↓ -
Oopbron186,1 k ↓ -
Oopbron36,6 k ↓ -
Oopbron78,8 k ↓ -
Oopbron31,8 k ↓ -
Oopbron19,2 k ↓ -
Oopbron15,6 k ↓ -
Oopbron9,4 k ↓
Algemene vrae
Is Verifpal gratis?
Ja. Verifpal is oopbronsagteware onder die GPL-3.0-only-lisensie.
Is dit veilig om Verifpal af te laai?
Die aflaai kom van github.com, wat aan die uitgewer behoort; ExeAtlas huisves of verander nie die lêer nie. Vergelyk die SHA256-hashwaarde daarvan met die een wat hier gewys word, of maak die VirusTotal-verslag vir daardie hashwaarde oop.
Hoe installeer ek Verifpal met winget?
Maak PowerShell of Windows Terminal oop en voer die winget-opdrag op hierdie bladsy uit. winget laai die amptelike installeerder af en gaan die SHA256-hashwaarde na voordat dit uitgevoer word.
Werk Verifpal op ARM (Windows on Arm)?
Daar is geen ARM64-weergawe nie; Windows 11 on Arm kan die 64-bis-weergawe via emulasie laat loop.
Waar kan ek ’n ouer weergawe van Verifpal aflaai?
Die weergawebladsy lys al 22 weergawes met skakels na hul amptelike installeerlêers, terug tot 29 Augustus 2026.
Kan Verifpal sonder administrateurregte gebruik word?
Ja, dit is draagbaar: pak dit uit en laat dit loop.
Wat is alternatiewe vir Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd en KopiaUI. Die bladsy met alternatiewe vergelyk hulle.
