Skip to content

Add SLH-DSA Support - #455

Open
aidangarske wants to merge 12 commits into
wolfSSL:masterfrom
aidangarske:add-slhdsa
Open

Add SLH-DSA Support#455
aidangarske wants to merge 12 commits into
wolfSSL:masterfrom
aidangarske:add-slhdsa

Conversation

@aidangarske

@aidangarske aidangarske commented Jul 30, 2026

Copy link
Copy Markdown
Member

Copilot AI review requested due to automatic review settings July 30, 2026 18:04

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@aidangarske
aidangarske force-pushed the add-slhdsa branch 2 times, most recently from 0487400 to 02cbe8b Compare July 30, 2026 18:27
@aidangarske aidangarske added the ci:nginx-pqc PR OSP toggle: run nginx-pqc label Jul 30, 2026
@aidangarske aidangarske added ci:libacvp-pqc PR OSP toggle: run libacvp-pqc and removed ci:nginx-pqc PR OSP toggle: run nginx-pqc ci:libacvp-pqc PR OSP toggle: run libacvp-pqc labels Jul 30, 2026
@aidangarske aidangarske added ci:libacvp-pqc PR OSP toggle: run libacvp-pqc and removed ci:libacvp-pqc PR OSP toggle: run libacvp-pqc labels Jul 30, 2026
@aidangarske
aidangarske marked this pull request as ready for review July 30, 2026 23:26
@aidangarske
aidangarske force-pushed the add-slhdsa branch 2 times, most recently from 8bf2ba2 to ba88c76 Compare July 31, 2026 01:05
@aidangarske aidangarske added ci:libacvp-pqc PR OSP toggle: run libacvp-pqc and removed ci:libacvp-pqc PR OSP toggle: run libacvp-pqc labels Jul 31, 2026

@Frauschi Frauschi left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🐺 Skoll Code Review

Overall recommendation: REQUEST_CHANGES
Findings: 26 total — 15 posted, 11 skipped

Posted findings

  • [High] Examples are check_PROGRAMS so every build configuration runs them via make check, and CI's example steps silently depend on thatexamples/include.am:22-32
  • [High] pqc_openssl_example hard-codes SLH-DSA-SHA2-128f, which is absent whenever WOLFPROV_HAVE_SLHDSA is set but SHA2 sets are not builtexamples/pqc_openssl_example.c:210-218
  • [Medium] wp_encrypt_key_pkcs8: reports the output buffer size as the encrypted length, and ignores the RNG lock result its sibling now checkssrc/wp_internal.c:1110-1133
  • [Medium] Deterministic seed handling: seedLen survives gen_set_params failure paths, and validator and consumer compute the expected length differentlysrc/wp_slhdsa_kmgmt.c:1159-1174
  • [Medium] wp_slhdsa_import flag handling: asserts hasPub instead of verifying it, and wipes hasPub/hasPriv on failuresrc/wp_slhdsa_kmgmt.c:690-702
  • [Medium] Signature context state (context string, deterministic, entropy, encoding) persists across re-initsrc/wp_slhdsa_sig.c:284-291
  • [Medium] Uninitialized locals may break the build under the project's own -Werror hardeningsrc/wp_slhdsa_sig.c:338
  • [Medium] SLH-DSA key mutex covers only sign/verify and the refcount: keymgmt readers, import writers, and lock scope are all unguardedsrc/wp_slhdsa_kmgmt.c:432
  • [Medium] wp_dh_sync_priv_to_key mutates the shared inner DhKey unlocked, and wp_dh_encode_epki depends on the size function having run firstsrc/wp_dh_kmgmt.c:2789-2837
  • [Low] OSSL_SIGNATURE_PARAM_DETERMINISTIC is sent as unsigned int but advertised and read as inttest/test_slhdsa.c:1139
  • [Low] wp_slhdsa_free refcount handling: unsynchronized read, permanent leak when wc_LockMutex fails, and up_ref/free test the mutex result differentlysrc/wp_slhdsa_kmgmt.c:363-391
  • [Low] SLH-DSA export and get_params report the wrong outcome when a key component is absentsrc/wp_slhdsa_kmgmt.c:805-875
  • [Low] wp_slhdsa_gen_init_base calls wc_FreeRng on an RNG that wc_InitRng may never have initializedsrc/wp_slhdsa_kmgmt.c:1067-1091
  • [Low] Encoder dispatch binds OSSL_FUNC_ENCODER_IMPORT_OBJECT to a function with a mismatched signaturesrc/wp_slhdsa_kmgmt.c:1978
  • [Info] Preprocessor hygiene in the new SLH-DSA files: dead version guards, a redundant #ifndef, a dropped WP_HAVE_PKCS8_ENC guard, and a stale #endifsrc/wp_slhdsa_kmgmt.c:1985-1996
Skipped findings
  • [Medium] Encrypted-PKCS#8 PEM decode without WOLFSSL_ENCRYPTED_KEYS is unverified in the FIPS config it targets
  • [Medium] SLH-DSA test gating: verify-only builds, the decoder parameter-set mismatch, and the per-parameter-set macros are all untested
  • [Medium] New encrypted-PKCS#8 tests are guarded out of the exact configurations they were written for
  • [Medium] libacvp-pqc workflow pinned to a personal OSP fork branch
  • [Low] test_pki_cipher_encrypts stub comment contradicts the new fail-closed behaviour
  • [Low] test_slhdsa.c helper robustness: slhdsa_get_raw reads *out on its failure path, and pubonly_sign_fails passes silently on allocation failure
  • [Low] wp_cipher_from_params keeps a previously set cipher when the param has the wrong data type
  • [Low] wp_dh_fix_pki_len: doc block misattached and no bounds check
  • [Low] SLH-DSA key state is read from wolfSSL struct internals, with no has_private accessor of the kind ML-DSA exposes
  • [Info] PEM buffer is cleansed with the written length rather than the allocated length
  • [Info] openssl_example prints "self-test passed" although the provider registers no self-test callback

Review generated by Skoll via Claude/Codex

Comment thread examples/include.am Outdated
Comment thread examples/pqc_openssl_example.c Outdated
Comment thread src/wp_internal.c
Comment thread src/wp_slhdsa_kmgmt.c
Comment thread src/wp_slhdsa_kmgmt.c
Comment thread src/wp_slhdsa_kmgmt.c
Comment thread src/wp_slhdsa_kmgmt.c
Comment thread src/wp_slhdsa_kmgmt.c
Comment thread src/wp_slhdsa_kmgmt.c Outdated
Comment thread src/wp_slhdsa_kmgmt.c Outdated
@aidangarske aidangarske added ci:libacvp-pqc PR OSP toggle: run libacvp-pqc and removed ci:libacvp-pqc PR OSP toggle: run libacvp-pqc labels Jul 31, 2026
@aidangarske
aidangarske requested a review from Frauschi July 31, 2026 19:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci:libacvp-pqc PR OSP toggle: run libacvp-pqc

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants