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.
發行商的介紹（英文）
Verifpal是什麼軟體？
Verifpal由Symbolic Software發行，是「加密工具」分類中的一款開放原始碼Windows軟體。在本站「加密工具」分類中，熱門程度排名第47。主要以Rust開發。
安裝與系統需求
開發商為64位元的Windows提供免安裝版格式的安裝檔。不需安裝即可執行（免安裝版）。
更新與舊版本
目前最新版本為1.6.6，發行於2026年10月11日。舊版本最早可追溯到2026年8月29日，共收錄22個版本，全部連到官方檔案。最近一次更新距今不到一個月。
熱門程度與檔案關聯
GitHub上的原始碼儲存庫（symbolicsoft/verifpal）有135顆星。同類軟體還有Cryptomator、GNU Privacy Guard和Keybase。
GitHub專案說明: “Cryptographic protocol analysis for real-world protocols.”
優點 / 缺點
優點
- 開放原始碼：任何人都能檢視和自行編譯原始碼
- 免安裝版，不需安裝即可執行
- 最近兩個月內有更新
缺點
- 沒有原生ARM64版本
總結: Verifpal是一款適用於64位元電腦的開放原始碼Windows軟體，歸在「加密工具」類。
Verifpal下載安全嗎？
- 檔案由開發商自己的網域github.com提供
- 下載連結使用HTTPS
- 已公布SHA256值，可驗證檔案完整性:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· 查看這個雜湊值的VirusTotal報告 - 連結尚未檢查
- 原始碼公開
- ExeAtlas不存放、不綑綁、也不修改安裝檔
相關教學: Windows如何驗證檔案的SHA256雜湊值
近期版本
全部22個版本 ›用指令安裝
靜默安裝 ›winget install --id SymbolicSoftware.Verifpal -e相關教學: winget教學：用指令安裝與更新軟體
軟體資訊
- 發行商
- Symbolic Software
- 分類
- 加密工具
- 授權
- GPL-3.0-only
- 價格
- 免費
- 原始碼
- github.com/symbolicsoft/verifpal
- 程式語言
- Rust
- 系統需求
- Windows 11 / 10
- 架構
- 64位元
- 安裝檔類型
- 免安裝版
- 版本
- 1.6.6
- 發行日期
- 2026年10月11日
- 收錄日期
- 2026年9月26日
- 收錄版本數
- 22
- GitHub星星數
- 135
- GitHub分支數（Fork）
- 16
- 官方網站
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
評分與評論
目前還沒有評論，歡迎成為第一個評分的人。
Verifpal替代軟體
查看全部 ›-
開放原始碼16.6萬 ↓ -
開放原始碼18.6萬 ↓ -
開放原始碼3.7萬 ↓ -
開放原始碼7.9萬 ↓ -
開放原始碼3.2萬 ↓ -
開放原始碼1.9萬 ↓ -
開放原始碼1.6萬 ↓ -
開放原始碼9357 ↓
常見問題
Verifpal是免費的嗎？
是的。Verifpal是開放原始碼軟體，採用GPL-3.0-only授權。
Verifpal下載安全嗎？
安裝檔來自github.com，這個網域屬於開發商本身；ExeAtlas不存放也不修改檔案。可以把下載檔案的SHA256值和本頁顯示的值比對，或查看這個雜湊值的VirusTotal報告。
如何用winget安裝Verifpal？
開啟PowerShell或Windows終端機，執行本頁提供的winget指令即可。winget會下載官方安裝檔，並在執行前驗證它的SHA256值。
Verifpal能在ARM電腦（Windows on Arm）上執行嗎？
沒有ARM64版本；Windows 11 on Arm可以透過模擬執行64位元版本。
Verifpal舊版本要去哪裡下載？
舊版本頁面列出了全部22個版本（最早到2026年8月29日），都附有官方安裝檔連結。
沒有系統管理員權限可以用Verifpal嗎？
可以，它是免安裝版，解壓縮後直接執行。
Verifpal有哪些替代軟體？
Cryptomator、GNU Privacy Guard、Keybase、i2pd和KopiaUI。替代軟體頁面對它們做了比較。
