Locker Protocol の脅威モデル

何を防ぎ、何を防がないか。そして、なぜ信頼するハードウェアではなく検証可能性を選んだのか。

3 つの原則

ポリシーではなく、構造としてのエアギャップ

署名デバイスには USB も Bluetooth もネットワークもありません。要求と署名は、目に見える QR コードとして渡ります。物理法則が保証する性質に、約束は要りません。

検証可能は認証済みに勝る

あなたの資金が実際に置かれるコントラクトは、9 つのネットワークすべてで公開され、オンチェーンで検証されています。認証はあなたの信頼を要求しますが、検証済みコントラクトにそれは不要です。

アカウントなし、配送なし

登録するものも配送するものもないため、あなたの名前や住所を私たちが持つことはありません。拡張機能の利用状況の計測は初期設定でオンになっており、設定でオフにできます。

脅威と、正直に向き合う

リモートのマルウェアとウォレットドレイナー

防御

鍵はネットワーク接続のないデバイス上にあります。PC 上のマルウェアはトランザクションを提案できますが、署名できるのはオフラインのボールトだけで、しかもあなたが内容を読んだ後です。

ブラインド署名とフィッシング

防御

ボールトは署名前に、すべての要求を信頼できる画面上で人間が読めるフィールドへ復号して表示します。署名するものは、見たものです。

ベンダー・サプライチェーンの侵害

防御

ハードウェアを販売しないため、輸送中に細工されるものがありません。更新はブラウザのストア経由のみで届き、資金を預かるコントラクトはオンチェーンで検証されています。

デバイスの紛失・破損

防御

紙のバックアップは暗号化された QR コードです。印刷して保管し、パスワードでどの携帯電話にでも復元できます。

実験設備を伴う物理的な盗難

部分的、正直な限界

ボールトは保存時にパスワードで暗号化されています。しかし携帯電話に認証済みセキュアエレメントはありません。デバイスを手にした装備十分な攻撃者に対しては、ハードウェアウォレットのチップの方がよく耐えます。まさにこの一点で Ledger が勝ります。私たちはそれを明言します。

強要(5 ドルのレンチ)

対象外

物理的な強要に耐えられるウォレットはありません。構造的な答えは M-of-N マルチシグです。強要されていようといまいと、単独で資金を動かせる人間は存在しません。

セキュアエレメントが勝る場面

認証済みセキュアエレメント(CC EAL5+)は、デキャップ、グリッチ、サイドチャネルといった物理的な鍵抽出に耐えます。主なリスクが、署名デバイスを物理的に奪う高度な攻撃者であるなら、専用チップはそのシナリオを携帯電話よりもよく守ります。このページを公開するのは、後から気づくのではなく、そのトレードオフを意識して選んでいただくためです。

それでもソフトウェアを選ぶ理由

2023 年、Ledger Recover は、セキュアエレメントの挙動を決めるのはファームウェアだと証明しました。チップは、ベンダーが出口を出荷するその日までシードを守っていたに過ぎません。検査できない部品は、ベンダーが望む間しかあなたを守りません。私たちは、信じるしかない約束よりも、自分で確かめられる性質を選びます。

私たちのことも信じないでください。確かめてください

2000+

自動テスト、変更のたびに実行

7

スマートコントラクト、9 チェーンにデプロイ

0

静的解析の指摘、設定は公開済み

100%

のコントラクトが公開・オンチェーン検証済み