Octez_libcrux_ml_dsa (octez-libcrux-ml-dsa.Octez_libcrux_ml

type key_pair

type signing_key

type verification_key

type signature

val octez_libcrux_ml_dsa_44_generate_keys : 
  bytes ->
  (signing_key * verification_key, string) Stdlib.result

val octez_libcrux_ml_dsa_44_generate_keys_opt : 
  bytes ->
  (signing_key * verification_key) option

val octez_libcrux_ml_dsa_44_generate_key_pair : 
  bytes ->
  (key_pair, string) Stdlib.result

val octez_libcrux_ml_dsa_44_key_pair_get_signing_key : key_pair -> signing_key

val octez_libcrux_ml_dsa_44_key_pair_get_verification_key : 
  key_pair ->
  verification_key

val octez_libcrux_ml_dsa_44_sign : 
  signing_key ->
  bytes ->
  bytes ->
  bytes ->
  (signature, string) Stdlib.result

val octez_libcrux_ml_dsa_44_sign_opt : 
  signing_key ->
  bytes ->
  bytes ->
  signature option

val octez_libcrux_ml_dsa_44_verify : 
  verification_key ->
  bytes ->
  bytes ->
  signature ->
  (unit, string) Stdlib.result

val octez_libcrux_ml_dsa_44_verify_b : 
  verification_key ->
  bytes ->
  signature ->
  bool

val octez_libcrux_ml_dsa_44_verification_key_to_bytes : 
  verification_key ->
  bytes

val octez_libcrux_ml_dsa_44_verification_key_from_bytes : 
  bytes ->
  (verification_key, string) Stdlib.result

val octez_libcrux_ml_dsa_44_verification_key_from_bytes_opt : 
  bytes ->
  verification_key option

val octez_libcrux_ml_dsa_44_signing_key_to_bytes : signing_key -> bytes

val octez_libcrux_ml_dsa_44_signing_key_from_bytes : 
  bytes ->
  (signing_key, string) Stdlib.result

val octez_libcrux_ml_dsa_44_signing_key_from_bytes_opt : 
  bytes ->
  signing_key option

val octez_libcrux_ml_dsa_44_signature_to_bytes : signature -> bytes

val octez_libcrux_ml_dsa_44_signature_from_bytes : 
  bytes ->
  (signature, string) Stdlib.result

val octez_libcrux_ml_dsa_44_signature_from_bytes_opt : 
  bytes ->
  signature option