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 (1)

Authors

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

Maintainers

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

Sources

v0.1.1.tar.gz
md5=20087fca24222c6de0db3a2d2b05f9c1
sha512=69bdfe62d0a93ff4dbe85280b7fd3db9970adbc36f52891f63e727a4eb32a19bfccf727a62d3740d4771522489cdcbb4feaa3537cdd9b183962252065674ed32

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