package slhdsa

  1. Overview
  2. Docs

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