Module hacl::ed25519

Ed25519

This module implements EdDSA on edwards25519.

Usage

use hacl::ed25519;

let public = [0x7d, 0x4d, 0x0e, 0x7f, 0x61, 0x53, 0xa6, 0x9b, 0x62, 0x42, 0xb5, 0x22, 0xab, 0xbe, 0xe6, 0x85, 0xfd, 0xa4, 0x42, 0x0f, 0x88, 0x34, 0xb1, 0x08, 0xc3, 0xbd, 0xae, 0x36, 0x9e, 0xf5, 0x49, 0xfa];
let private = [0xad, 0xd4, 0xbb, 0x81, 0x03, 0x78, 0x5b, 0xaf, 0x9a, 0xc5, 0x34, 0x25, 0x8e, 0x8a, 0xaf, 0x65, 0xf5, 0xf1, 0xad, 0xb5, 0xef, 0x5f, 0x3d, 0xf1, 0x9b, 0xb8, 0x0a, 0xb9, 0x89, 0xc4, 0xd6, 0x4b];
let msg = [0x78];
let expected_result = [0xd8, 0x07, 0x37, 0x35, 0x8e, 0xde, 0x54, 0x8a, 0xcb, 0x17, 0x3e, 0xf7, 0xe0, 0x39, 0x9f, 0x83, 0x39, 0x2f, 0xe8, 0x12, 0x5b, 0x2c, 0xe8, 0x77, 0xde, 0x79, 0x75, 0xd8, 0xb7, 0x26, 0xef, 0x5b, 0x1e, 0x76, 0x63, 0x22, 0x80, 0xee, 0x38, 0xaf, 0xad, 0x12, 0x12, 0x5e, 0xa4, 0x4b, 0x96, 0x1b, 0xf9, 0x2f, 0x11, 0x78, 0xc9, 0xfa, 0x81, 0x9d, 0x02, 0x08, 0x69, 0x97, 0x5b, 0xcb, 0xe1, 0x09];

let my_pk = ed25519::sk2pk(&private);
assert_eq!(&public[..], &my_pk[..]);

let signature = ed25519::eddsa_sign(&private, &msg);
assert_eq!(expected_result[..], signature[..]);

let result = ed25519::eddsa_verify(&public, &signature, &msg);
assert!(result);

let sk = ed25519::key_gen();
let pk = ed25519::sk2pk(&sk);
let signature = ed25519::eddsa_sign(&sk, &msg);
assert!(ed25519::eddsa_verify(&pk, &signature, &msg));

Enums

• Error

Functions

• eddsa_sign
  Sign message msg with secret key sk. Returns a Signature.
• eddsa_verify
  Verify signature signature on message msg with public key pk. Returns true if the signature is valid and false otherwise.
• key_gen
  Generate a random Scalar.
• sk2pk
  Compute the public Point for the given secret key sk.

Type Aliases

• Point
  Points are 32 byte arrays.
• Scalar
  Scalars are 32 byte arrays.
• Signature
  Signatures are 64 byte arrays.