package mldsa

  1. Overview
  2. Docs
Pure OCaml implementation of FIPS 204 ML-DSA

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (3)

Authors

  1. V
    Ville Vesilehto <ville@vesilehto.fi>

Maintainers

  1. V
    Ville Vesilehto <ville@vesilehto.fi>

Sources

v0.2.1.tar.gz
md5=cf10e50c23d778f822261222212229b8
sha512=3bd8ce7b420c82ddfaaaa173966be892ccfd7a50664c3db91c4e0b797942d2fdcabe6e240f400688ac19824290f9a0ee531db0e1e5782a6f04e745d1b6a2973c

doc/mldsa.for_testing/Mldsa_for_testing/index.html

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