wolfSSL (wolfCrypt)

事实及其依据的检查

以下内容均非抄自文档。检查脚本 content/libraries/verify/wolfssl/run.sh 于2026年10月20日在容器镜像 alpine:3.24.2 中运行了 wolfSSL (wolfCrypt) 5.9.4；本页内容必须与它的输出一致，每条事实都列出了对应的输出行。

• 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

• ECDSA 的 nonce

  random

  这个构建没有 WOLFSSL_ECDSA_DETERMINISTIC_K，使用随机 nonce。

  检查记录

  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

  把 s 替换为 n − s 的 DER 签名验证通过。

  检查记录

  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

  原始 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（P-256 为 121 字节），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;
}