Public
Functions
| Name | Description |
|---|---|
| ed25519::public_keygen | Generate a public key from a private key. |
| ed25519::sign | Sign a message. |
| ed25519::verify | Verify the signature of a message. |
Private
Types
| Name | Description |
|---|---|
| Unpacking | |
| Projection | |
| Point |
Functions
| Name | Description |
|---|---|
| ed25519::unproject | Convert projective to affine coordinates. |
| ed25519::sub_l | Subtraction if RHS is less than LHS else identity. |
| ed25519::reduce_carry | Reduce an element with carry to at most 2^255+18 (32 bytes) |
| ed25519::sub | Subtraction. |
| ed25519::project | Convert affine to projective coordinates. |
| ed25519::mul | Variable base scalar multiplication. |
| ed25519::@add | |
| ed25519::unpack_on_curve | Uncompress a point. Check if it is on the curve. |
| ed25519::shl | Left shift. |
| ed25519::from_bytes | Interpret bytes as a normalized element. |
| ed25519::pack | Compress a point. |
| ed25519::@mul | |
| ed25519::f25519_select | Constant-time conditional selection. Result is undefined if condition is neither 0 nor 1. |
| ed25519::neg | Negation. |
| ed25519::twice | Double a point. |
| ed25519::@sub | |
| ed25519::sqrt | Compute the square root of an element. |
| ed25519::mul_s | Multiplication by a small element. |
| ed25519::add | Addition. |
| ed25519::eq | Constant-time equality comparison. Return is non-zero if true. |
| ed25519::inv | Inverse an element. |
| ed25519::fbase_select | Constant-time conditional selection. Result is undefined if condition is neither 0 nor 1. |
| ed25519::normalize | Reduce an element to at most 2^255-19 |
Globals
| Name | Description |
|---|---|
| ONE | |
| ORDER | |
| ZERO | |
| D | |
| DD | |
| NEUTRAL | |
| BASE |