NEXUS-Q プロジェクトステータス報告書

最終確認日：2026 年 10 月 28 日

現在の実装ステータス

リリースバージョン情報

• 現在のリリース:

  NEXUS-Q v4.1.2

• カテゴリ: 監査対応版 (Audit-Ready Release)
• 重要な制限事項:
  • 「運用環境への適合性（Production-readiness）」を断言するものではありません。
  • FIPS 認証は取得されていません。
  • 外部からの第三者監査は現在待機中です。
  • 詳細および制限事項については

    docs/V4_RELEASE.md

    をご参照ください。

バックエンド実装状況

• デフォルトパス: RustCrypto が引き続き使用されます。
• ML-KEM / ML-DSA 対応ネイティブバックエンド:
  • ステータス：実験的 (Experimental) です。
  • 利用方式:オプトイン（手動有効化） 必要です。
  • 監査状況:独立した第三者監査は受けていません。

プロジェクト概要 (At a Glance)

機能性と成熟度マトリックス

native-backend

セキュリティモデル概要 (Security Model)

主要なセキュリティ質問と制限事項

• 考慮される敵対者: ネットワーク攻撃者とローカルでの非特権攻撃者（脅威モデルを参照）。
  • 制限: エンドポイント侵害や特権的な悪意あるインフラが存在する場合は前提条件が破られます。
• セーフハウスファイルの盗難: データは「保存時」に暗号化され、鍵マテリアルはライフサイクルを通じて管理されます。
  • 制限: 保護の有効性はパスワード強度や、攻撃者がシークレット/メモリを取得しないことに依存します。
• デバイスの侵害時対応: ゼロ化（秘密情報の消去）、ポリシーチェック、多層防御を提供します。
  • 制限: OS や特権アカウントを制御する攻撃者からの保護は保証しません。
• パスワードの喪失時: 文書化されたバックアップおよび回復手順に従ってください。
  • 制限: パスワードリセットで暗号学的シークレットが常に復元されるわけではありません。運用使用前に回復テストを行ってください。
• 外部監査・認定: FIPS 140-3 または共通基準 (Common Criteria) の認証は謳っていません。
  • 制限: 自動テストや CI は、独立したレビューの代わりにはなりません。
• 依存関係の注意報:

  RUSTSEC-2023-0071

  (RSA) は例外として残っています。

モジュールと SDK

リポジトリは暗号学的コアからインターフェース、言語バインディングを分離しています。各パッケージは異なる成熟度やプラットフォームサポートを持つ可能性があります。

nexusq-core

nexusq-kernels

nexusq-ml-kem

nexusq-ml-dsa

nexusq

nexusq-cli

nexusq-server

nexusq-c

nexusq-cpp

nexusq-py

nexusq-admin

enrollment

ha

hsm

ocsp

pki-cluster

tsa

x509

bindings/

arena/

BENCHMARKS.md

オブザビューと機能性

保護対象とコア機能

NEXUS-Q は次世代の暗号セキュリティエンジンであり、以下のものを保護します：

• 🔒 データ
• 🗝️ 鍵 (Keys)
• 🪪 アイデンティティ (Identities)

コア機能:

• ファイルおよびストリームの認証付き暗号化。
• 完全なライフサイクル管理：生成、ローテーション、撤回、破壊。
• デジタル署名と検証可能な資格証明書。

アーキテクチャ原則

• 暗号学は独自に考案しません: 標準化されたアルゴリズムとメンテナンスされているライブラリのみを使用します。
• Library-first (ライブラリー優先): コアは Rust ライブラリであり、CLI/SDK はその上位レイヤーです。
• Hardware-agnostic boundary: ハードウェアプロバイダインターフェースは分離されており、具体的な隔絶の主張は実装完了時にのみ行われます。
• Zeroization: 必要不再の秘密情報はメモリから消去されます。
• Auditability: セキュリティアクションは、改ざん検知不可能な HMAC 認証付きログに記録されます。

コンポーネント定義

nexusq-core

nexusq-cli

nexusq-server

bindings/

ビルド要件

