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.
Yayıncının açıklaması (İngilizce)
Verifpal nedir?
Verifpal programı şifreleme kategorisinde yer alan açık kaynaklı bir Windows yazılımıdır; yayıncısı Symbolic Software. Katalogdaki şifreleme arasında popülerlikte 47. sırada. Programlama dili: Rust.
Kurulum ve gereksinimler
Yayıncı 64 bit sistemler için Taşınabilir kurulum dosyası sağlıyor. Kurulum gerektirmeden çalışır (taşınabilir).
Güncellemeler ve sürüm geçmişi
Güncel sürüm 1.6.6; 11 Ekim 2026 tarihinde yayımlandı. Sürüm geçmişi 29 Ağustos 2026 tarihine kadar uzanıyor: 22 sürümün tamamı resmî dosyalara bağlı. Son güncelleme bir aydan daha yeni.
Popülerlik ve dosya türleri
GitHub'daki kaynak kodu (symbolicsoft/verifpal) 135 yıldız almış. Benzer programlar arasında Cryptomator, GNU Privacy Guard ve Keybase bulunuyor.
GitHub’daki proje açıklaması: “Cryptographic protocol analysis for real-world protocols.”
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Taşınabilir: kurulum gerektirmez
- Son iki ayda güncellendi
Eksiler
- Yerel ARM64 sürümü yok
Kısaca: Verifpal, 64 bit bilgisayarlar için açık kaynaklı bir şifreleme aracı.
Verifpal indirmek güvenli mi?
- Dosya yayıncının kendi alan adından (github.com) geliyor
- İndirme bağlantısı HTTPS kullanıyor
- SHA256 değeri yayımlanmış; dosyayı doğrulayabilirsiniz:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Bu hash için VirusTotal raporunu açın - Bağlantı henüz kontrol edilmedi
- Kaynak kodu herkese açık
- ExeAtlas kurulum dosyalarını barındırmaz, sarmalamaz, değiştirmez
İlgili rehber: Windows’ta bir dosyanın SHA256 özeti nasıl doğrulanır
Son sürümler
22 sürümün tümü ›| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 1.6.6Güncel | 11 Ekim 2026 | — | 64 bit ZIP |
| 1.6.4 | 7 Ekim 2026 | — | 64 bit ZIP |
| 1.6.3 | 28 Eylül 2026 | — | 64 bit ZIP |
| 1.6.0 | 23 Eylül 2026 | — | 64 bit ZIP |
| 1.5.1 | 21 Eylül 2026 | — | 64 bit ZIP |
| 1.5.0 | 20 Eylül 2026 | — | 64 bit ZIP |
| 1.4.12 | 17 Eylül 2026 | — | 64 bit ZIP |
| 1.4.11 | 16 Eylül 2026 | — | 64 bit ZIP |
Komut satırından kurulum
Sessiz kurulum ›winget install --id SymbolicSoftware.Verifpal -eİlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Bilgiler
- Yayıncı
- Symbolic Software
- Kategori
- Şifreleme
- Lisans
- GPL-3.0-only
- Fiyat
- Ücretsiz
- Kaynak kodu
- github.com/symbolicsoft/verifpal
- Yazıldığı dil
- Rust
- Gereksinim
- Windows 11 / 10
- Mimari
- 64 bit
- Kurulum türü
- Taşınabilir
- Sürüm
- 1.6.6
- Çıkış tarihi
- 11 Ekim 2026
- Kataloğa eklenme
- 26 Eylül 2026
- Kayıtlı sürüm
- 22
- GitHub yıldızı
- 135
- GitHub fork
- 16
- Resmî site
- verifpal.com
- winget kimliği
- SymbolicSoftware.Verifpal
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
Verifpal alternatifleri
Tümünü gör ›-
Açık kaynak166,2 B ↓ -
Açık kaynak186,1 B ↓ -
Açık kaynak36,6 B ↓ -
Açık kaynak78,8 B ↓ -
Açık kaynak31,8 B ↓ -
Açık kaynak19,2 B ↓ -
Açık kaynak15,6 B ↓ -
Açık kaynak9,4 B ↓
Sıkça sorulan sorular
Verifpal ücretsiz mi?
Evet. Verifpal açık kaynaklı bir programdır (GPL-3.0-only lisansı).
Verifpal indirmek güvenli mi?
İndirme github.com adresinden gelir; bu adres yayıncıya ait. ExeAtlas dosyayı barındırmaz ve değiştirmez. İndirdiğiniz dosyanın SHA256 değerini burada gösterilenle karşılaştırabilir ya da bu hash için VirusTotal raporunu açabilirsiniz.
Verifpal winget ile nasıl kurulur?
PowerShell ya da Windows Terminal açıp bu sayfadaki winget komutunu çalıştırın. winget resmî kurulum dosyasını indirir ve çalıştırmadan önce SHA256 değerini doğrular.
Verifpal ARM işlemcide (Windows on Arm) çalışır mı?
ARM64 sürümü yok; Windows 11 on Arm, 64 bit sürümünü öykünmeyle çalıştırabilir.
Verifpal eski sürümü nereden indirilir?
Sürümler sayfasında 22 sürümün tamamı (29 Ağustos 2026 tarihine kadar) resmî kurulum dosyası bağlantılarıyla listeleniyor.
Verifpal yönetici izni olmadan kullanılabilir mi?
Evet, taşınabilir: arşivden çıkarıp çalıştırmanız yeterli.
Verifpal alternatifleri nelerdir?
Cryptomator, GNU Privacy Guard, Keybase, i2pd ve KopiaUI. Alternatifler sayfası bunları karşılaştırıyor.
