VeraCrypt：Windows、Mac OS X、Linux向けの無料オープンソース・ディスク暗号化

 (veracrypt.fr)
2 ポイント 投稿者 GN⁺ 2023-10-03 | 1件のコメント | WhatsAppで共有
  • VeraCryptはTrueCrypt 7.1aをベースにした無料のオープンソース・ディスク暗号化ツールで、Windows・Mac OS X・Linuxで保存データを保護することに重点を置いている
  • 1つのファイルを仮想暗号化ディスクとしてマウントしたり、USBやハードドライブのようなパーティション全体およびストレージデバイス全体を暗号化できる
  • Windowsがインストールされたドライブまで起動前認証で保護し、暗号化は自動・リアルタイム・透過的に動作する
  • 並列化・パイプライニングとハードウェアアクセラレーションにより、暗号化状態でも読み書き性能の低下を抑える構造になっている
  • TrueCryptよりデフォルトの反復回数を大幅に増やし、総当たり攻撃への耐性を強化しており、VeraCrypt 1.26.29には非システムボリューム向けArgon2idと2件のセキュリティ問題修正が含まれる

VeraCryptが暗号化できる対象

  • VeraCryptはWindows、Mac OS X、Linux向けの無料オープンソース・ディスク暗号化ソフトウェア
  • AM Cryptoが提供しており、TrueCrypt 7.1aをベースにしている
  • 主な暗号化対象は次のとおり
    • ファイル内に作成した仮想暗号化ディスクを実ディスクのようにマウント
    • USBフラッシュドライブやハードドライブのようなパーティション全体、またはストレージデバイス全体の暗号化
    • Windowsがインストールされたパーティションまたはドライブの暗号化と起動前認証

自動暗号化と性能の補完

パスワード開示の強要に備える隠し機能

  • 攻撃者がパスワード開示を強要する状況を考慮し、**もっともらしい否認可能性（plausible deniability）**を提供する
  • 関連機能は次のとおり

TrueCrypt比で強化されたセキュリティ設定

  • VeraCryptはシステムおよびパーティション暗号化に使われるアルゴリズムの安全性を強化し、新たな総当たり攻撃の進化に対応する
  • TrueCryptで見つかった複数の脆弱性とセキュリティ問題も解決している
  • デフォルトの反復回数に大きな差がある
    • システムパーティション暗号化でTrueCryptはPBKDF2-RIPEMD160を1,000回反復する
    • VeraCryptはデフォルトで200,000回反復し、ユーザー指定のPIMで増やせる
    • 標準コンテナとその他のパーティションでTrueCryptは最大2,000回反復する
    • VeraCryptはデフォルトで500,000回反復し、ユーザー指定のPIMで増やせる
  • 強化されたセキュリティは暗号化されたパーティションを開く時点にのみ遅延を追加し、アプリケーション利用段階の性能には影響しない
  • バージョン1.12からPIM機能により、ユーザー指定の反復回数を利用できる

TrueCryptボリューム互換性と変換

  • VeraCryptはバージョン1.0fからTrueCryptボリュームを読み込める
  • TrueCryptコンテナと非システムパーティションをVeraCrypt形式に変換することもできる

最近のリリースでの変更点

  • VeraCrypt 1.26.29が2026年6月9日にリリースされた
    • 非システムボリューム向けArgon2id対応を追加
    • 2件のセキュリティ問題を修正
    • 安定性と互換性の改善を多数含む
    • 詳細な変更点はRelease Notes / Changelogにある
  • VeraCrypt 1.26.24は2025年5月30日にリリースされた
    • Windowsスクリーン保護機能を追加
    • Linux AppImage対応を追加
    • その他の修正と改善を含む
  • VeraCrypt 1.26.20は2025年2月3日にリリースされた
    • WindowsとLinuxのリグレッション問題を修正
    • ARM64の改善とその他の変更を含む
  • VeraCrypt 1.26.19は2025年1月22日にリリースされた
    • macOSでボリュームの分離（dismount）に影響するリグレッション問題を修正
  • VeraCrypt 1.26.18は2025年1月20日にリリースされた
    • Linuxのセキュリティ脆弱性2件を修正
    • ARM64プラットフォーム向けAESアクセラレーションを追加
    • 複数の修正と改善を含む

