Class Ed25519
- java.lang.Object
-
- org.bouncycastle.math.ec.rfc8032.Ed25519
-
public abstract class Ed25519 extends java.lang.ObjectA low-level implementation of the Ed25519, Ed25519ctx, and Ed25519ph instantiations of the Edwards-Curve Digital Signature Algorithm specified in RFC 8032.The implementation strategy is mostly drawn from Mike Hamburg, "Fast and compact elliptic-curve cryptography", notably the "signed multi-comb" algorithm (for scalar multiplication by a fixed point), the "half Niels coordinates" (for precomputed points), and the "extensible coordinates" (for accumulators). Standard extended coordinates are used during precomputations, needing only a single extra point addition formula.
Algorithm map.
- Key generation —
generatePrivateKeyreturns a 32-byte seed;generatePublicKey(viascalarMultBaseEncoded) computesA = s * Bwheresis the SHA-512-expanded clamped secret scalar (RFC 8032 sec. 5.1.5), using the constant-time signed multi-combscalarMultBase. - Signing —
signcomputesR = r * B(signed multi-comb) wherer = SHA-512(prefix || M) mod L, thenS = (r + k * s) mod L(RFC 8032 sec. 5.1.6). Reduction moduloLusesScalar25519.reduce512(Barrett-style, straight-line). No variable-base scalar multiplication is performed. - Verification —
verifyuses the basis reduction algorithm of Pornin viaScalar25519.reduceBasisVarthen evaluates the combined relation with Strauss-Shamir's trick inscalarMultStraus128Var. Both routines are deliberately variable-time and operate only on public material (signature, message, public key). - Coordinates — the precomputed base-point comb table lives in half-Niels form; signing-side accumulators use extensible (twisted Edwards) coordinates so each step needs only one extra point-addition formula. Verification re-uses projective extended coordinates throughout.
Side-channel scope. The signing path (which operates on the secret seed, the derived secret scalar, and the secret per-message nonce) is written to be constant-time at the Java level: the comb
scalarMultBasewalks all precomputed entries via mask-basedcmovrather than a secret-indexed array load, conditional sign application uses XOR-with-maskcnegate, scalar recoding viatoSignedDigitsuses mask-drivencaddTo, andScalar25519.reduce512is fully unrolled straight-line arithmetic. This is sufficient against a remote network timing attacker but is not a substitute for a constant-time native implementation against a co-located cache-line-resolution adversary — JVM-level timing variance from JIT, GC and cache eviction is not addressable in pure Java. Verification routines (those suffixedVar) are deliberately variable-time and operate only on public material. - Key generation —
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classEd25519.Algorithmstatic classEd25519.ExpandedKeyMethods that work with expanded format for private keys (xk/xkOff) i.e.static classEd25519.PublicPoint
-
Field Summary
Fields Modifier and Type Field Description static intPREHASH_SIZEstatic intPUBLIC_KEY_SIZEstatic intSECRET_KEY_SIZEstatic intSIGNATURE_SIZE
-
Constructor Summary
Constructors Constructor Description Ed25519()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static DigestcreatePrehash()static voidencodePublicPoint(Ed25519.PublicPoint publicPoint, byte[] pk, int pkOff)static voidgeneratePrivateKey(java.security.SecureRandom random, byte[] k)static Ed25519.PublicPointgeneratePublicKey(byte[] sk, int skOff)static voidgeneratePublicKey(byte[] sk, int skOff, byte[] pk, int pkOff)static voidprecompute()static voidscalarMultBaseYZ(X25519.Friend friend, byte[] k, int kOff, int[] y, int[] z)NOTE: Only for use by X25519static voidsign(byte[] sk, int skOff, byte[] ctx, byte[] m, int mOff, int mLen, byte[] sig, int sigOff)static voidsign(byte[] sk, int skOff, byte[] pk, int pkOff, byte[] ctx, byte[] m, int mOff, int mLen, byte[] sig, int sigOff)static voidsign(byte[] sk, int skOff, byte[] pk, int pkOff, byte[] m, int mOff, int mLen, byte[] sig, int sigOff)static voidsign(byte[] sk, int skOff, byte[] m, int mOff, int mLen, byte[] sig, int sigOff)static voidsignPrehash(byte[] sk, int skOff, byte[] ctx, byte[] ph, int phOff, byte[] sig, int sigOff)static voidsignPrehash(byte[] sk, int skOff, byte[] pk, int pkOff, byte[] ctx, byte[] ph, int phOff, byte[] sig, int sigOff)static voidsignPrehash(byte[] sk, int skOff, byte[] pk, int pkOff, byte[] ctx, Digest ph, byte[] sig, int sigOff)static voidsignPrehash(byte[] sk, int skOff, byte[] ctx, Digest ph, byte[] sig, int sigOff)static booleanvalidatePublicKeyFull(byte[] pk, int pkOff)static Ed25519.PublicPointvalidatePublicKeyFullExport(byte[] pk, int pkOff)static booleanvalidatePublicKeyPartial(byte[] pk, int pkOff)static Ed25519.PublicPointvalidatePublicKeyPartialExport(byte[] pk, int pkOff)static booleanverify(byte[] sig, int sigOff, byte[] pk, int pkOff, byte[] ctx, byte[] m, int mOff, int mLen)static booleanverify(byte[] sig, int sigOff, byte[] pk, int pkOff, byte[] m, int mOff, int mLen)static booleanverify(byte[] sig, int sigOff, Ed25519.PublicPoint publicPoint, byte[] ctx, byte[] m, int mOff, int mLen)static booleanverify(byte[] sig, int sigOff, Ed25519.PublicPoint publicPoint, byte[] m, int mOff, int mLen)static booleanverifyPrehash(byte[] sig, int sigOff, byte[] pk, int pkOff, byte[] ctx, byte[] ph, int phOff)static booleanverifyPrehash(byte[] sig, int sigOff, byte[] pk, int pkOff, byte[] ctx, Digest ph)static booleanverifyPrehash(byte[] sig, int sigOff, Ed25519.PublicPoint publicPoint, byte[] ctx, byte[] ph, int phOff)static booleanverifyPrehash(byte[] sig, int sigOff, Ed25519.PublicPoint publicPoint, byte[] ctx, Digest ph)
-
-
-
Field Detail
-
PREHASH_SIZE
public static final int PREHASH_SIZE
- See Also:
- Constant Field Values
-
PUBLIC_KEY_SIZE
public static final int PUBLIC_KEY_SIZE
- See Also:
- Constant Field Values
-
SECRET_KEY_SIZE
public static final int SECRET_KEY_SIZE
- See Also:
- Constant Field Values
-
SIGNATURE_SIZE
public static final int SIGNATURE_SIZE
- See Also:
- Constant Field Values
-
-
Method Detail
-
createPrehash
public static Digest createPrehash()
-
encodePublicPoint
public static void encodePublicPoint(Ed25519.PublicPoint publicPoint, byte[] pk, int pkOff)
-
generatePrivateKey
public static void generatePrivateKey(java.security.SecureRandom random, byte[] k)
-
generatePublicKey
public static void generatePublicKey(byte[] sk, int skOff, byte[] pk, int pkOff)
-
generatePublicKey
public static Ed25519.PublicPoint generatePublicKey(byte[] sk, int skOff)
-
precompute
public static void precompute()
-
scalarMultBaseYZ
public static void scalarMultBaseYZ(X25519.Friend friend, byte[] k, int kOff, int[] y, int[] z)
NOTE: Only for use by X25519
-
sign
public static void sign(byte[] sk, int skOff, byte[] m, int mOff, int mLen, byte[] sig, int sigOff)
-
sign
public static void sign(byte[] sk, int skOff, byte[] pk, int pkOff, byte[] m, int mOff, int mLen, byte[] sig, int sigOff)
-
sign
public static void sign(byte[] sk, int skOff, byte[] ctx, byte[] m, int mOff, int mLen, byte[] sig, int sigOff)
-
sign
public static void sign(byte[] sk, int skOff, byte[] pk, int pkOff, byte[] ctx, byte[] m, int mOff, int mLen, byte[] sig, int sigOff)
-
signPrehash
public static void signPrehash(byte[] sk, int skOff, byte[] ctx, byte[] ph, int phOff, byte[] sig, int sigOff)
-
signPrehash
public static void signPrehash(byte[] sk, int skOff, byte[] pk, int pkOff, byte[] ctx, byte[] ph, int phOff, byte[] sig, int sigOff)
-
signPrehash
public static void signPrehash(byte[] sk, int skOff, byte[] ctx, Digest ph, byte[] sig, int sigOff)
-
signPrehash
public static void signPrehash(byte[] sk, int skOff, byte[] pk, int pkOff, byte[] ctx, Digest ph, byte[] sig, int sigOff)
-
validatePublicKeyFull
public static boolean validatePublicKeyFull(byte[] pk, int pkOff)
-
validatePublicKeyFullExport
public static Ed25519.PublicPoint validatePublicKeyFullExport(byte[] pk, int pkOff)
-
validatePublicKeyPartial
public static boolean validatePublicKeyPartial(byte[] pk, int pkOff)
-
validatePublicKeyPartialExport
public static Ed25519.PublicPoint validatePublicKeyPartialExport(byte[] pk, int pkOff)
-
verify
public static boolean verify(byte[] sig, int sigOff, byte[] pk, int pkOff, byte[] m, int mOff, int mLen)
-
verify
public static boolean verify(byte[] sig, int sigOff, Ed25519.PublicPoint publicPoint, byte[] m, int mOff, int mLen)
-
verify
public static boolean verify(byte[] sig, int sigOff, byte[] pk, int pkOff, byte[] ctx, byte[] m, int mOff, int mLen)
-
verify
public static boolean verify(byte[] sig, int sigOff, Ed25519.PublicPoint publicPoint, byte[] ctx, byte[] m, int mOff, int mLen)
-
verifyPrehash
public static boolean verifyPrehash(byte[] sig, int sigOff, byte[] pk, int pkOff, byte[] ctx, byte[] ph, int phOff)
-
verifyPrehash
public static boolean verifyPrehash(byte[] sig, int sigOff, Ed25519.PublicPoint publicPoint, byte[] ctx, byte[] ph, int phOff)
-
verifyPrehash
public static boolean verifyPrehash(byte[] sig, int sigOff, byte[] pk, int pkOff, byte[] ctx, Digest ph)
-
verifyPrehash
public static boolean verifyPrehash(byte[] sig, int sigOff, Ed25519.PublicPoint publicPoint, byte[] ctx, Digest ph)
-
-