package mldsa

You can search for identifiers within the package.

in-package search v0.2.0

Pure OCaml implementation of FIPS 204 ML-DSA

Install

dune-project

Dependency

md5=20087fca24222c6de0db3a2d2b05f9c1

sha512=69bdfe62d0a93ff4dbe85280b7fd3db9970adbc36f52891f63e727a4eb32a19bfccf727a62d3740d4771522489cdcbb4feaa3537cdd9b183962252065674ed32

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

val sign_internal_44 : 
  signing_key:string ->
  formatted_message:string ->
  randomness:string ->
  (string, Mldsa.Mldsa44.error) result

val sign_internal_65 : 
  signing_key:string ->
  formatted_message:string ->
  randomness:string ->
  (string, Mldsa.Mldsa65.error) result

val sign_internal_87 : 
  signing_key:string ->
  formatted_message:string ->
  randomness:string ->
  (string, Mldsa.Mldsa87.error) result

val sign_mu_44 : 
  signing_key:string ->
  mu:string ->
  randomness:string ->
  (string, Mldsa.Mldsa44.error) result

val sign_mu_65 : 
  signing_key:string ->
  mu:string ->
  randomness:string ->
  (string, Mldsa.Mldsa65.error) result

val sign_mu_87 : 
  signing_key:string ->
  mu:string ->
  randomness:string ->
  (string, Mldsa.Mldsa87.error) result

val verify_internal_44 : 
  verification_key:string ->
  formatted_message:string ->
  signature:string ->
  bool

val verify_internal_65 : 
  verification_key:string ->
  formatted_message:string ->
  signature:string ->
  bool

val verify_internal_87 : 
  verification_key:string ->
  formatted_message:string ->
  signature:string ->
  bool

val verify_mu_44 : 
  verification_key:string ->
  mu:string ->
  signature:string ->
  bool

val verify_mu_65 : 
  verification_key:string ->
  mu:string ->
  signature:string ->
  bool

val verify_mu_87 : 
  verification_key:string ->
  mu:string ->
  signature:string ->
  bool