インストールファイルの検証と配布情報

  • インストーラとパッケージはDownloadsセクションで提供される
  • すべてのリリースファイルはPGPキーで署名されている
  • すべてのリリースファイルのSHA256とSHA512のチェックサムはDownloadsセクションで提供される

プロジェクトリソース

関連記事

1件のコメント

 
GN⁺ 2023-10-03
Hacker Newsの意見

  • 数年間、True/VeraCrypt、暗号化 sparse bundle/image など、あらゆる暗号化方式を試してきたが、どれもしっくりこなかった
    最近は主に Cryptomator を使っている。他のツールではできなかった、デバイス間での透過的な暗号化を実現してくれる
    クラウド上のどこかに保管庫を作ってデータを入れておけば、ノートPC、スマートフォン、タブレットから、通常のファイル探索 API に統合された形でアクセスできる
    ファイル単位の暗号化なので、復号前にクラウドから 20〜100MB の塊をダウンロードする必要がなく、たいてい高速
    Cryptomator はオープンソースでデスクトップ版は無料だが、モバイルアプリは買い切り
    https://cryptomator.org/
    https://github.com/cryptomator

    • 以前は似たようなファイル単位のクラウド暗号化ソリューションを使っていたが、すでに同期用サーバーがあるか、暗号化されたエンドポイントとして使えるなら、SyncThing のほうがあらゆる面で優れていた
    • 自分では使ったことがないが、CryFS もある。EncFS や eCryptFS のようにファイル単位だが、固定サイズでパディングされた暗号文ファイルを使うことで、ファイル構造の情報が漏れるのを避けている
      Cryptomator についてはよく知らないが、EncFS なら、暗号化されたファイルのサイズや形だけを見て、たとえば Tor Browser が入っている、といった推測が比較的容易にできる可能性がある
      https://www.cryfs.org/
    • Rclone が提供する Crypt remote と非常によく似ているように見える
      Dropbox にファイル単位の暗号化データを保存するのに使っており、その上に restic リポジトリも置いている
      https://rclone.org/crypt/
    • Gocryptfs も同系統の代替案。Android 対応がより良く、コマンドラインでも扱いやすかったので Cryptomator から乗り換えた
    • 小さな個別ファイルのまとまりを同期するときは Cryptomator を使い、大きなローカルアーカイブには Veracrypt を使っている
      Dropbox に接続していたのか Google Drive に接続していたのかはうろ覚えだが、問題に遭遇したことはない

  • 完全に余談だが、最近参加した CTF に、MP4 ファイルの中に True/VeraCrypt ボリュームを隠したステガノグラフィの問題があった
    その MP4 ファイルは通常の VeraCrypt ボリュームのようにマウントできた
    https://keyj.emphy.de/real-steganography-with-truecrypt/

    • 有用ではあったが、Tor Browser で記事を開こうとして、反射的に TrueCrypt と VeraCrypt の名称に注意するようコメントを書きそうになった
      名前が変わったあとも古い名前を使い続けると、特にセキュリティの文脈では、多くの人がそれを記事やデータの信頼性を低く見るヒューリスティックにする
      ほとんどのステガノグラフィは、大量のデータを隠すよりも鍵交換に向いていると思う。ただし、このサイトの利用者の多くは、全体主義者に嘘をつかないという、米国中心のリーガリズム的な脅威モデルに強い関心があるように見える
      https://web.archive.org/web/20110916033048/https://keyj.emphy.de/real-steganography-with-truecrypt/

  • 何年も使っていて、勧めることにまったくためらいはない。コメントで言われているほど「技術的」でもないと思う
    性能は良く、ほぼネイティブ SSD 速度に近い。外付け HDD の隠しパーティションと一緒に使っているが、Windows がそのパーティションをフォーマットするよう促さないようにしてからは、うまく動いている
    望む機能は、Yubikey のようなデバイスとのより良い統合。静的パスワードを暗号化キーとして使うことはできるが、それより良い方法が必要

    • 「ほぼネイティブ SSD 速度」なら、同じ強度の暗号化アルゴリズムを選んだと仮定した場合、BitLocker や LUKS と性能が具体的にどう比較されるのか気になる
    • 静的パスワードにキーファイルを追加して使っている。キーファイルはどんなファイルでもよいので、マシン内にただ置かれている普通に見える写真のようなものでも可能
    • ファイル破損の報告を見たことがあるので、いつも使用をためらっていた。Android アプリは応援の意味で購入までした
      ファイル破損が今も問題なのか気になる
    • 機能的に、静的パスワードより何が優れ得るのか気になる

  • TrueCrypt に実際何が起きたのか、ずっと気になっている。内部事情が何だったのか知りたい
    推測ではなく、実際に何が起きたのかが気になる

  • 本当に気に入っているが、まだ一般ユーザー向けの答えではない。暗号化を知っていて理解している0.01%には良いが、大衆向けに出せる準備はできていない
    BitLockerならボタンを1つ押して放っておけばよく、管理者は小さな設定をいくつか行うだけで全端末に適用しつつ、中央管理の回復キーも持てる
    VeraCryptのほうが安全かと言えばそうだし、顧客に配布したいかと言えばそうだが、組織全体に展開して管理するのは悪夢になる可能性が高い
    「ITに明るい単独ユーザー」を超えると、この優れたツールに事実上勝ち目がないのが残念

    • VeraCryptはTrueCryptのフォークであり、TrueCryptは技術レベルの低い人たちにも広く使われていた
      特定の用途ではかなり直感的で、当時は人々が使える最もシンプルで強力なセキュリティソフトウェアだったと思う。無料かつオープンソースだったからだ
      BitLockerと比較するのは変だ。ソースが閉じているため、多くの人にとってはほぼ自動的に「信頼不可」になり、Windows専用でもある
    • VeraCryptの目標が企業利用だとは思わない
      企業は、問題が起きたときに責任を問える相手がいるという意味での「説明責任」のためなら、ほぼ定義上Microsoftに魂を売るだろう
      VeraCryptが存在し、その0.01%が使えるという事実だけで十分であり、すでに期待以上に有用だ
    • 本当により良いのかは疑問だ。土台となったTrueCryptの開発者たちでさえ、今ではBitLockerへ移行するよう勧めている
      https://truecrypt.sourceforge.net
    • 同じレベルのセキュリティ、つまり起動時にパスワードを要求する設定にすると、経験上BitLockerのほうがはるかに分かりにくく、エラーも起きやすい
      何を探しているか分かっていて用語も理解しているのに3回試す必要があり、1回はドライブへのアクセス権を失った
      技術知識の少ない人には絶対に勧めない。既定設定はうまく動くが、盗難のようなよくある状況に対してはセキュリティがほとんどない
      BitLockerはOSが提供する暗号化の中で最もユーザーフレンドリーではなく、あまりにひどくて意図的に壊しているように感じる

  • LinuxでQtベースのGUIを好むなら、zuluCryptを見る価値がある
    PLAIN dm-crypt、LUKS、TrueCrypt、VeraCryptボリュームを作成でき、PLAIN dm-crypt、LUKS、TrueCrypt、VeraCrypt、BitLockerボリュームを開ける
    https://github.com/mhogomchungu/zuluCrypt

    • zuluCryptをけなすつもりはないが、暗号化プログラムをGUIフレームワーク基準で選ぶ人が増えないことを願う
    • 良い点だ
      ただしVeraCryptとその前身であるTrueCryptの大きな利点は、Windows、macOS、Linuxのすべてで動作することだ
      異なるシステム間でデータを共有する暗号化フラッシュドライブが必要なら、私の知る限り事実上唯一の選択肢だ。残念なことだ

  • 一般的なLinuxユーザーなら、次を実行すればよい
    sudo touch /etc/udisks2/tcrypt.conf
    sudo systemctl restart udisks2
    そうすればVeraCryptボリュームをNautilusやGNOME DisksでLUKSボリュームのように使える

    • 通常のLUKSではなくVeraCryptボリュームを使いたい理由が何なのか気になる

  • 数年にわたってVeraCryptをかなり近くで見てきた。うまく動作し、非常に有力な選択肢に見えるが、MBR/BIOSとUEFIの違いが制約でなければよいのにと思う
    以前のMBRシステムでは、VeraCryptでシステムドライブ全体を暗号化でき、それによって他の何ものも十分に再現できていない独特の機能である隠しOSが可能だった
    隠しOSオプションはレガシーブートモードに限定されているが、レガシーブートはますます非推奨の方向に進んでおり、消費者がこの機能の秘匿性をこれ以上享受できなくなるのではないかと懸念している
    関連する試みは見たことがある
    https://portswigger.net/daily-swig/russian-doll-steganography-allows-users-to-mask-covert-drives
    https://i.blackhat.com/eu-18/Thu-Dec-6/eu-18-Schaub-Perfectly-Deniable-Steganographic-Disk-Encryption.pdf
    しかしその後、この種の機能を扱うものを見ておらず、他の暗号化ソフトウェアがステガノグラフィーと暗号化、もっともらしい否認可能性にここまで注力した例も見ていない

    • ありふれた機能であるべき気がするが、Linux側での提供状況はよく分からない。OpenBSDはフルディスク暗号化と、それをうまく扱うブートローダーを提供している
      ただしOpenBSDで何かが動くと言うと、たいてい設定が単純でドキュメントも良いため、小さなOpenBSDプロジェクトにできるならどこでも簡単だろうと錯覚しがちだ。実際にはまったくそうではない
      softraidボリュームからの起動やNetFlowソースの設定が思い浮かぶが、OpenBSDでは些細なことだったのにLinuxでは大変な苦労だった
      またOpenBSDのマニュアルページのほうが良いので、Linuxでそれを見て真似し、なぜ動かないのか不思議に思うというミスもよくする
    • 今では仮想マシンが安く簡単になったため、関心が薄れたように思う。単にVMを暗号化すればよいからだ
      別の方法でOSを隠すアプローチを洗練させているところだ。TPMにキーを保存するディスク暗号化を使い、基本的には仮想化されたOSで起動するが、仮想化の痕跡は見えないようにする
      起動画面でキーの組み合わせを押してパスワードを入力して初めて実OSで起動する方式だ。すべてを防げるわけではないが、目的が否認可能性なら、かなり多くの状況を防げる

  • VeraCryptは優れていますが、同期にはあまり向いていません。ディスクイメージのどのビットが変わっても、ディスク全体のハッシュが無効になるためです
    Cryptomatorは構造と名前を変更しますが、内部の暗号化されたファイルをファイルとして保存するため、ファイル単位で同期できます

    • 大きなファイルのブロック単位のデルタコピーをサポートするツールを使えば緩和できます
      https://bvckup2.com/kb/delta-copying
    • VeraCryptとCryptomatorは、ユースケースがかなり異なると思います。VeraCryptには、ほとんどの人には不要でしょうが、隠しボリュームのような機能もあります
    • ちゃんとした同期ツールなら、変更された部分だけを同期できます
    • Veracryptはディスク暗号化ツールであって、同期用ではありません

  • 記憶が正しければ、VeraCryptは放置されていたTrueCryptのフォークで、TrueCryptのコードは検証を受け、バックドアや重大なミスがないことが事実上認証されていました
    その後、新しくひどい名前を付けられて、静かに背景へ消えていきました
    TrueCryptは本当に素晴らしく、もっともらしい否認可能性へのアプローチも気に入っていましたが、2006年ごろ以降は使っていません