Legion ZK Auth 🛡️

ハードウェアにバインドされたデバイスリング署名による真のゼロ知識認証

🎯 Legionとは？

Legionは、自分が誰であるかを明かすことなく、承認されていることを証明するパスワードレスなゼロ知識認証システムです。

指紋 + 24語のリカバリフレーズ（MetaMaskのような）だけで認証できます。ユーザー名もパスワードもサーバー側の秘密も不要です。

主な機能

✅ パスワードレス認証: BIP-39リカバリフレーズ + 指紋（ユーザー名/パスワード不要）
✅ 真のゼロ知識: サーバーはあなたの身元を知ることはありません（100万人のうちの1人）
✅ デバイスの匿名性: リング署名によるハードウェア結合（1,000台のうちの1台）
✅ トラステッドセットアップ不要: Halo2 PLONK（透過的セットアップ）
✅ ハードウェアセキュリティ: WebAuthn TPM/Secure Enclaveバインド
✅ リプレイ保護: Nullifiers + タイムスタンプ
✅ セッションセキュリティ: リンカビリティタグによる盗難防止
✅ マルチデバイス対応: 同じアカウントを2台のデバイス（ノートPC + スマートフォン）で使用可能
✅ レート制限: 1時間あたり5回の試行（一般的なエラーにより列挙を防止）
✅ デバイス失効: 盗難デバイスを即座にブロック

🔒 セキュリティ保証 (v1.3.0)

プロパティ	保証
認証	パスワードレス (BIP-39 + 指紋)
ユーザーの匿名性	2^20分の1 (1,048,576)
デバイスの匿名性	ユーザーごとに 2^10分の1 (1,024)
健全性エラー	2^-128
証明システム	Halo2 PLONK (透過的セットアップ)
認証情報の導出	Blake3 (BIP-39 シード)
ハードウェア結合	WebAuthn Level 2 (TPM/Secure Enclave)
マルチデバイス	アカウントごとに最大2台
レート制限	1時間あたり5回の試行
デバイス失効	即時ブラックリスト

🚀 クイックスタート (ワンコマンド!)

前提条件

Docker (Docker Composeを含む)

インストールと実行```bash

Clone and run

git clone https://github.com/deadends/legion.git cd legion

Linux/macOS

chmod +x scripts/install.sh && ./scripts/install.sh

Windows

scripts\install.bat

**これで完了です！** ブラウザで http://localhost を開いてください。

### インストールされるもの
- ✅ Redis（セッションストレージ）
- ✅ Legion Server（ZKプルーフ検証器）
- ✅ Frontend（WASMクライアント）
- ✅ Nginx（リバースプロキシ）

**パフォーマンス**：登録 約5秒、認証 約2分（k=14 プルーフ生成）

---

### 手動セットアップ（Docker不使用）

<details>
<summary>クリックして手動インストールを展開</summary>```bash
# 1. Install Redis
# macOS: brew install redis && redis-server
# Ubuntu: sudo apt install redis && redis-server
# Windows: https://redis.io/docs/install/install-redis/install-redis-on-windows/

# 2. Run server (terminal 1)
cd legion-server
cargo run --release --features redis

# 3. Build frontend (terminal 2)
cd wasm-client
wasm-pack build --target web --release
python3 -m http.server 8000

# 4. Open http://localhost:8000

本番環境へのデプロイについては、DEPLOYMENT.md を参照してください

📊 パフォーマンス

セキュリティレベル	k	証明時間	証明サイズ	用途
開発	12	~30s	3.2 KB	テスト
本番	14	~2min	3.4 KB	推奨

検証ベンチマーク

テストハードウェア: Lenovo IdeaPad 3 - Intel Core i3 11th Gen
注記: パフォーマンスはハードウェアの仕様によって異なる場合があります。

k=12 (開発/テスト)

メトリクス	値	備考
証明サイズ	3,264バイト	圧縮後 3.19 KB
公開入力	10	ユーザーツリールート、デバイスツリールート、nullifier など
パラメータ生成	7.03s	k 値ごとの一回限りのセットアップ
回路作成	2.3µs	無視できるオーバーヘッド
検証鍵生成	1.29s	一回限りの鍵生成
証明検証	107.7ms	実際のZK証明チェック
合計検証	8.43s	エンドツーエンド（キャッシュなし）

内訳:

🔥 コールドスタート（初回検証）: ~8.4s（パラメータ＋鍵生成＋検証を含む）
⚡ 後続の検証（キャッシュあり）: ~108ms（パラメータ/鍵生成はキャッシュ済み）
💾 証明オーバーヘッド: 公開入力あたり ~326バイト
🔐 回路の複雑さ: ユーザーツリー（20レベル）＋デバイスツリー（10レベル）＋バインディング

k=14 (本番 - 推奨)

メトリクス	値	備考
証明サイズ	3,392バイト	圧縮後 3.31 KB
公開入力	10	ユーザーツリールート、デバイスツリールート、nullifier など
パラメータ生成	100.78s	k 値ごとの一回限りのセットアップ
回路作成	5µs	無視できるオーバーヘッド
検証鍵生成	12.89s	一回限りの鍵生成
証明検証	967.2ms	実際のZK証明チェック
合計検証	114.65s	エンドツーエンド（キャッシュなし）