USB ドライブの隠された暗号化セーフ

2026/07/20 15:09

USB ドライブの隠された暗号化セーフ

RSS: https://news.ycombinator.com/rss

要約

Japanese Translation:

Phantomdrive は、標準的な 8 GB ドライブを模倣しつつ暗号化データを隠すオープンソースの USB デバイスです。AES-256 暗号化を使用し、「password:」という特定のトリガーの書き込みを検出する監視によりファイルを保護します。トリガーが検出された場合、デバイスはアンマウントされ再マウントされてデータの暗号化・復号化が行われますが、この機構は無関係なデータにトリガー文字列が含まれていた場合に意図せず起動する可能性があります。ハードウェアには、Arduino の CH340 と同じメーカー製の CH569 チップ、USB3 対応、AES ブロックが含まれており、ケースは破損を招かずに改ざんを防止するためにエポキシでシールされています。AI 需要の高騰による eMMC コスト上昇のため、現在のバージョンでは SD カードを使用していますが、価格が低下した段階で eMMC に切り替える予定です。セキュリティは強化されており、USB シリアル番号から一意のソルトを導出することで事前計算されたキーテーブル攻撃を防ぎ、鍵導出機能(KDF)では SHA-256 を 100,000 回適用して、解読速度(約 3 秒)と堅牢性のバランスをとっています。ディスク暗号化の標準である AES-XTS の代わりに、より高速なパフォーマンスを実現するため AES-CTR を使用しており、AES-CTR では書き込みが約 9 MB/s、読み取りが約 20 MB/s、AES-XTS では書き込みが約 6 MB/s、読み取りが約 10 MB/s という測定結果が出ています。ファームウェアは従来のファイルシステムドライバーをバイパスし、USB WRITE10/READ10 コマンドを直接 SD カードの CMDx 指示に翻訳します。github.com/hydrausb3 のオープンソースライブラリ(CH56x BSP と ISP プログラミングツールを含む)を用いて構築されており、Phantomdrive は独自ベンダーへの依存なしで自己暗号化ストレージを求めている開発者や研究者向けに、安価かつ高速な代替手段を提供しています。

本文

Phantomdrive: プライバシー保護のためのオープンソース暗号化 USB ドライブ

プロジェクト背景と概要

多くの地域でプライバシー法が十分に尊重されない状況下にあり、メディアの鍵解読を強要されたり、最悪の場合無実でも被疑者とみなされたりするリスクが存在します。

Phantomdrive は、これらの課題に対処するために開発された完全にオープンソースのデバイスです。

主な特徴

  • 隠しボリューム技術: Veracrypt のように「メディアの鍵解読」攻撃からデータを保護します。
  • OS 検出回避: オペレーティングシステムがディスクの残存領域を検知しないよう設計されています。
  • トリガー動作: ユーザーが
    password:PUTYOURPASSWORDHERE
    と書くと、デバイス自体がアンマウントされ、隠し領域(セクション 2)が再マウントされます。
  • AES-256 暗号化: データはインプレースで暗号化/復号化されます。
  • ステルス性: 政府関係者や人権を軽視する当局からすり抜けられる可能性があります。

デザインコンセプト

プロジェクト全体(ファームウェア、ハードウェア、機械工学、開発ツール)が完全にオープンソースです。

ハードウェア構成

  • マイコン: CH569 チップを使用。偽造 Arduino で使われる CH340 と同社の製品です。
  • ストレージ: 高価格だった eMMC の代わりにSD カードを採用(コスト削減)。
  • インターフェース: USB3、USB シリアル変換、AES ブロック制御をサポート。
  • 物理保護: ケースは接着剤で固定されており、内部への侵入にはデバイスの破壊が必要とされます。
  • 拡張性: eMMC 価格下落時に採用を検討する予定です。

シンプルな構成要素

CH569、USB ポート、2 つの降圧回路(Buck)、ファームウェア更新ボタン、SD カード、サポート部品、UART テストポイントから構成されています。

注意: デバイス内部の SD カードはすべて暗号化されており、バラして探すことは不可能です。


暗号学について

開発者の GitHub リポジトリへのアクセスには、AI 生成された Issue(ハルシネーションや些細な問題など)が投稿されていました。コミュニティはこれを擁護攻撃しましたが、本質的なセキュリティテストとして AES-256/OpenSSL による検証は完了しています。

キー導出関数 (KDF)

パスワードから暗号鍵を安全に導出するための仕組みです。

1. 塩(Salt)の導入

単純なパスワード接続($Pw || 0x000$)はブルートフォース攻撃や事前計算された鍵テーブルによる攻撃に弱いです。これを防ぎます。

  • 独自性: 各デバイスに一意の塩が割り当てられます。
  • 取得方法: USB シリアル番号から確認可能。
udevadm info --query=property --name=/dev/sdc | grep ID_SERIAL_SHORT
# 例: ID_SERIAL_SHORT=Phantomdrive:34FC1FA7145467F7
  • 塩の例:
    34FC1FA7145467F7
    (デバイス故障時や復旧に必要)。
  • ステルス性向上: ファームウェア変更で USB PID/VID を任意値に変更可能。

