Secure Element

Secure Elementは定めたインターフェースを通じて保護メモリーや操作へのアクセスを制限します。耐タンパー性は特定の攻撃モデルへの防御であり、秘密抽出が不可能という意味ではありません。物理解析、故障注入、サイドチャネルは攻撃者の時間、機材、想定能力とともに評価します。 [Trezor — Secure Elements in Trezor Safe devices] [GlobalPlatform — Secure Element Protection Profile and Extensions]

チップは暗号鍵、シード保護用の補助秘密、試行回数カウンター、機器証明書などを保存します。秘密鍵がチップ外へ出ないという説明は特定の構成と鍵にのみ当てはまります。Secure Element内の操作と主マイクロコントローラーに残る操作を特定する必要があります。 [Trezor — Secure Elements in Trezor Safe devices] [Tropic Square — TROPIC01 public design repository]

TrezorはSafe 3とSafe 5のOPTIGA Trust M (V3)を説明しています。内部の補助秘密がPINとともに主チップ上の秘密鍵を保護し、すべてのBitcoin署名をSecure Element内で作るという意味ではありません。文書はハードウェア試行制限、真正性検証、乱数への寄与も挙げています。 [Trezor — Secure Elements in Trezor Safe devices]

証明書と機器の応答は検証プロトコルの範囲で製造元との結び付きを示せます。しかし取引の受取人やホストの全表示の無害性は確認しません。Device attestation、ファームウェア検査、利用者の支払い承認は別々の安全手順で、交換可能な一つのチップ特性ではありません。 [Trezor — Secure Elements in Trezor Safe devices] [Trezor — TROPIC01 chip vulnerability disclosure]

Common Criteriaは特定の対象と安全要件を評価します。部品のEAL6+が製品全体や将来の全ファームウェアに自動適用されるわけではありません。GlobalPlatform Protection Profileは機能と構成範囲を定め、2025年7月の2.0版はCC:2022に対応します。等級だけでなく具体的証明書、構成、脅威モデルを読みます。 [GlobalPlatform — Secure Element Protection Profile and Extensions] [Trezor — Secure Elements in Trezor Safe devices]

TROPIC01リポジトリはRTL、アプリケーションファームウェア、RISC-VコアとSPECTコプロセッサーを持つチップの安全構成を公開しています。一方で現行bootloaderはIP提供元の権利により非公開と記しています。公開性には具体的範囲があり、監査可能性だけで無欠陥や全出荷品の適合を証明はできません。 [Tropic Square — TROPIC01 public design repository]

TrezorはLedger Donjonによる2026年1月の発見を公表しました。研究室のlaser fault injectionで単体TROPIC01のファームウェア検証を回避し秘密を抽出できました。影響説明ではSafe 7の一層が対象で、他層はOPTIGAとSTM32U5が担います。自動的にウォレット全体の侵害を意味しませんが、破れないチップという主張で隠すべきでもありません。 [Trezor — TROPIC01 chip vulnerability disclosure]

別保存のシードバックアップ漏えいは機器保護を迂回します。チップ単独では利用者が承認した詐欺的アドレスも判別できません。正確なチップ型式とともに復元、画面、ファームウェア、乱数源、製造元の対応を評価してください。前述のTROPIC01事例では製造元がハードウェア上の限界を説明しており、任意の更新で解消すると考えてはいけません。 [Trezor — Secure Elements in Trezor Safe devices] [Trezor — TROPIC01 chip vulnerability disclosure]