wolfSSL (wolfCrypt)

Факты и проверки, на которых они основаны

Ничего из приведённого ниже не скопировано из документации. 20 октября 2026 г. проверка content/libraries/verify/wolfssl/run.sh запустила wolfSSL (wolfCrypt) 5.9.4 в образе контейнера alpine:3.24.2; содержимое страницы должно совпадать с выводом проверки, а у каждого факта приведены соответствующие строки вывода.

• Кодировка подписи ECDSA

  der

  wc_ecc_sign_hash возвращает DER; wc_ecc_verify_hash_ex проверяет r и s, переданные как целые числа.

  Что записала проверка

  fact ecdsa-signature-encoding = der
  evidence ecdsa-signature-encoding: wc_ecc_verify_hash_ex with r and s as integers verifies: 1

• Nonce в ECDSA

  random

  Случайный nonce: в этой сборке нет WOLFSSL_ECDSA_DETERMINISTIC_K.

  Что записала проверка

  fact ecdsa-nonce = random
  evidence ecdsa-nonce: this build lacks WOLFSSL_ECDSA_DETERMINISTIC_K, so RFC 6979 signing is not available

• Low-S при подписи

  either

  s не нормализуется: среди 64 подписей встретились значения high-S.

  Что записала проверка

  fact ecdsa-low-s-sign = either

• High-S при проверке

  accepts-high-s

  Подпись в DER, в которой s заменили на n − s, прошла проверку.

  Что записала проверка

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

• Что хеширует вызов подписи

  takes-digest

  wc_ecc_sign_hash и wc_ecc_verify_hash работают с дайджестом, который вычислила вызывающая сторона.

  Что записала проверка

  fact ecdsa-prehash = takes-digest
  evidence ecdsa-prehash: wc_ecc_sign_hash and wc_ecc_verify_hash take a digest the caller computed

• Некорректная подпись ECDSA

  returns-error

  С подписью в формате raw r‖s функция wc_ecc_verify_hash вернула -171 (ECC ASN1 bad key data, invalid input) и вердикт 0.

  Что записала проверка

  fact ecdsa-malformed-signature = returns-error
  evidence ecdsa-malformed-signature: wc_ecc_verify_hash on raw r||s: return code -171 (ECC ASN1 bad key data, invalid input), result 0

• Кривые ECDSA

  P-224P-256P-384P-521

  В этой сборке P-224, P-256, P-384 и P-521; генерация ключей secp256k1 и brainpoolP256r1 завершилась ошибкой.

  Что записала проверка

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

• EdDSA

  Ed25519

  Ed25519; HAVE_ED448 в этой сборке не задан.

  Что записала проверка

  fact eddsa = Ed25519
  evidence eddsa: HAVE_ED448 is not set in this build

• Постквантовые алгоритмы

  ML-KEM

  ML-KEM-768 прошёл полный цикл инкапсуляции и декапсуляции через wc_MlKemKey_*; HAVE_DILITHIUM (ML-DSA) в этой сборке не задан.

  Что записала проверка

  fact pqc = ML-KEM
  evidence pqc: HAVE_DILITHIUM (ML-DSA) is not set in this build

• Форматы открытых ключей

  spki-der

  wc_EccPublicKeyToDer и wc_EccPublicKeyDecode работают с SPKI DER, и декодированный ключ успешно проверил подпись.

  Что записала проверка

  fact public-key-formats = spki-der

• Форматы закрытых ключей

  sec1-der

  wc_EccKeyToDer записывает SEC1 ECPrivateKey (121 байт для P-256), который wc_EccPrivateKeyDecode читает обратно.

  Что записала проверка

  fact private-key-formats = sec1-der
  evidence private-key-formats: wc_EccKeyToDer writes a SEC1 ECPrivateKey of 121 bytes
  evidence private-key-formats: WOLFSSL_DER_TO_PEM is set in this build

Использование

#include <wolfssl/options.h>
#include <wolfssl/wolfcrypt/ecc.h>
#include <wolfssl/wolfcrypt/random.h>
#include <wolfssl/wolfcrypt/sha256.h>
#include <stdio.h>

int main(void) {
    WC_RNG rng;
    ecc_key key;
    unsigned char digest[32], sig[ECC_MAX_SIG_SIZE];
    word32 sig_len = sizeof sig;
    int verified = 0;
    const unsigned char msg[] = "order #1042 approved";

    wc_InitRng(&rng);
    wc_ecc_init(&key);
    wc_ecc_make_key_ex(&rng, 32, &key, ECC_SECP256R1);

    /* wolfCrypt signs a digest you computed and returns DER. */
    wc_Sha256Hash(msg, sizeof msg - 1, digest);
    wc_ecc_sign_hash(digest, sizeof digest, sig, &sig_len, &rng, &key);
    /* The return code says whether verification ran; "verified" holds the verdict. */
    int rc = wc_ecc_verify_hash(sig, sig_len, digest, sizeof digest, &verified, &key);
    printf("rc: %d, verified: %d, DER starts with 0x%02x\n", rc, verified, sig[0]);

    wc_ecc_free(&key);
    wc_FreeRng(&rng);
    return 0;
}