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.0.tar.gz
md5=8134ec4c6a35345a91223c34d5a133db
sha512=617282d33c5fb909be5b9b2e4b2c1830447c80206ad1e8f3ddb56459c40e9ff810489fa3ec927ffaa61148f826d81e71520816badce7bbebfde08a61eeea0b85

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