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.
Julkaisijan kuvaus (englanti)
Mikä on Verifpal?
Verifpal on avoimen lähdekoodin ohjelmisto Windowsille (kategoria: Salaus). Julkaisija: Symbolic Software. Kategoriassa Salaus se on suosiossa sijalla 47. Ohjelmointikieli: Rust.
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: 64-bittinen; tiedostomuodot: Portable. Ohjelma toimii ilman asennusta (portable).
Päivitykset ja versiohistoria
Uusin versio on 1.6.6, julkaistu 11. lokakuuta 2026. Versiohistoriassa on 22 julkaisua, vanhin 29. elokuuta 2026; kaikki linkittävät virallisiin tiedostoihin. Viimeisin päivitys on alle kuukauden vanha.
Suosio ja tiedostotyypit
Lähdekoodilla GitHubissa (symbolicsoft/verifpal) on 135 tähteä. Samankaltaisia ohjelmia ovat esimerkiksi Cryptomator, GNU Privacy Guard ja Keybase.
Projektin kuvaus GitHubissa: “Cryptographic protocol analysis for real-world protocols.”
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Portable: toimii ilman asennusta
- Päivitetty kahden viime kuukauden aikana
Miinukset
- Ei natiivia ARM64-versiota
Lyhyesti: Verifpal on avoimen lähdekoodin työkalu kategoriasta Salaus (64-bittinen).
Onko Verifpal-ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com, joka on julkaisijan oma verkkotunnus
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Avaa tämän tiivisteen VirusTotal-raportti - Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Viimeisimmät versiot
Kaikki versiot (22) ›| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 1.6.6Uusin | 11. lokakuuta 2026 | — | 64-bittinen ZIP |
| 1.6.4 | 7. lokakuuta 2026 | — | 64-bittinen ZIP |
| 1.6.3 | 28. syyskuuta 2026 | — | 64-bittinen ZIP |
| 1.6.0 | 23. syyskuuta 2026 | — | 64-bittinen ZIP |
| 1.5.1 | 21. syyskuuta 2026 | — | 64-bittinen ZIP |
| 1.5.0 | 20. syyskuuta 2026 | — | 64-bittinen ZIP |
| 1.4.12 | 17. syyskuuta 2026 | — | 64-bittinen ZIP |
| 1.4.11 | 16. syyskuuta 2026 | — | 64-bittinen ZIP |
Asennus komentoriviltä
Hiljainen asennus ›winget install --id SymbolicSoftware.Verifpal -eAiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Tiedot
- Julkaisija
- Symbolic Software
- Kategoria
- Salaus
- Lisenssi
- GPL-3.0-only
- Hinta
- Ilmainen
- Lähdekoodi
- github.com/symbolicsoft/verifpal
- Ohjelmointikieli
- Rust
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen
- Asennusohjelma
- Portable
- Versio
- 1.6.6
- Julkaistu
- 11. lokakuuta 2026
- Lisätty luetteloon
- 26. syyskuuta 2026
- Versioita luettelossa
- 22
- GitHub-tähdet
- 135
- GitHub-haarat
- 16
- Verkkosivusto
- verifpal.com
- winget-tunnus
- SymbolicSoftware.Verifpal
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Vaihtoehtoja Verifpal-ohjelmalle
Näytä kaikki ›-
Avoin lähdekoodi166,2 t. ↓ -
Avoin lähdekoodi186,1 t. ↓ -
Avoin lähdekoodi36,6 t. ↓ -
Avoin lähdekoodi78,8 t. ↓ -
Avoin lähdekoodi31,8 t. ↓ -
Avoin lähdekoodi19,2 t. ↓ -
Avoin lähdekoodi15,6 t. ↓ -
Avoin lähdekoodi9,4 t. ↓
Usein kysytyt kysymykset
Onko Verifpal ilmainen?
Kyllä. Verifpal on avoimen lähdekoodin ohjelmisto, lisenssi GPL-3.0-only.
Onko Verifpal-ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com, joka kuuluu julkaisijalle; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Miten Verifpal asennetaan wingetillä?
Avaa PowerShell tai Windows Terminal ja suorita tällä sivulla näkyvä winget-komento. winget lataa virallisen asennusohjelman ja tarkistaa sen SHA256-tiivisteen ennen suorittamista.
Toimiiko Verifpal ARM-koneissa (Windows on Arm)?
ARM64-versiota ei ole; Windows 11 on Arm voi ajaa saatavilla olevan version (64-bittinen) emuloituna.
Mistä voi ladata Verifpal-ohjelman vanhemman version?
Versiosivulla ovat kaikki 22 versiota 29. elokuuta 2026 alkaen linkkeineen virallisiin asennustiedostoihin.
Voiko Verifpal-ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, ohjelma on portable: pura ja käynnistä.
Mitä vaihtoehtoja Verifpal-ohjelmalle on?
Cryptomator, GNU Privacy Guard, Keybase, i2pd ja KopiaUI. Vaihtoehtosivu vertailee niitä.
