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ビット版のポータブルインストーラーを配布しています。インストールせずにそのまま実行できます（ポータブル版）。
アップデートとバージョン履歴
最新版は1.6.6で、2026年10月11日にリリースされました。2026年8月29日までさかのぼって、全22件のリリースを公式ファイルへのリンク付きで掲載しています。最後の更新からまだ1か月たっていません。
人気と対応ファイル形式
GitHubで公開されているソースコード（symbolicsoft/verifpal）のスター数は135です。似たソフトにはCryptomator、GNU Privacy Guard、Keybaseなどがあります。
GitHubのプロジェクト説明: “Cryptographic protocol analysis for real-world protocols.”
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- ポータブル版でインストール不要
- 直近2か月以内に更新されている
デメリット
- ネイティブのARM64版がない
まとめ: Verifpalは、「暗号化」に分類されるオープンソースのWindowsソフトです。64ビットのPCで使えます。
Verifpalのダウンロードは安全ですか？
- ファイルは提供元のドメイン（github.com）から配信されています
- ダウンロードリンクはHTTPSを使用しています
- SHA256ハッシュが公開されているため、ファイルを検証できます:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· このハッシュのVirusTotalレポートを開く - リンクはまだ確認されていません
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
最近のバージョン
全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フォーク
- 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から配信されます。github.comは提供元のドメインです。ExeAtlasはファイルをホストしておらず、改変もしていません。ダウンロードしたファイルのSHA256をこのページに記載の値と照合するか、そのハッシュのVirusTotalレポートを確認してください。
Verifpalをwingetでインストールするには？
PowerShellかWindowsターミナルを開き、このページに記載のwingetコマンドを実行します。wingetは公式インストーラーをダウンロードし、実行前にSHA256ハッシュを検証します。
VerifpalはARM版Windows（Windows on Arm）で動きますか？
ARM64版はありません。Windows 11 on Armでは、エミュレーションによって64ビット版を実行できます。
Verifpalの旧バージョンはどこでダウンロードできますか？
バージョン一覧のページに、2026年8月29日以降の全22件のバージョンを公式インストーラーへのリンク付きで掲載しています。
Verifpalは管理者権限なしで使えますか？
はい。ポータブル版なので、展開してそのまま実行できます。
Verifpalの代わりになるソフトは？
Cryptomator、GNU Privacy Guard、Keybase、i2pd、KopiaUIなどがあります。代替ソフトのページで比較できます。
