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.
Deskripsi dari penerbit (Inggris)
Apa itu Verifpal?
Diterbitkan oleh Symbolic Software, Verifpal merupakan software open source untuk Windows yang termasuk kategori Enkripsi. Di katalog ini, program tersebut menempati peringkat ke-47 untuk popularitas dalam kategori Enkripsi. Program ini ditulis dengan Rust.
Instalasi dan persyaratan sistem
Penerbit menyediakan installer Portabel untuk sistem 64-bit. Program ini bisa dijalankan tanpa instalasi (portabel).
Pembaruan dan riwayat versi
Versi terbaru saat ini adalah 1.6.6, dirilis pada 11 Oktober 2026. Riwayat versinya dimulai pada 29 Agustus 2026: 22 rilis, semuanya tertaut ke file resmi. Pembaruan terakhir dirilis kurang dari sebulan yang lalu.
Popularitas dan jenis file
Kode sumbernya di GitHub (symbolicsoft/verifpal) mendapat 135 bintang. Program serupa antara lain Cryptomator, GNU Privacy Guard dan Keybase.
Deskripsi proyek di GitHub: “Cryptographic protocol analysis for real-world protocols.”
Kelebihan / Kekurangan
Kelebihan
- Open source: kodenya bisa diperiksa dan dikompilasi siapa saja
- Portabel: berjalan tanpa instalasi
- Diperbarui dalam dua bulan terakhir
Kekurangan
- Tidak ada versi ARM64 native
Singkatnya: Verifpal adalah aplikasi kategori Enkripsi yang open source untuk PC 64-bit.
Apakah Verifpal aman diunduh?
- File disediakan oleh github.com, domain milik penerbit
- Tautan download menggunakan HTTPS
- Hash SHA256 tersedia, sehingga file bisa diverifikasi:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Buka laporan VirusTotal untuk hash ini - Tautan belum dicek
- Kode sumbernya terbuka untuk umum
- ExeAtlas tidak menyimpan, membungkus, atau mengubah installer
Panduan terkait: Cara cek hash SHA256 file di Windows
Rilis terakhir
Semua 22 versi ›| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 1.6.6Terbaru | 11 Oktober 2026 | — | 64-bit ZIP |
| 1.6.4 | 7 Oktober 2026 | — | 64-bit ZIP |
| 1.6.3 | 28 September 2026 | — | 64-bit ZIP |
| 1.6.0 | 23 September 2026 | — | 64-bit ZIP |
| 1.5.1 | 21 September 2026 | — | 64-bit ZIP |
| 1.5.0 | 20 September 2026 | — | 64-bit ZIP |
| 1.4.12 | 17 September 2026 | — | 64-bit ZIP |
| 1.4.11 | 16 September 2026 | — | 64-bit ZIP |
Instalasi lewat command line
Instalasi senyap ›winget install --id SymbolicSoftware.Verifpal -ePanduan terkait: Cara pakai winget: instal dan update aplikasi
Informasi
- Penerbit
- Symbolic Software
- Kategori
- Enkripsi
- Lisensi
- GPL-3.0-only
- Harga
- Gratis
- Kode sumber
- github.com/symbolicsoft/verifpal
- Bahasa pemrograman
- Rust
- Persyaratan
- Windows 11 / 10
- Arsitektur
- 64-bit
- Installer
- Portabel
- Versi
- 1.6.6
- Tanggal rilis
- 11 Oktober 2026
- Masuk katalog
- 26 September 2026
- Versi tercatat
- 22
- Bintang GitHub
- 135
- Fork GitHub
- 16
- Situs web
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Rating dan ulasan
Belum ada ulasan. Jadilah yang pertama memberi rating.
Alternatif Verifpal
Lihat semua ›-
Open source166,2 rb ↓ -
Open source186,1 rb ↓ -
Open source36,6 rb ↓ -
Open source78,8 rb ↓ -
Open source31,8 rb ↓ -
Open source19,2 rb ↓ -
Open source15,6 rb ↓ -
Open source9,4 rb ↓
Pertanyaan yang sering diajukan
Apakah Verifpal gratis?
Ya. Verifpal adalah software open source berlisensi GPL-3.0-only.
Apakah Verifpal aman diunduh?
File download berasal dari github.com, domain milik penerbit; ExeAtlas tidak menyimpan atau mengubah file tersebut. Cocokkan hash SHA256 file tersebut dengan yang tertera di sini, atau buka laporan VirusTotal untuk hash itu.
Bagaimana cara menginstal Verifpal dengan winget?
Buka PowerShell atau Windows Terminal, lalu jalankan perintah winget yang tertera di halaman ini. winget mengunduh installer resmi dan memeriksa hash SHA256-nya sebelum menjalankannya.
Apakah Verifpal bisa berjalan di prosesor ARM (Windows on Arm)?
Tidak ada versi ARM64; Windows 11 on Arm dapat menjalankan versi 64-bit melalui emulasi.
Di mana download Verifpal versi lama?
Halaman versi mencantumkan seluruh 22 versi beserta tautan ke file installer resminya, mundur hingga 29 Agustus 2026.
Apakah Verifpal bisa dipakai tanpa hak administrator?
Ya, program ini portabel: cukup ekstrak lalu jalankan.
Apa saja alternatif Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd dan KopiaUI. Halaman alternatif membandingkan semuanya.
