ring

Les faits et les vérifications qui les fondent

Rien de ce qui suit n’est copié d’une documentation. La vérification content/libraries/verify/ring/run.sh a exécuté ring 0.17.14 dans l’image de conteneur rust:1.99.1-trixie le 20 octobre 2026 ; la page doit correspondre à ce que la vérification a affiché, et chaque fait cite les lignes en question.

• Encodage des signatures ECDSA

  der-or-raw

  La constante d’algorithme choisit l’encodage : *_FIXED signe et vérifie du r‖s brut de 64 octets, *_ASN1 du DER ; une signature ne passe pas la vérification sous l’autre constante.

  Relevé par la vérification

  fact ecdsa-signature-encoding = der-or-raw
  evidence ecdsa-signature-encoding: FIXED signs 64 bytes; ASN1 output starts with 0x30 (a DER SEQUENCE)
  evidence ecdsa-signature-encoding: a signature verifies under the other encoding's constant: false

• Nonce ECDSA

  random

  Nonce aléatoire : deux signatures du même message diffèrent, et il n’existe pas d’option déterministe.

  Relevé par la vérification

  fact ecdsa-nonce = random

• Low-S à la signature

  either

  s n’est pas normalisé : des valeurs high-S sont apparues parmi 64 signatures.

  Relevé par la vérification

  fact ecdsa-low-s-sign = either

• High-S à la vérification

  accepts-high-s

  Le vérificateur FIXED a accepté la signature dont s a été remplacé par n − s.

  Relevé par la vérification

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

• Ce que l’appel de signature hache

  hashes-message

  Le message est haché selon ce qu’indique l’algorithme ; il n’existe pas d’API pour signer un condensat précalculé.

  Relevé par la vérification

  fact ecdsa-prehash = hashes-message
  evidence ecdsa-prehash: the API has no entry point for signing a precomputed digest

• Signature ECDSA mal formée

  returns-error

  verify() renvoie Err(Unspecified) pour une signature mal formée ou incorrecte, sans aucun détail.

  Relevé par la vérification

  fact ecdsa-malformed-signature = returns-error
  evidence ecdsa-malformed-signature: verify() of 3 bytes: Err(Unspecified)

• Courbes ECDSA

  P-256P-384

  P-256 et P-384 uniquement.

  Relevé par la vérification

  fact ecdsa-curves = P-256, P-384
  evidence ecdsa-curves: ring defines ECDSA_P256_* and ECDSA_P384_* algorithms only

• EdDSA

  Ed25519

  Ed25519.

  Relevé par la vérification

  fact eddsa = Ed25519

• Clés Ed25519 PKCS #8 v1

  rejected-by-from-pkcs8

  Une clé Ed25519 PKCS#8 v1 de 48 octets a été refusée par from_pkcs8 avec VersionNotSupported ; from_pkcs8_maybe_unchecked et from_seed_unchecked l’ont acceptée. generate_pkcs8 écrit des clés v2 de 83 octets.

  Relevé par la vérification

  fact ed25519-pkcs8-v1 = rejected-by-from-pkcs8
  evidence ed25519-pkcs8-v1: generate_pkcs8 writes 83 bytes (PKCS#8 v2 with the public key); a 48-byte v1 key: from_pkcs8 Err(KeyRejected("VersionNotSupported")), from_pkcs8_maybe_unchecked ok true, from_seed_unchecked ok true

• Algorithmes post-quantiques

  none

  Aucun algorithme post-quantique.

  Relevé par la vérification

  fact pqc = none

• Formats de clé publique

  sec1-uncompressed

  Les clés publiques sont des points non compressés au format SEC1 (65 octets pour P-256) ; les points compressés ont échoué, et il n’y a pas d’analyse SPKI, PEM ni JWK.

  Relevé par la vérification

  fact public-key-formats = sec1-uncompressed
  evidence public-key-formats: public_key() returns 65 bytes (uncompressed SEC1); no SPKI, PEM or JWK parsing

• Formats de clé privée

  pkcs8-der

  Les clés privées ne se chargent que depuis PKCS#8 DER.

  Relevé par la vérification

  fact private-key-formats = pkcs8-der

Utilisation

use ring::rand::SystemRandom;
use ring::signature::{self, EcdsaKeyPair, KeyPair, UnparsedPublicKey};

fn main() {
    let rng = SystemRandom::new();
    // ring only reads PKCS#8 DER private keys.
    let pkcs8 = EcdsaKeyPair::generate_pkcs8(&signature::ECDSA_P256_SHA256_FIXED_SIGNING, &rng).unwrap();
    let message = b"order #1042 approved";

    // The algorithm constant fixes the encoding: FIXED = raw r||s (JWS, WebCrypto),
    // ASN1 = DER (OpenSSL, Java). Verify with the matching constant.
    let fixed = EcdsaKeyPair::from_pkcs8(&signature::ECDSA_P256_SHA256_FIXED_SIGNING, pkcs8.as_ref(), &rng).unwrap();
    let raw = fixed.sign(&rng, message).unwrap();
    let public = fixed.public_key().as_ref(); // 65-byte uncompressed SEC1 point

    let ok = UnparsedPublicKey::new(&signature::ECDSA_P256_SHA256_FIXED, public).verify(message, raw.as_ref()).is_ok();
    let wrong = UnparsedPublicKey::new(&signature::ECDSA_P256_SHA256_ASN1, public).verify(message, raw.as_ref()).is_ok();
    println!("raw bytes: {}, verified: {ok}, verified as DER: {wrong}", raw.as_ref().len());
}