2. 反復計算 (Iterations)

SHA-256 を10 万回適用します。

  • 目的: 攻撃者の計算コストを大幅に増加させる。
  • 時間制約: 解錠にかかる時間を約 3 秒に抑えるため(これ以上は利用しにくい)。
  • アルゴリズム選択: メモリ強度が高いため Argon2 は採用せず、SHA-256 を使用。

$$ K = sha256(sha256(\dots sha256(Pw || salt || 0x000))) \quad (100k 回) $$

セキュリティ向上策

さらに高いセキュリティが必要な場合は:

  • KDF の反復数を増加させる。
  • 他のデバイスを探す。
  • ソフトウェアによる二重暗号化を採用する。
  • デバイスの暗号化機能のみをオフにして、外部ソフトウェアで管理する。

AES モードについて

ブロック暗号 AES をストリーム暗号として動作させるためのモードを選択します。

❌ AES-ECB(推奨しない)

直感的だが安全ではない

  • 同じ平文ブロックが同じ暗号文を生成するため、拡散性が不足する。
  • データ削除攻撃に対して脆弱。

⚡ AES-CTR(推奨:速度優先の場合)

カウンター方式を採用。高速ですが「カウンターの再利用」リスクがあります。

  • 性能: 書き込み約 9MB/s、読み取り約 20MB/s。
  • リスクシナリオ:
    1. 攻撃者が暗号文を回収し復元。
    2. ユーザーがデータを上書き書き込み。
    3. 攻撃者が再び暗号文を回収して復旧。
  • 結論: セキュリティ向上よりもスピードメリットの方が大きい場合の選択肢です(現状では AES-XTS が標準推奨)。

🔒 AES-XTS(推奨:セキュリティ優先の場合)

ディスク暗号化の標準規格。2 つの鍵(データ鍵 $K_1$、ツイーク鍵 $K_2$)を使用。

  • 仕組み: セクター番号を基にツイークを生成し、各ブロックに独自の調整を加えます。
  • 利点: カウンター再利用問題を解決し、高いセキュリティを提供。
  • 性能: 書き込み約 6MB/s、読み取り約 10MB/s。

判断:スピードへの代償としてセキュリティが向上するため、標準では AES-XTS が推奨されます(※状況により AES-CTR の使用も検討可)。


ファームウェアについて

2 つのオープンソースプロジェクト(BSP ライブラリと ISP プログラミングライブラリ)を利用しています。

パスワード盗聴機能 (Snooping)

デバイスはファイルシステムを意識せず、USB コマンド(WRITE10/READ10)を受け取り SD カードへ転送します。生データを監視することで「password:」というトリガーを検出・処理します。

動作原理

ロック状態にある間、すべての書き込みデータを監視し、

password:
の文字列を探します。

void phantomdrive_snoop_write(uint8_t *buf, uint32_t len)
{
    const char *prefix = "password:";
    // ... (検出ロジック省略) ...
    
    if (memcmp(buf + i, prefix, prefix_len) == 0) {
        // パスワード部分を検出
        
        // RAM にコピー
        memcpy(pending_pw, buf + pw_start, pw_len);
        
        // ディスクへの書き込み前にバッファをゼロ化(暗号鍵として処理)
        memset(buf + i, 0, pw_end - i); 
        
        return;
    }
}
  • 動作: 「password:」を含むデータがディスクに保存されず、代わりに RAM 上で暗号鍵として扱われます。
  • 注意点: ディスク上に偶然「password:」という文字列が含まれると誤作動する可能性があります。要件を満たさない場合はファームウェアの変更を検討してください。

おわりに

このプロジェクトを支援してくれた皆様に感謝します。開発は楽しく、コミュニティとの交流が今後の研究開発の原動力です。

支援方法: 現在、事前注文ページを用意しています!


ライアン・ウォーカー (Ryan Walker)
オープンソースでものづくりを行い、オープンソースの仕組みを活用する開発者。

同じ日のほかのニュース

一覧に戻る →

2026/07/22 6:09

ヤコビアン仮説の反例についての考察

