Locker Protocol の脅威モデル
何を防ぎ、何を防がないか。そして、なぜ信頼するハードウェアではなく検証可能性を選んだのか。
3 つの原則
ポリシーではなく、構造としてのエアギャップ
署名デバイスには USB も Bluetooth もネットワークもありません。要求と署名は、目に見える QR コードとして渡ります。物理法則が保証する性質に、約束は要りません。
検証可能は認証済みに勝る
あなたの資金が実際に置かれるコントラクトは、9 つのネットワークすべてで公開され、オンチェーンで検証されています。認証はあなたの信頼を要求しますが、検証済みコントラクトにそれは不要です。
アカウントなし、配送なし
登録するものも配送するものもないため、あなたの名前や住所を私たちが持つことはありません。拡張機能の利用状況の計測は初期設定でオンになっており、設定でオフにできます。
脅威と、正直に向き合う
リモートのマルウェアとウォレットドレイナー
鍵はネットワーク接続のないデバイス上にあります。PC 上のマルウェアはトランザクションを提案できますが、署名できるのはオフラインのボールトだけで、しかもあなたが内容を読んだ後です。
ブラインド署名とフィッシング
ボールトは署名前に、すべての要求を信頼できる画面上で人間が読めるフィールドへ復号して表示します。署名するものは、見たものです。
ベンダー・サプライチェーンの侵害
ハードウェアを販売しないため、輸送中に細工されるものがありません。更新はブラウザのストア経由のみで届き、資金を預かるコントラクトはオンチェーンで検証されています。
デバイスの紛失・破損
紙のバックアップは暗号化された QR コードです。印刷して保管し、パスワードでどの携帯電話にでも復元できます。
実験設備を伴う物理的な盗難
ボールトは保存時にパスワードで暗号化されています。しかし携帯電話に認証済みセキュアエレメントはありません。デバイスを手にした装備十分な攻撃者に対しては、ハードウェアウォレットのチップの方がよく耐えます。まさにこの一点で Ledger が勝ります。私たちはそれを明言します。
強要(5 ドルのレンチ)
物理的な強要に耐えられるウォレットはありません。構造的な答えは M-of-N マルチシグです。強要されていようといまいと、単独で資金を動かせる人間は存在しません。
セキュアエレメントが勝る場面
認証済みセキュアエレメント(CC EAL5+)は、デキャップ、グリッチ、サイドチャネルといった物理的な鍵抽出に耐えます。主なリスクが、署名デバイスを物理的に奪う高度な攻撃者であるなら、専用チップはそのシナリオを携帯電話よりもよく守ります。このページを公開するのは、後から気づくのではなく、そのトレードオフを意識して選んでいただくためです。
それでもソフトウェアを選ぶ理由
2023 年、Ledger Recover は、セキュアエレメントの挙動を決めるのはファームウェアだと証明しました。チップは、ベンダーが出口を出荷するその日までシードを守っていたに過ぎません。検査できない部品は、ベンダーが望む間しかあなたを守りません。私たちは、信じるしかない約束よりも、自分で確かめられる性質を選びます。
私たちのことも信じないでください。確かめてください
2000+
自動テスト、変更のたびに実行
7
スマートコントラクト、9 チェーンにデプロイ
0
静的解析の指摘、設定は公開済み
100%
のコントラクトが公開・オンチェーン検証済み