• 必須: Rust 1.88 以上 (Edition 2024)、Git。
• プラットフォーム検証: Linux (x86_64, aarch64), Android / Termux, RISC-V。macOS/Windows は V2 CI で検証済み（リリースビルド）。

暗号化 (Cryptography)

標準アルゴリズムおよび後量子計算セキュリティに対応した以下のファミリを使用しています。詳細は

docs/CRYPTOGRAPHY.md

完了済み機能リスト (Completed Features)

• 基礎文書、脅威モデル、暗号ルール。
• Crypto コア: ML-KEM-768 の X25519 ハイブリッド、AES-256-GCM など。
• 鍵管理: 完全なライフサイクル（生成〜破壊）サポート。
• ストレージ: アトミックライト対応の暗号化セーフハウス（形式 F-01）、エンベロープ暗号化（形式 F-02）。
• アイデンティティ: 署名、検証、ローテーション、撤回機能付き資格証明書。
• セキュリティ機能: TPM/HSM/RISC-V 向けソフトウェア HA (Hardware Abstraction)、TRNG サポート、HMAC 認証付き監査ログ。
• ポリシー: デフォルト拒否ポリシーエンジン。
• CLI コマンド: セーフハウス、鍵、データ、署名、アイデンティティ、資格証明書、監査機能への対応。

ベンチマーク結果

重要なお断り

以下のデータは示唆的な数値に過ぎず、万能なパフォーマンス保証や最終的なセキュリティ認定の代わりにはなりません。ハードウェア、ランナー環境、サンプル数が異なる場合があります。総合スコアは算出されていません。低遅延が望ましいです。

1. ローカル診断 (2026 年 10 月 21 日 x86-64)

オプトインネイティブバックエンド（AWS-LC RNG 使用）を最良のコンパレータと対比した結果です。9 の操作中で 6 つが中央値・p95 でコンパレータを上回り、残りはほぼ同等でした。

2. v4.1.0 ステータスライン (CI ゲート結果)

公式パスゲート（1.5× 中央値および p95）を達成した測定結果です。AMD EPYC 7763 環境での測定。

注記: ネイティブバックエンドは実験的かつオプトインです。デフォルトビルドでは RustCrypto が使用されています。

3. アリーナ比較とバージョン推移 (歴史的データ)

• v1 ベースライン: ML-KEM/ML-DSA オペレーションにおいて最速の成熟実装よりも遅れていました（例：署名で 4.46× のオーバーヘッド）。V4 での主要な目標はこのギャップ縮小でした。
• V2 vs V3 比較: V1 と比較して、特定のオペレーション（特に ML-DSA-65 署名）でパフォーマンス増悪が見られますが、V3 はセキュリティ強化を維持する方針として設計されています。
• V4.1.0 ゲート: メインブランチでの PQC ベンチマークアリーナランと、運用パスゲート（1.5× ゲート）の両方で緑色（パス） となりました。

リリースラインステータス

• V4 エンジニアリングタグ:

  v4-engineering-2026-10-16

  がメインブランチ統合済み。公式 1.5× ゲートパス済み。
• V3: ハーデン化された実装であり、独立した監査や認定の主張ではありません。
• V2/V1: セキュリティモデルを維持しつつ、パフォーマンス調査やアーカイブ証拠が整備されています。

クイックスタートとコマンド

ビルドおよび基本操作

環境要件: Rust 1.88+ のインストール完了後、リポジトリルートから以下のコマンドを実行します。

# ワークスペースをビルド
cargo build --workspace --release

# セーフハウスの作成とステータス調査
./target/release/nexusq vault create ./example.nqv
./target/release/nexusq vault status ./example.nqv
./target/release/nexusq health

# 署名鍵の生成（--password-file を推奨）
./target/release/nexusq key generate \
  ./example.nqv \
  --algorithm ed25519 \
  --purpose sign \
  --password-file ./password.txt

# データの暗号化と復号化
./target/release/nexusq data encrypt \
  ./example.nqv \
  --key-id <key-id> \
  ./secret.txt

./target/release/nexusq data decrypt \
  ./example.nqv \
  ./secret.txt.nqx \
  ./secret.out

セキュリティと運用の注意

• パスワード管理:

  password.txt

  は厳重に管理し、コミットしないでください。