## Japanese Translation: 元要約は明確で正確であり、主要な点と整合性が取られています。改善は必要ありません。 ## 概要: テキストは決定的に、ヤコビアン予想が三次元以上の次元では偽であることを述べており、$\mathbb{C}^n$ から $\mathbb{C}^n$ への写像で非ゼロ定数のヤコビアンを持つものがすべて全的に逆関数を持つというアイデアを反証することで、長年の数学的議論を解決します。研究者たちは、三次変数における次数七の多項式写像を構成することによってこれを証明しました。この写像は非ゼロ定数のヤコビアンを持ちながら全球的反関数を持たず、ヤコビアンの行列における巨大なキャンセル(非定数係数の消滅)に依存して局所的逆関性を維持しつつ全球的な有効性を回避しています。予想は二次元的には依然として未解決であり、一元的には自明に真です。幾何学的な再定式化により、$\mathbb{C}^n$ と同型なアフィン多様体 $X$ に対して、局所的単射(根解析を用いた証明で $\mathrm{PGL}_2$ ヨーブ変換とゼロでない結果ant を用いて確立)だが全球的には単射ではないような写像が存在することが示されます。ベクトル空間の対称化乗幂と低次数多項式の積(線形 × 二次 = 三次)に基づく構築では、五次元群作用による巨大な等変性を活用し、結果ant 条件を用いたスケーリング対称性を通じて正規化を行います。特定の三次元的アフィン切片による次元削減は、二次曲面の同型問題を回避しつつ主要な性質を保持し、原点ファイバーを除いて座標に対して三次方程式と二次方程式を解くことで双有理同値を可能にし、アフィン空間と同型のアフィン多様体を導きます。ビッグ-O 記法を用いた漸近解析は、全てのファイバー(極限ケースを含む)をカバーする全球的多項式パラメータ化を確認します。AI チャットボットを含む高度な計算ツールは、漸近成長率とファイバーパラメータ化に関わる複雑な計算を検証し、得られた写像是自明な変数変化を除いて元の反例と一致します。この画期的な進展により、分野の焦点は普遍的反證法の探求から、局所的性質が全球的な振る舞いを保証しない特定の実例への理解へとシフトしました。

2026/07/22 0:17

Gemini 3.6 Flash、3.5 Flash-Lite および 3.5 Flash Cyber

## Japanese 翻訳: 以下の改良版は、欠落していた価格データ、具体的なベンチマークハイライト、および販売チャネルを統合し、「要点リスト」への完全な忠実性を確保しています: ## 改善されたサマリー Google は正式に、AI エージェントの効率を大幅に向上させ、レイテンシを低減し、コストを削減することを目的とした 3 つの進化した Gemini モデル——3.6 Flash、3.5 Flash-Lite、および専門性の高い 3.5 Flash Cyber を紹介しました。**Gemini 3.6 Flash**は、トークン使用量を最大で 17%削減(入力トークンあたり$1.50 で提供)しながら、より高い精度を実現します。DeepSWE のようなベンチマークでは、先行する 3.5 Flash の 37% に対して 49% という成功率を達成し、ML リサーチおよびコンピューター使用に関する能力にも顕著な改善が見られます。**Gemini 3.5 Flash-Lite**はシリーズ内で最も高速なモデルとして際立っており、1 秒間に 350 以上の出力トークンを処理(入力トークンあたり$0.3 で提供)し、複数のコーディングベンチマークにおいて 3.5 Flash および 3 Flash を凌駕しています。 セキュリティニーズに応えるため、Google は CodeMender エコシステム内でのサイバーセキュリティ脆弱性の特定と是正に最適化された**3.5 Flash Cyber**バリアントをローンチしました。これらの技術の二重用途特性により、この特定のモデルは、限定されたパイロットプログラムを通じて検証済みの政府機関および信頼パートナーのみが利用可能です。すべての新モデルは直ちに Gemini API、Google AI Studio、Android Studio、およびその他の開発プラットフォーム経由で利用可能であり、すぐに Google Search への展開も始まっています。

2026/07/22 0:41

長らく死んだとみられていた西アフリカに、豊かなサンゴ礁が発見された。

## Japanese 翻訳: 1960 年代の初期調査で西アフリカベニン海岸沖の健康なサンゴ礁が存在しないと見落されていたものが、研究者によってついにその存在が確認され、世界中で半分以上の礁域が減少しているというグローバルなトレンドに抗した。水深 175 フィート(約 53 メートル)を超える深い海域においても、岩盤基質上に多様な生物が生息し、繁栄している。2025 年 1 月に National Geographic Explorers グランツから 2 万ドルの助成金を獲得した Gérard Zinzindohoué 氏を率いるチームは、高価なソナー費用が予算の大半を食い込み、欧州のサプライヤーとの銀行取引上の問題といった重大な物流上の課題を克服した。常設の研究船を持たないため、彼らはハイテクソナーを搭載したピロウで現地漁師に offshore へ運ばれ、海底を探測して撮影を行った。この探査では、軟体珊瑚 6 タイプ、黒珊瑚 2 タイプ、魚類 8 種を特定し、該地域を「中光層サンゴ生態系(mesophotic coral ecosystem)」に分類した——これはサンゴ礁形成の限界深度にある光依存型コミュニティである。地元研究者である Houangninan Midinoudewa 氏は、現在、稀有种類であるトゲメダイアザルシャーク、シルクイースカ、ブローンスケート、マーズレットエイを含む稀有な種々を守るため、「重要なエイとサメ地域(Important Shark and Ray Area)」としての指定を求めている。保存活動だけでなく、この未撹乱の生態系は、炭素年代測定や古気候学研究における独自の潜在力を提供し、広範な劣化に反して回復力ある天然資源を開示するとともに、科学発掘への新たな道を開く。