ML-DSA-65 signature verification — morie_crypto_mldsa65_verify • rmorie

ML-DSA-65 signature verification

Usage

morie_crypto_mldsa65_verify(pk, message, signature)

Arguments

pk: 1952-byte raw vector (signer's public key).
message: Raw vector that was signed.
signature: Raw vector signature returned by morie_crypto_mldsa65_sign().

Value

Single logical: TRUE if signature is valid.

Examples

if (morie_crypto_liboqs_available()) {
  kp <- morie_crypto_mldsa65_keygen()
  msg <- charToRaw("signed payload v1")
  sig <- morie_crypto_mldsa65_sign(kp$sk, msg)
  print(morie_crypto_mldsa65_verify(kp$pk, msg, sig))
}