Octez_ml_dsa.Ml_dsa_44val signing_key_to_bytes : signing_key -> bytessigning_key_to_bytes signing_key serialises the signing key into bytes representation.
val signing_key_from_bytes_opt : bytes -> signing_key optionsigning_key_from_bytes_opt bytes attempts to deserialize bytes into a signing key.
val signing_key_from_bytes : bytes -> (signing_key, string) Stdlib.resultsigning_key_from_bytes bytes attempts to deserialize bytes into a signing key.
val verification_key_to_bytes : verification_key -> bytesverification_key_to_bytes verification_key serialises the verification key into bytes representation.
val verification_key_from_bytes_opt : bytes -> verification_key optionverification_key_from_bytes_opt bytes attempts to deserialize bytes into a verification key.
val verification_key_from_bytes :
bytes ->
(verification_key, string) Stdlib.resultverification_key_from_bytes bytes attempts to deserialize bytes into a verification key.
val signature_to_bytes : signature -> bytessignature_to_bytes signature serialises the signature into bytes representation.
val signature_from_bytes_opt : bytes -> signature optionsignature_from_bytes_opt bytes attempts to deserialize bytes into a signature.
val signature_from_bytes : bytes -> (signature, string) Stdlib.resultsignature_from_bytes bytes attempts to deserialize bytes into a signature.
val generate_key_pair_opt :
seed:bytes ->
(signing_key * verification_key) optiongenerate_key_pair_opt ~seed generates a new pair of signing_key and verification_key based on the given seed.
val generate_key_pair :
seed:bytes ->
(signing_key * verification_key, string) Stdlib.resultgenerate_key_pair ~seed generates a new pair of signing_key and verification_key based on the given seed.
val sign_opt : randomness:bytes -> signing_key -> bytes -> signature optionsign_opt ~randomness signing_key message signs the given message with the signing_key.
val sign :
randomness:bytes ->
signing_key ->
bytes ->
(signature, string) Stdlib.resultsign ~randomness signing_key message signs the given message with the signing_key.
val verify_b : verification_key -> bytes -> signature -> boolverify_b verification_key message signature checks if the given signature is a valid signature of a message under a verification_key.
val verify :
verification_key ->
bytes ->
signature ->
(unit, string) Stdlib.resultverify verification_key message signature checks if the given signature is a valid signature of a message under a verification_key.