aws-lc-rs

事実とその根拠となるチェック

以下の内容はドキュメントからの転記ではありません。2026年10月20日に、チェック content/libraries/verify/aws-lc-rs/run.sh がコンテナイメージ rust:1.99.1-trixie 内で aws-lc-rs 1.18.2 を実行しました。このページの内容はその出力と一致していなければならず、各事実には該当する出力行を示しています。

• ECDSA 署名のエンコーディング

  der-or-raw

  *_FIXED 定数は 64 バイトの生の r‖s で、*_ASN1 定数は DER で署名します。生の署名は ASN1 定数では検証を通りませんでした。

  チェックによる記録

  fact ecdsa-signature-encoding = der-or-raw
  evidence ecdsa-signature-encoding: FIXED signs 64 bytes; the same bytes verify under the ASN1 constant: false

• ECDSA の nonce

  random

  nonce はランダムです。同じメッセージの 2 つの署名は異なります。

  チェックによる記録

  fact ecdsa-nonce = random

• 署名時の low-S

  either

  s は正規化されません。64 個の署名の中に high-S の値が現れました。

  チェックによる記録

  fact ecdsa-low-s-sign = either

• 検証時の high-S

  accepts-high-s

  FIXED 定数による検証は、s を n − s に置き換えた署名を受け入れました。

  チェックによる記録

  fact ecdsa-low-s-verify = accepts-high-s

• 署名呼び出しがハッシュする対象

  hashes-message

  メッセージは、定数で指定されたアルゴリズム（SHA-2 または SHA-3 のバリアント）でハッシュされます。

  チェックによる記録

  fact ecdsa-prehash = hashes-message

• 不正な形式の ECDSA 署名

  returns-error

  形式の誤った署名や正しくない署名に対して、検証はエラー値を返します。

  チェックによる記録

  fact ecdsa-malformed-signature = returns-error

• ECDSA の曲線

  P-256P-384P-521secp256k1

  P-256、P-384、P-521、secp256k1 で署名と検証ができました。

  チェックによる記録

  fact ecdsa-curves = P-256, P-384, P-521, secp256k1

• EdDSA

  Ed25519

  Ed25519 です。

  チェックによる記録

  fact eddsa = Ed25519

• Ed25519 の PKCS #8 v1 鍵

  accepted

  Ed25519KeyPair::from_pkcs8 は、ring が拒否する 48 バイトの PKCS#8 v1 形式の Ed25519 鍵を受け入れました。

  チェックによる記録

  fact ed25519-pkcs8-v1 = accepted
  evidence ed25519-pkcs8-v1: 48-byte PKCS#8 v1 Ed25519 key with from_pkcs8: Ok("ok")

• ポスト量子アルゴリズム

  ML-KEMML-DSA

  unstable フィーチャーなしでビルドし、ML-KEM-512/768/1024 でカプセル化とデカプセル化を、ML-DSA-44/65/87 で署名と検証を行えました。

  チェックによる記録

  fact pqc = ML-KEM, ML-DSA
  evidence pqc: ML-KEM-512/768/1024 via aws_lc_rs::kem; ML-DSA-44/65/87 via aws_lc_rs::signature

• 公開鍵の形式

  spki-dersec1-uncompressedsec1-compressed

  ParsedPublicKey による SPKI DER と、圧縮・非圧縮の SEC1 の点です。

  チェックによる記録

  fact public-key-formats = spki-der, sec1-uncompressed, sec1-compressed

• 秘密鍵の形式

  pkcs8-dersec1-derraw-scalar

  PKCS#8 DER、SEC1（RFC 5915）DER、公開鍵と組み合わせた生のスカラーです。

  チェックによる記録

  fact private-key-formats = pkcs8-der, sec1-der, raw-scalar

使い方

use aws_lc_rs::kem::{DecapsulationKey, ML_KEM_768};
use aws_lc_rs::signature::{self, KeyPair, PqdsaKeyPair, UnparsedPublicKey};

fn main() {
    // ML-DSA-65 (FIPS 204) through the stable signature API.
    let key = PqdsaKeyPair::generate(&signature::ML_DSA_65_SIGNING).unwrap();
    let message = b"release v2.0 manifest";
    let mut sig = vec![0u8; signature::ML_DSA_65_SIGNING.signature_len()];
    let len = key.sign(message, &mut sig).unwrap();
    let ok = UnparsedPublicKey::new(&signature::ML_DSA_65, key.public_key().as_ref()).verify(message, &sig[..len]);
    println!("ML-DSA-65: public key {} bytes, signature {len} bytes, verified {}", key.public_key().as_ref().len(), ok.is_ok());

    // ML-KEM-768 (FIPS 203): the receiver publishes the encapsulation key.
    let receiver = DecapsulationKey::generate(&ML_KEM_768).unwrap();
    let (ciphertext, sender_secret) = receiver.encapsulation_key().unwrap().encapsulate().unwrap();
    let receiver_secret = receiver.decapsulate(ciphertext.as_ref().into()).unwrap();
    println!("ML-KEM-768: ciphertext {} bytes, shared secrets match {}", ciphertext.as_ref().len(), sender_secret.as_ref() == receiver_secret.as_ref());
}