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/src/mldsa.for_testing/mldsa_for_testing.ml.html

Source file mldsa_for_testing.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
let sign module_ ~signing_key ~formatted_message ~randomness =
  let module Engine = (val module_ : Mldsa__Mldsa_engine.INTERNAL) in
  match Engine.signing_key_of_octets signing_key with
  | Error error -> Error error
  | Ok key -> begin
      match
        Engine.sign_internal_for_testing key ~formatted_message ~randomness
      with
      | Error error -> Error error
      | Ok signature -> Ok (Engine.signature_to_octets signature)
    end

let sign_internal_44 =
  sign (module Mldsa__Mldsa_engine.Mldsa44)

let sign_internal_65 =
  sign (module Mldsa__Mldsa_engine.Mldsa65)

let sign_internal_87 =
  sign (module Mldsa__Mldsa_engine.Mldsa87)

let sign_mu module_ ~signing_key ~mu ~randomness =
  let module Engine = (val module_ : Mldsa__Mldsa_engine.INTERNAL) in
  match Engine.signing_key_of_octets signing_key with
  | Error error -> Error error
  | Ok key ->
      begin match Engine.sign_mu_for_testing key ~mu ~randomness with
      | Error error -> Error error
      | Ok signature -> Ok (Engine.signature_to_octets signature)
      end

let sign_mu_44 = sign_mu (module Mldsa__Mldsa_engine.Mldsa44)
let sign_mu_65 = sign_mu (module Mldsa__Mldsa_engine.Mldsa65)
let sign_mu_87 = sign_mu (module Mldsa__Mldsa_engine.Mldsa87)

let verify module_ ~verification_key ~formatted_message ~signature =
  let module Engine = (val module_ : Mldsa__Mldsa_engine.INTERNAL) in
  match
    Engine.verification_key_of_octets verification_key,
    Engine.signature_of_octets signature
  with
  | Ok key, Ok signature ->
      Engine.verify_internal_for_testing key ~formatted_message signature
  | Error _, _ | _, Error _ -> false

let verify_internal_44 =
  verify (module Mldsa__Mldsa_engine.Mldsa44)

let verify_internal_65 =
  verify (module Mldsa__Mldsa_engine.Mldsa65)

let verify_internal_87 =
  verify (module Mldsa__Mldsa_engine.Mldsa87)

let verify_mu module_ ~verification_key ~mu ~signature =
  let module Engine = (val module_ : Mldsa__Mldsa_engine.INTERNAL) in
  match
    Engine.verification_key_of_octets verification_key,
    Engine.signature_of_octets signature
  with
  | Ok key, Ok signature -> Engine.verify_mu_for_testing key ~mu signature
  | Error _, _ | _, Error _ -> false

let verify_mu_44 = verify_mu (module Mldsa__Mldsa_engine.Mldsa44)
let verify_mu_65 = verify_mu (module Mldsa__Mldsa_engine.Mldsa65)
let verify_mu_87 = verify_mu (module Mldsa__Mldsa_engine.Mldsa87)

let use_hint_44 = Mldsa__Mldsa_engine.Mldsa44.use_hint_for_testing
let use_hint_65 = Mldsa__Mldsa_engine.Mldsa65.use_hint_for_testing
let use_hint_87 = Mldsa__Mldsa_engine.Mldsa87.use_hint_for_testing

let u16_le = Mldsa__Mldsa_engine.u16_le

let encode_signature_44 = Mldsa__Mldsa_engine.Mldsa44.encode_signature_for_testing
let encode_signature_65 = Mldsa__Mldsa_engine.Mldsa65.encode_signature_for_testing
let encode_signature_87 = Mldsa__Mldsa_engine.Mldsa87.encode_signature_for_testing