メインコンテンツまでスキップ

ポスト量子署名

qorechain-pqc は、QoreChain を支えるオープンソースかつ標準規格のみに準拠したポスト量子暗号ライブラリです。ウォレット、インテグレーター、ツール開発者に対して、チェーンが使用しているものと全く同じプリミティブを 6 つの言語で、一貫した単一の API として提供し、共通のクロス言語テストベクタスイートによってバイト互換性が証明されています。

このライブラリは、最終確定した NIST 標準の監査済み実装をラップしています。独自方式を発明することはありません。非標準の変種こそが相互運用性を壊す原因です(ある場所で生成された署名が別の場所で検証できなくなります)。すべてのバインディングは同一のテストベクタで検証されているため、ある言語で生成された ML-DSA 署名は他のすべての言語で検証でき、ML-KEM の共有秘密は 6 言語すべてで一致し、SHAKE-256 のダイジェストも同一になります。

プリミティブ

プリミティブ標準規格役割レベル(デフォルトは太字
ML-DSAFIPS-204デジタル署名44 · 65 · 87
ML-KEMFIPS-203鍵カプセル化512 · 768 · 1024
SHAKE-256FIPS-202拡張可能出力ハッシュ

これらは QoreChain がプロトコルレベルで実行しているものと同じプリミティブです。すなわち ML-DSA-87 (Dilithium-5) 署名、ML-KEM-1024 鍵カプセル化、そしてデフォルトのアプリケーションハッシュとしての SHAKE-256 です。チェーンがこれらをどのように使用しているかはポスト量子セキュリティを参照してください。

サイズ(バイト)

サイズとセキュリティの予算に応じてセキュリティレベルを選択してください。

方式セキュリティ公開鍵署名 / 暗号文
ML-DSA-44L213122420
ML-DSA-65L319523309
ML-DSA-87L525924627
ML-KEM-512L1800768
ML-KEM-768L311841088
ML-KEM-1024L515681568

NIST 標準を小さくして、なお標準のままでいることはできません。ML-DSA-87 の鍵・署名サイズおよびバイト列は固定されており、これを「最適化」すると他のどの実装でも検証できない非標準の変種が生まれます。オンチェーンのフットプリントを縮小するには、方式そのものを改変するのではなく、後述のレバーを使用してください。

対応言語とパッケージ

すべての言語が同じ API を公開しており、それぞれ異なる監査済み実装に支えられています。これこそがバイト互換性を保証する仕組みです — 独立したバックエンド同士が標準規格の上で一致するのです。

言語パッケージインストールバックエンド
JavaScript / TypeScript@qorechain/pqc (npm)npm i @qorechain/pqc@noble/post-quantum
Rustqorechain-pqc (crates.io)cargo add qorechain-pqcfips204 · fips203 · sha3
Pythonqorechain-pqc (PyPI)pip install qorechain-pqc(インポートは qorpqcliboqs-python
Gogithub.com/qorechain/qorechain-pqc/gogo get github.com/qorechain/qorechain-pqc/goCloudflare CIRCL
Cc/(静的ライブラリ + ヘッダー)リポジトリからビルドliboqs + OpenSSL
Javaio.github.qorechain:qorechain-pqc (Maven Central)io.github.qorechain:qorechain-pqc:0.1.1Bouncy Castle
提供状況

JavaScript、Rust、Python、Go、Java の各バインディングはすべてバージョン 0.1.1 として公開済みです — 上記のコマンドで npm、crates.io、PyPI、Go モジュールプロキシ、Maven Central から直接インストールできます。Python ディストリビューションは qorechain-pqc としてインストールされますが、インポート名は qorpqc です。Java パッケージは Maven Central に io.github.qorechain:qorechain-pqc:0.1.1(Bouncy Castle バックエンド)として公開されています。C バインディングは静的ライブラリ + ヘッダーであり、github.com/qorechain/qorechain-pqc からご自身でビルドします。

決定論的署名(コンセンサスクリティカル)

バージョン 0.1.1 以降、sign()6 つのバインディングすべて決定論的 ML-DSA 変種(FIPS-204 §3.4、署名乱数が 32 バイトのゼロであるもの)を生成します — そしてチェーンが受け入れるのはこの変種のみです。QoreChain のトランザクション検証器は hedged(ランダム化)ML-DSA 署名を拒否するため、hedged 署名は暗号学的には検証可能であってもオンチェーンでは失敗します。

重要な事実:

  • デフォルトを変更しないでください。 決定論的署名はコンセンサスクリティカルであり、すべてのバインディングがその旨をドキュメントに明記しています。
  • 決定論的な出力は、同じ鍵とメッセージに対して 6 つのバインディングすべてでバイト単位で同一です — 共有のクロス言語テストベクタによって固定されています。
  • hedged 署名は、チェーン以外のユースケース向けに、各バインディングで明示的なオプトインとして引き続き利用できます(例: JavaScript では {hedged: true}、Rust では sign_hedged、Java では mldsaSignHedged、Python では sign(..., hedged=True))— hedged 署名はチェーンでは受け入れられません
  • JavaScript バインディングのバージョン 0.1.0 はデフォルトで hedged 署名を行っていました — 0.1.0 でトランザクションツールを構築した場合は 0.1.1 にアップグレードしてください。旧デフォルトで署名されたトランザクションはオンチェーンで拒否されます。

決定論的な鍵導出と復元

エコシステム標準の導出方式は、ML-DSA-87 鍵をアカウントに結び付けるため、アカウントのニーモニックのみから復元可能です:

seed = SHAKE-256("qorechain:pqc:v1|" + cosmosAddress + "|" + mnemonic)
(publicKey, secretKey) = mldsa.keygen(seed)

公開済みのすべてのツール(@qorechain/wallet-adapter@qorechain/sdk@qorechain/chain-bridge ≥0.1.1)がこの同じ鍵を導出するため、どのツールを使っても 1 つのニーモニックからは 1 つの鍵が生成されます。CLI で鍵を復元するには(ニーモニックは stdin から入力):

qorechaind tx pqc recover-key mykey qor1youraddress...
# legacy tooling derivation (shake256(mnemonic) only, unbound to the address):
qorechaind tx pqc recover-key mykey qor1youraddress... --derivation bridge

鍵ローテーション(同一アルゴリズム内)

チェーンバージョン v3.1.85 以降、MsgRotatePQCKey によってアカウントの ML-DSA-87 鍵を同一アルゴリズム内でローテーションできます — 以前は登録は一度きりであり、MigratePQCKey はアルゴリズム間の移行のみを扱っていました。レガシー導出の鍵を正規のアドレス結合導出方式に移行する場合や、危殆化した鍵を廃止する場合に使用してください。

ローテーションは二重署名されます。すなわち、旧鍵と新鍵の両方が、ドメイン分離されたメッセージ "qorechain-pqc-rotate-v1|chainId|algorithm|account|oldPubHex|newPubHex" に署名します。リプレイは構造的に不可能です — ローテーション完了後は旧鍵が登録済みの鍵と一致しなくなるため、同じメッセージを再適用することはできません。ローテーションはルート鍵のみの操作であり(オーセンティケーターに委任することは決してできません)、トランザクション自体は依然として鍵によるハイブリッド署名が行われ、現在の所有権を証明します。

ワンショット CLI(ニーモニックは stdin から入力。旧鍵を復元し、新鍵を導出または生成し、二重署名してブロードキャストします):

# migrate a legacy-derived key to the canonical derivation:
qorechaind tx pqc rotate-key --old-derivation bridge --new-derivation adapter \
--from mykey --chain-id qorechain-vladi -o json -y

# rotate to a brand-new random key (compromise recovery):
qorechaind tx pqc rotate-key --old-derivation adapter --new-random \
--from mykey --chain-id qorechain-vladi -o json -y

コード上では、@qorechain/wallet-adapter(≥0.1.7)および @qorechain/sdk(≥0.7.0)が同じフローを公開しています:

import { rotatePqcKeyMsgFromMnemonic } from "@qorechain/wallet-adapter";

// Builds the dual-signed MsgRotatePQCKey migrating shake256(mnemonic) -> canonical:
const msg = await rotatePqcKeyMsgFromMnemonic({
mnemonic, address: "qor1youraddress...", chainId: "qorechain-vladi",
});
// Sign & broadcast with the account's normal hybrid signer (old key cosigns the envelope).

ローテーションが成功すると、新しい鍵での署名は成功し(code 0)、古い鍵は拒否されます(pqc code 21)。

一貫した API

すべての言語が同じインターフェースを提供します:

keygen() -> (publicKey, secretKey)
sign(secretKey, message) -> signature
verify(publicKey, message, signature) -> bool

kem.keygen() -> (publicKey, secretKey)
kem.encapsulate(publicKey) -> (cipherText, sharedSecret)
kem.decapsulate(secretKey, cipherText)-> sharedSecret

shake256(data, outLen=32) -> digest

クイックスタート (JavaScript / TypeScript)

import { mldsa, mlkem, shake256, pubkeyHash } from '@qorechain/pqc';

// ML-DSA-87 signatures
const { publicKey, secretKey } = mldsa.keygen();
const sig = mldsa.sign(secretKey, message);
mldsa.verify(publicKey, message, sig); // true

// ML-KEM-1024 key encapsulation
const { publicKey: ek, secretKey: dk } = mlkem.keygen();
const { cipherText, sharedSecret } = mlkem.encapsulate(ek);
mlkem.decapsulate(dk, cipherText); // === sharedSecret

// SHAKE-256 + blockchain helpers
shake256(data, 32); // 32-byte digest
pubkeyHash(publicKey, 20); // pay-to-pubkey-hash

デフォルトが要件に合わない場合は、レベル別のエクスポートが利用できます: mldsa44/65/87 および mlkem512/768/1024mldsa / mlkem は L5 のデフォルトです)。

Rust、Go、C、Python、Java の各バインディングもこれを正確に踏襲しています。例:

// Rust
use qorechain_pqc::mldsa::default as mldsa;
let (pk, sk) = mldsa::keygen()?;
let sig = mldsa::sign(&sk, msg)?;
assert!(mldsa::verify(&pk, msg, &sig));
// Go
pk, sk, _ := pqc.MLDSA.Keygen()
sig, _ := pqc.MLDSA.Sign(sk, msg)
pqc.MLDSA.Verify(pk, msg, sig) // true

ブロックチェーンヘルパー

生のプリミティブに加えて、このライブラリはインテグレーターが QoreChain のアカウントおよびトランザクションとやり取りするために必要な 2 つのヘルパーを公開しています。

pubkeyHash(pk, len=20)

pay-to-pubkey-hash 登録用ヘルパーです。公開鍵の短い(20〜32 バイトの)SHAKE-256 ハッシュを生成します。パターンは次のとおりです: アカウント状態には pubkeyHash のみを保存し、完全な公開鍵はトランザクション内で要求します。これにより、1〜2.5 KB の鍵サイズに関係なく、アカウント状態は小さいまま保たれます。

hybridSignBytes(bodyWithoutPqcExt, authInfo)

QoreChain のウォレット互換なハイブリッド拡張 sign-bytes フレーミングです。ハイブリッドトランザクションの PQC 側を構成するために ML-DSA-87 (Dilithium-5) で署名すべきバイト列を、正確に生成します。

これは、ウォレットとインテグレーターが cosmos トランザクションパス上で必須のハイブリッド署名を生成するために使用する部品です。現行のチェーンバージョンでは、ハイブリッド署名はデフォルトで必須です(hybrid_signature_mode = requiredallow_classical_fallback = false)。cosmos パスのすべてのトランザクションは、従来型の secp256k1 署名に加えて Dilithium-5 署名を伴わなければなりません。強制モデルについてはポスト量子セキュリティを参照してください。

従来型の secp256k1 署名は標準の sign bytes(PQC 拡張を含まない)に対して計算され、ML-DSA-87 署名は計算されたのち PQCHybridSignature 拡張として添付されます。従来型の sign bytes が拡張を含まないため、検証者が PQC 部分を理解するかどうかに関係なく、従来型署名は有効なままです。

このハイブリッド署名を生成する方法は 3 つあります:

  • CLIqorechaind tx pqc cosign がトランザクションに Dilithium-5 の副署名を添付します(事前に qorechaind tx pqc gen-key を実行)。トランザクションコマンドを参照してください。
  • QoreChain SDKbuildHybridTxincludePqcPublicKey 付き)が TypeScript/Python/Go/Rust で同等の処理を行います。SDK アカウントと PQC 署名を参照してください。
  • qorechain-pqc を直接使用 — サポートされている 6 言語のいずれかで SDK 外のツールを構築する場合は、hybridSignBytes で sign bytes をフレーミングし、mldsa.sign で Dilithium-5 署名を生成してください。