• アルゴリズム選択: クイックスタート例では古典暗号（Ed25519）を使用していますが、後量子計算対応の ML-KEM/ML-DSA についてはライブラリドキュメント（

  docs/user/CLI.md

  など）を参照してください。
• クロスコンパイル: RISC-V 向けビルドは

  docs/CROSS_COMPILE.md

  を参照してください。

リリースデプロイ

cargo build --workspace --release
./deploy/package-release.sh

生成アーカイブ内容: CLI、サーバー、設定例、SHA-256 マニフェストを含む。運用トークン、セーフハウス、秘密鍵は含まれません。詳細は

docs/DEPLOYMENT.md

を参照してください。

インストール (Installation)

現在の推奨リリース: NEXUS-Q v4.1.2 (Audit-Ready Release) です。 Go モジュールおよび実験的なネイティブバックエンド (

nexusq-native-backend

cargo add nexusq@4.1.2

cargo add nexusq-core@4.1.2

cargo add nexusq-native-backend@0.1.0

cargo install nexusq-cli --version 4.1.2

cargo install nexusq-server --version 4.1.2

pip install nexusq==4.1.2

npm install nexusq@4.1.2

io.github.lecodev-26:nexusq:4.1.2

io.github.lecodev-26:nexusq-kotlin:4.1.2

dotnet add package Nexusq --version 4.1.2

.package(url: "...nexus-q.git", from: "4.1.2")

dart pub add nexusq:^4.1.2

go get github.com/.../nexusq/bindings/go/nexusq@v0.1.0

composer require lecodev-26/nexusq:4.1.2

gem install nexusq -v 4.1.2

Maven / Gradle サンプル

Maven

<dependency>
  <groupId>io.github.lecodev-26</groupId>
  <artifactId>nexusq</artifactId>
  <version>4.1.2</version>
</dependency>

Gradle (Kotlin DSL)

implementation("io.github.lecodev-26:nexusq:4.1.2")
implementation("io.github.lecodev-26:nexusq-kotlin:4.1.2")

ネイティブランタイムへの注記

• バインディング言語 (Go, PHP など): C SDK (

  libnexusq

  ) に対する FFI Wrapper です。自動ランタイムダウンロードは SDK 依存です。
• Python:

  crates/nexusq-py

  (PyO3) からビルドされたネイティブ拡張モジュールです（ホイールなし）。
• .NET / Swift: P/Invoke やシステムライブラリを通じて C SDK にリンクします。
• C SDK: ソースから直接ビルド（

  cargo build -p nexusq-c --release

  ）またはパッケージを使用可能。

ドキュメント (Documentation)

ユーザー向けのタスク指向ガイドと技術的なリファレンスドキュメントは以下のディレクトリにあります。

セキュリティと保証 (Security and Assurance)

重要なステートメント

• 疑わしい脆弱性: GitHub Security Advisories を通じて非公開に報告してください (

  SECURITY.md

  参照)。
• 依存関係: すべての検証ステートメントを確認する前に、現在のメイン CI 結果をチェックしてください。

コントリビューティング (Contributing)

Issue でのバグ報告、ドキュメント改善、およびプルリクエストは歓迎されます。変更を開く前に以下の手順に従ってください：

1. 文書化の確認: アーキテクチャ、脅威モデル、暗号ルール、セキュリティポリシーを読み込んでください。
2. 暗号プリミティブの委任: 独自に暗号学を考案したり、シリアル化フォーマットを変更しないでください（既存ライブラリを使用）。
3. テストとドキュメント: 動作変化に合わせてテストを追加/更新し、パフォーマンスワークの場合は生証拠を保存してください。
4. ローカルチェックの実行:

   cargo fmt --all -- --check
   cargo test --workspace
   cargo build --workspace --release
   

5. セキュリティ影響の説明: プルリクエストでセキュリティ影響と互換性影響を明確に記述してください。機密情報を含めないでください。

ライセンス (License)

本プロジェクトは、MIT ライセンス または Apache License 2.0 から選択することでデュアルライセンスされています。これは Rust エコシステムにおける慣習（Tokio や Serde などと同様）に準拠しています。