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.
Naşirin təsviri (ingilis)
Verifpal nədir?
Verifpal proqramı şifrələmə kateqoriyasına aid açıq mənbəli Windows proqram təminatıdır; naşiri: Symbolic Software. Kataloqdakı şifrələmə arasında populyarlığa görə 47-ci yerdədir. Proqramlaşdırma dili: Rust.
Quraşdırma və tələblər
Naşir 64 bit sistemlər üçün Portativ quraşdırma faylı verir. Quraşdırma olmadan işləyir (portativ).
Yeniləmələr və versiya tarixçəsi
Son versiya: 1.6.6, 11 oktyabr 2026 tarixində buraxılıb. Versiya tarixçəsi 29 avqust 2026 tarixinə qədər uzanır: 22 versiyanın hamısı rəsmi fayllara keçidlə verilir. Son yeniləmə bir aydan da yenidir.
Populyarlıq və fayl növləri
GitHub-dakı mənbə kodu (symbolicsoft/verifpal) 135 ulduz toplayıb. Oxşar proqramlar: Cryptomator, GNU Privacy Guard və Keybase.
GitHub-dakı layihə təsviri: “Cryptographic protocol analysis for real-world protocols.”
Üstünlüklər / Çatışmazlıqlar
Üstünlüklər
- Açıq mənbə: kodu hər kəs yoxlaya və yığa bilər
- Portativ: quraşdırma tələb etmir
- Son iki ayda yenilənib
Çatışmazlıqlar
- Yerli ARM64 versiyası yoxdur
Qısaca: Verifpal 64 bit kompüterlər üçün açıq mənbəli alətdir (şifrələmə).
Verifpal proqramını yükləmək təhlükəsizdirmi?
- Fayl naşirin öz domenindən (github.com) gəlir
- Yükləmə keçidi HTTPS istifadə edir
- SHA256 heşi dərc olunub, faylı yoxlaya bilərsiniz:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Bu heş üçün VirusTotal hesabatını açın - Keçid hələ yoxlanılmayıb
- Mənbə kodu açıqdır
- ExeAtlas quraşdırma fayllarını saxlamır, bükmür və dəyişmir
Əlaqəli təlimat: Windows-da faylın SHA256 heşini necə yoxlamaq olar
Son versiyalar
Bütün 22 versiya ›| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 1.6.6Son versiya | 11 oktyabr 2026 | — | 64 bit ZIP |
| 1.6.4 | 7 oktyabr 2026 | — | 64 bit ZIP |
| 1.6.3 | 28 sentyabr 2026 | — | 64 bit ZIP |
| 1.6.0 | 23 sentyabr 2026 | — | 64 bit ZIP |
| 1.5.1 | 21 sentyabr 2026 | — | 64 bit ZIP |
| 1.5.0 | 20 sentyabr 2026 | — | 64 bit ZIP |
| 1.4.12 | 17 sentyabr 2026 | — | 64 bit ZIP |
| 1.4.11 | 16 sentyabr 2026 | — | 64 bit ZIP |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›winget install --id SymbolicSoftware.Verifpal -eƏlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Məlumat
- Naşir
- Symbolic Software
- Kateqoriya
- Şifrələmə
- Lisenziya
- GPL-3.0-only
- Qiymət
- Pulsuz
- Mənbə kodu
- github.com/symbolicsoft/verifpal
- Proqramlaşdırma dili
- Rust
- Tələb
- Windows 11 / 10
- Arxitektura
- 64 bit
- Quraşdırma növü
- Portativ
- Versiya
- 1.6.6
- Buraxılış tarixi
- 11 oktyabr 2026
- Kataloqa əlavə olunub
- 26 sentyabr 2026
- Qeydə alınmış versiya
- 22
- GitHub ulduzu
- 135
- GitHub fork
- 16
- Rəsmi sayt
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
Verifpal alternativləri
Hamısına bax ›-
Açıq mənbə166,2K ↓ -
Açıq mənbə186,1K ↓ -
Açıq mənbə36,6K ↓ -
Açıq mənbə78,8K ↓ -
Açıq mənbə31,8K ↓ -
Açıq mənbə19,2K ↓ -
Açıq mənbə15,6K ↓ -
Açıq mənbə9,4K ↓
Tez-tez verilən suallar
Verifpal pulsuzdurmu?
Bəli. Verifpal açıq mənbəli proqramdır (GPL-3.0-only lisenziyası).
Verifpal proqramını yükləmək təhlükəsizdirmi?
Fayl github.com ünvanından yüklənir; bu ünvan naşirə məxsusdur. ExeAtlas faylı saxlamır və dəyişmir. Yüklədiyiniz faylın SHA256 heşini burada göstərilənlə müqayisə edə və ya bu heş üçün VirusTotal hesabatını aça bilərsiniz.
Verifpal proqramı winget ilə necə quraşdırılır?
PowerShell və ya Windows Terminal açın və bu səhifədəki winget əmrini işə salın. winget rəsmi quraşdırma faylını yükləyir və işə salmazdan əvvəl SHA256 heşini yoxlayır.
Verifpal ARM prosessorda (Windows on Arm) işləyirmi?
ARM64 versiyası yoxdur; Windows 11 on Arm 64 bit versiyasını emulyasiya ilə işə sala bilər.
Verifpal proqramının köhnə versiyasını haradan yükləmək olar?
Versiyalar səhifəsində 22 versiyanın hamısı (29 avqust 2026 tarixinə qədər) rəsmi quraşdırma fayllarına keçidlərlə siyahıya alınıb.
Verifpal proqramından administrator hüquqları olmadan istifadə etmək olarmı?
Bəli, portativdir: arxivdən çıxarıb işə salmaq kifayətdir.
Verifpal alternativləri hansılardır?
Cryptomator, GNU Privacy Guard, Keybase, i2pd və KopiaUI. Alternativlər səhifəsi onları müqayisə edir.
