open-quantum-safe / liboqs / 33406586071

80%

Build Type

push

github

Committed by web-flow

Commit Message

Update mldsa-native to v2.0.0 [full tests] [extended tests] (#2522)

Bump the mldsa-native upstream from v1.0.0-beta2 to v2.0.0, the first
stable release of mldsa-native.

Notable changes:
- All x86_64 and AArch64 assembly is not proven to be functionally
  correct and memory-safe using HOL-Light. All x86_64 and AArch64
  assembly except the rejection sampling routines are also proven
  to be constant-time.
- signature/verification no longer carry a siglen argument, since ML-DSA
  signatures have a fixed length. The generated OQS wrappers are
  insulated from this by upstream's new integration/liboqs/sig_glue.c,
  which re-exposes the length-carrying API.
- Entry points, including the external-mu ones, gain an `_oqs` suffix
  as they are wrappers collapsing mldsa-native's more fine grained
  error codes to OQS_SUCCESS/OQS_ERROR.

tests/vectors_sig.c calls the internal signing and verification entry
points directly, so it has to drop the siglen argument as well.

See the full release notes at
https://github.com/pq-code-package/mldsa-native/releases/tag/v2.0.0

- Resolves https://github.com/open-quantum-safe/liboqs/issues/2518

Signed-off-by: Matthias J. Kannwischer <matthias@zerorisc.com>

Coverage Stats

968 of 1332 new or added lines in 111 files covered. (72.67%)

1107 existing lines in 39 files now uncovered.

198213 of 243404 relevant lines covered (81.43%)

1676780.71 hits per line