package mldsa

  1. Overview
  2. Docs

Module Mldsa_for_testingSource

Deterministic and precomputed-message hooks for FIPS 204 ACVP and Wycheproof tests. Not for production use.

Sourceval sign_internal_44 : signing_key:string -> formatted_message:string -> randomness:string -> (string, Mldsa.Mldsa44.error) result
Sourceval sign_internal_65 : signing_key:string -> formatted_message:string -> randomness:string -> (string, Mldsa.Mldsa65.error) result
Sourceval sign_internal_87 : signing_key:string -> formatted_message:string -> randomness:string -> (string, Mldsa.Mldsa87.error) result
Sourceval sign_mu_44 : signing_key:string -> mu:string -> randomness:string -> (string, Mldsa.Mldsa44.error) result
Sourceval sign_mu_65 : signing_key:string -> mu:string -> randomness:string -> (string, Mldsa.Mldsa65.error) result
Sourceval sign_mu_87 : signing_key:string -> mu:string -> randomness:string -> (string, Mldsa.Mldsa87.error) result
Sourceval verify_internal_44 : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_65 : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_87 : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_mu_44 : verification_key:string -> mu:string -> signature:string -> bool
Sourceval verify_mu_65 : verification_key:string -> mu:string -> signature:string -> bool
Sourceval verify_mu_87 : verification_key:string -> mu:string -> signature:string -> bool
Sourceval use_hint_44 : int -> int -> int

use_hint_44 r h is FIPS 204 UseHint(h, r) for ML-DSA-44: the high bits of r, moved by one when h = 1.

Sourceval use_hint_65 : int -> int -> int
Sourceval use_hint_87 : int -> int -> int
Sourceval u16_le : int -> string

The nonce encoding of ExpandA, ExpandS and ExpandMask: IntegerToBytes(n, 2). Raises Invalid_argument unless 0 <= n < 2^16.

Sourceval encode_signature_44 : c_tilde:string -> z:int array array -> hint:int array array -> string

encode_signature_44 ~c_tilde ~z ~hint encodes signature components without signing. Raises Invalid_argument if hint has more than omega nonzero entries.

Sourceval encode_signature_65 : c_tilde:string -> z:int array array -> hint:int array array -> string
Sourceval encode_signature_87 : c_tilde:string -> z:int array array -> hint:int array array -> string