Module hacl::p256

Structs

• Signature
  An ECDSA signature holding r and s.

Enums

• Error
  P256 errors

Functions

• ecdh
  Return p * s
• ecdh_base
  Return base * s
• ecdsa_sign
  Sign msg with sk and nonce using hash with EcDSA on P256.
• ecdsa_verify
  Verify EcDSA signature over P256 on msg with pk using hash. Note that the public key pk must be a compressed or uncompressed point.
• key_gen
  Generate a new P256 scalar (private key).
• random_nonce
  Generate a random nonce for ECDSA.
• validate_pk
• validate_sk
  Validate a P256 secret key.

Type Aliases

• Nonce
  Nonces are 32 byte arrays.
• PublicKey
  P256 public keys are 64-byte arrays containing the 32-byte X and 32-byte Y coordinate.
• Scalar
  Scalars are 32 byte arrays.