オンチェーンフットプリントの最適化

ML-DSA の鍵と署名は、従来型の基準からすると大きなサイズです。標準規格のバイト列は固定されているため、オンチェーンのフットプリントを小さく保つ方法は、以下の 3 つのレバーを使うことです — いずれも標準規格そのものを改変しません:

  1. セキュリティレベルを意図的に選択する。 ML-DSA-65 (L3) の署名は ML-DSA-87 (L5) より約 28% 小さく、それでも非常に強力です。ML-KEM-768 の暗号文は 1024 よりも小さくなります。ユースケースごとに選択してください。
  2. Pay-to-pubkey-hash。 アカウント状態には pubkeyHash(pk)(SHAKE-256 の 20〜32 バイト)のみを保存し、完全な公開鍵はトランザクション内で要求します。鍵サイズに関係なく、アカウント状態は小さいまま保たれます。
  3. 署名の検証後破棄。 署名はトランザクション(ブロックデータ)内に存在しなければなりませんが、永続的な状態ツリーに書き込んではなりません。

なぜ Falcon がないのか? FN-DSA (Falcon) を使えばより小さい署名が得られますが、意図的に除外されています。FN-DSA は FIPS-206 のドラフト(未確定)であり、標準規格のみを扱うライブラリは最終確定した標準だけを出荷するためです。FIPS-206 が最終確定した時点で再検討される可能性があります。

関連ページ