package slhdsa

  1. Overview
  2. Docs
Pure OCaml implementation of FIPS 205 SLH-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/slhdsa.for_testing/Slhdsa_for_testing/index.html

Module Slhdsa_for_testingSource

Raw-message hooks for FIPS 205 ACVP tests. Not for production use.

Sourceval sign_internal_sha2_128s : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Sha2_128s.error) result
Sourceval sign_internal_sha2_128f : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Sha2_128f.error) result
Sourceval sign_internal_sha2_192s : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Sha2_192s.error) result
Sourceval sign_internal_sha2_192f : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Sha2_192f.error) result
Sourceval sign_internal_sha2_256s : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Sha2_256s.error) result
Sourceval sign_internal_sha2_256f : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Sha2_256f.error) result
Sourceval sign_internal_shake_128s : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Shake_128s.error) result
Sourceval sign_internal_shake_128f : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Shake_128f.error) result
Sourceval sign_internal_shake_192s : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Shake_192s.error) result
Sourceval sign_internal_shake_192f : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Shake_192f.error) result
Sourceval sign_internal_shake_256s : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Shake_256s.error) result
Sourceval sign_internal_shake_256f : signing_key:string -> formatted_message:string -> randomness:string -> (string, Slhdsa.Shake_256f.error) result
Sourceval verify_internal_sha2_128s : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_sha2_128f : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_sha2_192s : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_sha2_192f : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_sha2_256s : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_sha2_256f : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_shake_128s : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_shake_128f : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_shake_192s : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_shake_192f : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_shake_256s : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval verify_internal_shake_256f : verification_key:string -> formatted_message:string -> signature:string -> bool
Sourceval sha256 : string -> string
Sourceval sha512 : string -> string
Sourceval hmac_sha256 : string -> string -> string
Sourceval hmac_sha512 : string -> string -> string
Sourceval shake256 : output_length:int -> string -> string
Sourceval mgf1_sha256 : output_length:int -> string -> string
Sourceval mgf1_sha512 : output_length:int -> string -> string

RFC 8017 MGF1. Raises Invalid_argument for a negative length or a mask longer than 2^32 hash outputs.

Sourceval fors_tree_sha2_128f : sk_seed:string -> pk_seed:string -> leaf_index:int -> string * string

The root and the authentication path of leaf_index in the first FORS tree of SLH-DSA-SHA2-128f (a = 6). Raises Invalid_argument for a leaf index of 64 or more; -1 returns the root alone.