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.
Leidėjo aprašymas (anglų)
Kas yra Verifpal?
Programa Verifpal yra atvirojo kodo programinė įranga, skirta Windows (kategorija „Šifravimas“). Ją leidžia Symbolic Software. Pagal populiarumą ji užima 47-ą vietą šio katalogo kategorijoje „Šifravimas“. Programavimo kalba: Rust.
Diegimas ir sistemos reikalavimai
Leidėjas siūlo Nešiojamoji versija diegimo failus šioms architektūroms: 64 bitų. Programa veikia be diegimo (nešiojamoji versija).
Atnaujinimai ir versijų istorija
Naujausia versija – 1.6.7, išleista 2026 m. spalio 20 d. Versijų istorija siekia 2026 m. rugpjūčio 29 d.: iš viso 23 laidos, visos su nuorodomis į oficialius failus. Paskutinis atnaujinimas išleistas mažiau nei prieš mėnesį.
Populiarumas ir failų tipai
Pirminis kodas „GitHub“ (symbolicsoft/verifpal) turi 135 žvaigždutes. Panašios programos: Cryptomator, GNU Privacy Guard ir Keybase.
Projekto aprašymas „GitHub“: “Cryptographic protocol analysis for real-world protocols.”
Privalumai / Trūkumai
Privalumai
- Atvirasis kodas: bet kas gali jį peržiūrėti ir sukompiliuoti
- Nešiojamoji versija: veikia be diegimo
- Atnaujinta per pastaruosius du mėnesius
Trūkumai
- Nėra natūralios ARM64 versijos
Trumpai: Verifpal – atvirojo kodo programa, skirta Windows (kategorija „Šifravimas“), prieinama 64 bitų sistemoms.
Ar saugu atsisiųsti programą Verifpal?
- Failas atsisiunčiamas iš leidėjo domeno (github.com)
- Atsisiuntimo nuoroda naudoja HTTPS
- Paskelbta SHA256 maišos reikšmė, todėl failą galima patikrinti:
27B3383099C49B940E8A051DB23A9693DE3B15C7DFAC3689FF826A1FAE6D512D· Atidaryti šios maišos reikšmės VirusTotal ataskaitą - Nuoroda dar nepatikrinta
- Pirminis kodas viešas
- ExeAtlas diegimo failų nelaiko, neįpakuoja ir nekeičia
Susijusi instrukcija: Kaip patikrinti failo SHA256 maišos reikšmę Windows
Naujausios versijos
Visos versijos (23) ›| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 1.6.7Naujausia | 2026 m. spalio 20 d. | — | 64 bitų ZIP |
| 1.6.6 | 2026 m. spalio 11 d. | — | 64 bitų ZIP |
| 1.6.4 | 2026 m. spalio 7 d. | — | 64 bitų ZIP |
| 1.6.3 | 2026 m. rugsėjo 28 d. | — | 64 bitų ZIP |
| 1.6.0 | 2026 m. rugsėjo 23 d. | — | 64 bitų ZIP |
| 1.5.1 | 2026 m. rugsėjo 21 d. | — | 64 bitų ZIP |
| 1.5.0 | 2026 m. rugsėjo 20 d. | — | 64 bitų ZIP |
| 1.4.12 | 2026 m. rugsėjo 17 d. | — | 64 bitų ZIP |
Diegimas iš komandų eilutės
Tylusis diegimas ›winget install --id SymbolicSoftware.Verifpal -eSusijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Informacija
- Leidėjas
- Symbolic Software
- Kategorija
- Šifravimas
- Licencija
- GPL-3.0-only
- Kaina
- Nemokama
- Pirminis kodas
- github.com/symbolicsoft/verifpal
- Programavimo kalba
- Rust
- Reikalavimai
- Windows 11 / 10
- Architektūra
- 64 bitų
- Diegimo failas
- Nešiojamoji versija
- Versija
- 1.6.7
- Išleista
- 2026 m. spalio 20 d.
- Įtraukta į katalogą
- 2026 m. rugsėjo 26 d.
- Versijų skaičius
- 23
- Atsisiuntimai ExeAtlas
- 4
- Žvaigždutės „GitHub“
- 135
- Atšakos „GitHub“
- 16
- Svetainė
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Programos Verifpal alternatyvos
Rodyti viską ›-
Atvirasis kodas166,2 tūkst. ↓ -
Atvirasis kodas186,1 tūkst. ↓ -
Atvirasis kodas36,6 tūkst. ↓ -
Atvirasis kodas78,8 tūkst. ↓ -
Atvirasis kodas31,8 tūkst. ↓ -
Atvirasis kodas19,6 tūkst. ↓ -
Atvirasis kodas9,4 tūkst. ↓ -
Atvirasis kodas11,5 tūkst. ↓
Dažniausi klausimai
Ar programa Verifpal nemokama?
Taip. Verifpal – atvirojo kodo programa (licencija GPL-3.0-only), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą Verifpal?
Failas atsisiunčiamas iš domeno github.com, kuris priklauso leidėjui; ExeAtlas failo nelaiko ir nekeičia. Palyginkite atsisiųsto failo SHA256 maišos reikšmę su nurodyta šiame puslapyje arba atidarykite tos reikšmės VirusTotal ataskaitą.
Kaip įdiegti Verifpal su winget?
Atidarykite PowerShell arba Windows Terminal ir paleiskite šiame puslapyje pateiktą winget komandą. winget atsisiunčia oficialų diegimo failą ir prieš paleisdamas patikrina jo SHA256 maišos reikšmę.
Ar Verifpal veikia ARM procesoriuose (Windows on Arm)?
ARM64 versijos nėra; Windows 11 on Arm gali paleisti 64 bitų versiją emuliuodama.
Kur atsisiųsti senesnes programos Verifpal versijas?
Versijų puslapyje pateiktos nuorodos į visų versijų (23) oficialius diegimo failus, pradedant 2026 m. rugpjūčio 29 d.
Ar programą Verifpal galima naudoti be administratoriaus teisių?
Taip, tai nešiojamoji versija: pakanka išskleisti archyvą ir paleisti programą.
Kokios yra programos Verifpal alternatyvos?
Cryptomator, GNU Privacy Guard, Keybase, i2pd ir KopiaUI. Jos palygintos alternatyvų puslapyje.
