Legion ZK Auth 🛡️

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

🎯 Legionとは？

Legionは、あなたが誰であるかを明かすことなく、あなたが認可されていることを証明するゼロ知識認証システムです。 あなたは公開データに基づいて何かを証明し、現在のアクションをあなたの公開アドレスに結び付けません。

主な機能

• ✅ 真のゼロ知識: サーバーはあなたの身元を決して知らない（100万人中1人）
• ✅ デバイスの匿名性: リング署名によるハードウェアバインディング（1,000台中1台）
• ✅ トラステッドセットアップ不要: Halo2 PLONK（透明なセットアップ）
• ✅ ハードウェアセキュリティ: WebAuthn TPM/Secure Enclaveバインディング
• ✅ リプレイ保護: ナリファイア＋タイムスタンプ
• ✅ セッションセキュリティ: リンカビリティタグによる盗難防止
• ✅ レート制限: 1時間あたり5回の試行（一般的なエラーで列挙を防止）
• ✅ デバイス失効: 盗まれたデバイスを即座にブロック
• ✅ 動作環境: Docker、systemd、モニタリングを含む

🔒 セキュリティ保証（v1.1.0）

🚀 クイックスタート（コマンド1つ！）

前提条件

• Docker（Docker Composeを含む）

インストールと実行

# Clone and run
git clone https://github.com/deadends/legion.git
cd legion

# Linux/macOS
chmod +x install.sh && ./install.sh

# Windows
install.bat

以上です！ ブラウザで http://localhost を開いてください。

インストールされるもの

• ✅ Redis（セッションストレージ）
• ✅ Legion Server（ZK 証明検証器）
• ✅ フロントエンド（WASM クライアント）
• ✅ Nginx（リバースプロキシ）

パフォーマンス: 登録 約10秒、認証 約4分（k=16 証明生成）

手動セットアップ（Docker を使用しない場合）

# 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 を参照してください。

📊 パフォーマンス

🏗️ アーキテクチャ

📖 暗号技術の詳細を含む段階的な認証フローの詳細については、ARCHITECTURE_FLOW.md を参照してください

システムコンポーネント

┌──────────────────────────────────────────────────────────────────────────┐
│                            CLIENT (Browser)                              │
├──────────────────────────────────────────────────────────────────────────┤
│  ┌────────────────┐  ┌─────────────────┐  ┌──────────────────────────┐   │
│  │  UI Layer      │  │  WASM Module    │  │  Hardware Security       │   │
│  │  (Vanilla JS)  │  │  (Rust→WASM)    │  │  (WebAuthn Level 2)      │   │
│  ├────────────────┤  ├─────────────────┤  ├──────────────────────────┤   │
│  │ • Registration │  │ • Blake3 Hash   │  │ • TPM 2.0                │   │
│  │ • Login Form   │  │ • Argon2id KDF  │  │ • Secure Enclave         │   │
│  │ • Session UI   │  │ • Halo2 Prover  │  │ • FIDO2 Authenticator    │   │
│  │ • Error Handle │  │ • Merkle Proof  │  │ • Device Private Key     │   │
│  └────────────────┘  └─────────────────┘  └──────────────────────────┘   │
└────────────────────────────────┬─────────────────────────────────────────┘
                                 │ HTTPS/TLS 1.3
                                 │ (Encrypted Channel)
                                 ▼
┌──────────────────────────────────────────────────────────────────────────┐
│                         REVERSE PROXY (Nginx)                            │
├──────────────────────────────────────────────────────────────────────────┤
│  • TLS Termination          • Rate Limiting (100 req/min)                │
│  • Load Balancing           • Request Logging                            │
│  • Static File Serving      • Security Headers (CSP, HSTS)               │
└────────────────────────────────┬─────────────────────────────────────────┘
                                 │ HTTP (Internal Network)
                                 ▼
┌──────────────────────────────────────────────────────────────────────────┐
│                    LEGION SERVER (Rust/Axum)                             │
├──────────────────────────────────────────────────────────────────────────┤
│  ┌─────────────────────────────────────────────────────────────────┐     │
│  │                      API Layer (Axum)                           │     │
│  ├─────────────────────────────────────────────────────────────────┤     │
│  │ POST /register        │ POST /auth/challenge │ POST /auth/verify│     │
│  │ POST /auth/session    │ GET  /health         │ POST /logout     │     │
│  └─────────────────────────────────────────────────────────────────┘     │
│                                   │                                      │
│  ┌─────────────────────────────────────────────────────────────────┐     │
│  │                   Business Logic Layer                          │     │
│  ├─────────────────────────────────────────────────────────────────┤     │
│  │ • Credential Manager    │ • Challenge Generator (32-byte random)│     │
│  │ • Merkle Tree Builder   │ • Nullifier Tracker (replay protection)│    │
│  │ • ZK Proof Verifier     │ • Session Manager (linkability tags)  │     │
│  │ • Device Tree Manager   │ • Timestamp Validator (±5min window)  │     │
│  └─────────────────────────────────────────────────────────────────┘     │
│                                   │                                      │
│  ┌─────────────────────────────────────────────────────────────────┐     │
│  │                   Cryptographic Layer                           │     │
│  ├─────────────────────────────────────────────────────────────────┤     │
│  │ • Halo2 Verifier (PLONK) │ • Poseidon Hash (ZK-friendly)        │     │
│  │ • Blake3 (credential hash)│ • Argon2id (password KDF)           │     │
│  │ • Merkle Tree (2^20 users)│ • Device Tree (2^10 devices/user)   │     │
│  └─────────────────────────────────────────────────────────────────┘     │
└────────────────────────┬──────────────────────┬──────────────────────────┘
                         │                      │
                         ▼                      ▼
        ┌────────────────────────┐  ┌───────────────────────────┐
        │   Redis (In-Memory)    │  │  RocksDB (Persistent)     │
        ├────────────────────────┤  ├───────────────────────────┤
        │ • Session Tokens       │  │ • User Credentials        │
        │ • Linkability Tags     │  │ • Merkle Tree Nodes       │
        │ • Active Challenges    │  │ • Device Trees            │
        │ • Nullifier Cache      │  │ • Nullifier History       │
        │ TTL: 1 hour            │  │ Persistent Storage        │
        └────────────────────────┘  └───────────────────────────┘

認証フロー（簡略版）