Issues

• Clarify the RBG error contract: slh_keygen ignores the callback return value

  pq-code-package/slhdsa-c#54 · Filter by author Uaenasxbpy opened on Oct 12, 2026

• SHA2 and SHAKE WOTS zero-step chains call memcpy with identical source and destination

  pq-code-package/slhdsa-c#53 · Filter by author Uaenasxbpy opened on Oct 12, 2026

• Future inclusion of Additional SLH-DSA Parameter Sets for Limited Signature Use Cases (SP 800-230)

  pq-code-package/slhdsa-c#46 · Filter by author RodriM11 opened on Apr 14, 2026
  2

• Meet PQCP Project Documentation Standards

  pq-code-package/slhdsa-c#38 · Filter by author mkannwischer opened on Nov 7, 2025

• CBMC: Prove adrs_set_hash_address

  pq-code-package/slhdsa-c#30 · Filter by author mkannwischer opened on Jul 30, 2025
  

• CBMC: Prove keccak_f1600

  pq-code-package/slhdsa-c#29 · Filter by author mkannwischer opened on Jul 30, 2025

• CBMC: Prove shake_out

  pq-code-package/slhdsa-c#27 · Filter by author mkannwischer opened on Jul 30, 2025

• CBMC: Prove sha3_update

  pq-code-package/slhdsa-c#26 · Filter by author mkannwischer opened on Jul 30, 2025

• CBMC: Prove shake_chain

  pq-code-package/slhdsa-c#24 · Filter by author mkannwischer opened on Jul 30, 2025

• CBMC: Prove shake_prf

  pq-code-package/slhdsa-c#23 · Filter by author mkannwischer opened on Jul 30, 2025

• CBMC: Prove adrs_set_tree_index

  pq-code-package/slhdsa-c#22 · Filter by author mkannwischer opened on Jul 30, 2025

• CBMC: Prove adrs_set_type

  pq-code-package/slhdsa-c#21 · Filter by author mkannwischer opened on Jul 30, 2025

• CBMC: Prove shake_wots_chain

  pq-code-package/slhdsa-c#20 · Filter by author mkannwischer opened on Jul 30, 2025

• Fix compiler tests with zig 0.12/0.13/0.14

  pq-code-package/slhdsa-c#17 · Filter by author mkannwischer opened on Jul 29, 2025

• Define a code C formatting standard, provide a format script, and enforce in CI

  pq-code-package/slhdsa-c#3 · Filter by author mkannwischer opened on Jun 13, 2025

• CI: Enforce SPDX-License-Identifier identifiers in every file

  pq-code-package/slhdsa-c#2 · Filter by author mkannwischer opened on Jun 13, 2025