TROPIC01

機器は機密性の高い計算をすべて主プロセッサで行う必要はありません。一部を専用のセキュリティチップに任せることができます。TROPIC01 には、プログラムの命令を実行する RISC-V コアと、暗号計算に特化した SPECT コプロセッサがあります。ファームウェアはチップ内部のプログラム、RTL は論理回路を記述するソースです。公開文書から専門家はこうした詳細を調べられます。ただし、出荷された全バージョンの内部ブロックがすべて公開済み、または独立検証済みという意味ではありません。 [1]

製品名のほかに正確な品番があり、初期ソフトウェアや恒久的な工場設定を識別できます。例えば Part Numbers 表では、TR01-C2P-T202 のアプリケーション用ファームウェアは 0.5.0、SPECT 用は 0.3.1 です。これらのプログラムは後から更新できます。一方、一部の設定や、出所を検証するための証明書チェーンは、工場での準備時に恒久的に決められます。特定のチップを評価するには、名前だけでなく実際に入っているバージョンも必要です。 [2]

開発者には、チップへ要求を送り、応答を読む方法が必要です。そのための libtropic は SDK、チップを利用するアプリケーションの開発キットです。このライブラリは TROPIC01 を使う機器側で動き、チップ内部のファームウェアとは別物です。API は、取り決めた命令と応答を定義するインターフェースを指します。文書ではファームウェアに対応する API とデータシートを示しています。ライブラリの更新だけでチップが更新されるわけではなく、互換性が重要です。 [2] [3]

Ledger Donjon は2026年6月3日の報告で、ブートローダー v2.0.1 を搭載した市販サンプルの試験を説明しました。ブートローダーは、ファームウェアを実行する前に検証する起動用プログラムです。研究者はレーザーで誤動作を起こし、プログラムの正当性を示す Ed25519 署名の検証を迂回しました。Ed25519 の数学を破ったのではなく、チップで行われる検証を妨害したのです。部品への物理的なアクセスと専門設備を使う実験であり、インターネット越しの遠隔攻撃ではありません。 [4]

ここでは保存と実行を分けると理解しやすくなります。メーカーによると、変更されたファームウェアは電源を切った後も TROPIC01 のメモリーに残り得ます。しかし次の起動時には、チップが正当性を改めて検証します。報告された攻撃では、そのたびに検証を物理的に妨害する必要がありました。攻撃者のデータが残るだけでは、介入なしにプログラムを実行し続けられません。これは発見の重要な範囲を示しますが、脆弱性を無視してよい理由ではありません。 [5]

MAC-and-Destroy は正しい入力に対して対応する秘密情報を返し、ハードウェアで試行回数を制限します。上限に達すると、その秘密情報は回復できなくなります。Ledger Donjon の最初の試験では、独自のファームウェアを動かせてもこの保護は突破できませんでした。しかしその後、Tropic Square の内部分析で迂回経路が見つかり、追加の独立試験でも保護が突破されました。メーカーは詳細を一時的に非公開にしました。「まだ成功していない」は、攻撃不可能の証明ではないのです。 [4] [5]

2026年の通知は、更新機能にアクセスできるメンテナンスモードを無効にするよう勧めました。攻撃は難しくなりますが、排除はできません。メーカーは同時に、2026年末を予定する強化ハードウェア版について説明しました。計画を出荷済みの修正と見なしたり、旧型チップに新型の性質があると考えたりはできません。利用者に必要なのは、自分の機器メーカーの具体的な通知です。どの個体が対象で、どの対処が実際に利用できるのかが重要になります。 [5]

Trezor は、Trezor Safe 7 の TROPIC01 が PIN、個人用アクセスコードを守るための秘密情報の一部を保護すると説明しています。メーカーによると、PIN 自体やウォレットのバックアップはこのチップにはなく、ほかの保護層も働きます。したがって、チップでの発見をそのままウォレット全体の侵害と捉えることはできません。一方、絶対に攻撃できないと約束するのも誤りです。具体的な製品と構成、試験で実際に確認された内容を合わせて判断する必要があります。 [6]