ed25519.h File Reference

#include <stdlib.h>

Include dependency graph for ed25519.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
typedef unsigned char	ed25519_signature[64]
typedef unsigned char	ed25519_public_key[32]
typedef unsigned char	ed25519_secret_key[32]
typedef unsigned char	curved25519_key[32]

Functions
void	ed25519_publickey (const ed25519_secret_key sk, ed25519_public_key pk)
int	ed25519_sign_open (const unsigned char *m, size_t mlen, const ed25519_public_key pk, const ed25519_signature RS)
void	ed25519_sign (const unsigned char *m, size_t mlen, const ed25519_secret_key sk, const ed25519_public_key pk, ed25519_signature RS)
int	ed25519_sign_open_batch (const unsigned char **m, size_t *mlen, const unsigned char **pk, const unsigned char **RS, size_t num, int *valid)
void	ed25519_randombytes_unsafe (void *out, size_t count)
void	curved25519_scalarmult_basepoint (curved25519_key pk, const curved25519_key e)

Typedef Documentation

curved25519_key

typedef unsigned char curved25519_key[32]

Definition at line 14 of file ed25519.h.

ed25519_public_key

typedef unsigned char ed25519_public_key[32]

Definition at line 11 of file ed25519.h.

ed25519_secret_key

typedef unsigned char ed25519_secret_key[32]

Definition at line 12 of file ed25519.h.

ed25519_signature

typedef unsigned char ed25519_signature[64]

Definition at line 10 of file ed25519.h.

Function Documentation

curved25519_scalarmult_basepoint()

void curved25519_scalarmult_basepoint	(	curved25519_key	pk,
		const curved25519_key	e )

ed25519_publickey()

void ed25519_publickey	(	const ed25519_secret_key	sk,
		ed25519_public_key	pk )

ed25519_randombytes_unsafe()

void ed25519_randombytes_unsafe	(	void *	out,
		size_t	count )

Definition at line 86 of file ed25519-randombytes.h.

                                                             {
 
  RAND_bytes(p, (int) len);
 
}

ed25519_sign()

void ed25519_sign	(	const unsigned char *	m,
		size_t	mlen,
		const ed25519_secret_key	sk,
		const ed25519_public_key	pk,
		ed25519_signature	RS )

ed25519_sign_open()

int ed25519_sign_open	(	const unsigned char *	m,
		size_t	mlen,
		const ed25519_public_key	pk,
		const ed25519_signature	RS )

Here is the caller graph for this function:

ed25519_sign_open_batch()

int ed25519_sign_open_batch	(	const unsigned char **	m,
		size_t *	mlen,
		const unsigned char **	pk,
		const unsigned char **	RS,
		size_t	num,
		int *	valid )

Definition at line 205 of file ed25519-donna-batchverify.h.

                                                                                                                                                        {
    batch_heap ALIGN(16) batch;
    ge25519 ALIGN(16) p;
    bignum256modm *r_scalars;
    size_t i, batchsize;
    unsigned char hram[64];
    int ret = 0;
 
    for (i = 0; i < num; i++)
        valid[i] = 1;
 
    while (num > 3) {
        batchsize = (num > max_batch_size) ? max_batch_size : num;
 
        /* generate r (scalars[batchsize+1]..scalars[2*batchsize] */
        ED25519_FN(ed25519_randombytes_unsafe) (batch.r, batchsize * 16);
        r_scalars = &batch.scalars[batchsize + 1];
        for (i = 0; i < batchsize; i++)
            expand256_modm(r_scalars[i], batch.r[i], 16);
 
        /* compute scalars[0] = ((r1s1 + r2s2 + ...)) */
        for (i = 0; i < batchsize; i++) {
            expand256_modm(batch.scalars[i], RS[i] + 32, 32);
            mul256_modm(batch.scalars[i], batch.scalars[i], r_scalars[i]);
        }
        for (i = 1; i < batchsize; i++)
            add256_modm(batch.scalars[0], batch.scalars[0], batch.scalars[i]);
 
        /* compute scalars[1]..scalars[batchsize] as r[i]*H(R[i],A[i],m[i]) */
        for (i = 0; i < batchsize; i++) {
            ed25519_hram(hram, RS[i], pk[i], m[i], mlen[i]);
            expand256_modm(batch.scalars[i+1], hram, 64);
            mul256_modm(batch.scalars[i+1], batch.scalars[i+1], r_scalars[i]);
        }
 
        /* compute points */
        batch.points[0] = ge25519_basepoint;
        for (i = 0; i < batchsize; i++)
            if (!ge25519_unpack_negative_vartime(&batch.points[i+1], pk[i]))
                goto fallback;
        for (i = 0; i < batchsize; i++)
            if (!ge25519_unpack_negative_vartime(&batch.points[batchsize+i+1], RS[i]))
                goto fallback;
 
        ge25519_multi_scalarmult_vartime(&p, &batch, (batchsize * 2) + 1);
        if (!ge25519_is_neutral_vartime(&p)) {
            ret |= 2;
 
            fallback:
            for (i = 0; i < batchsize; i++) {
                valid[i] = ED25519_FN(ed25519_sign_open) (m[i], mlen[i], pk[i], RS[i]) ? 0 : 1;
                ret |= (valid[i] ^ 1);
            }
        }
 
        m += batchsize;
        mlen += batchsize;
        pk += batchsize;
        RS += batchsize;
        num -= batchsize;
        valid += batchsize;
    }
 
    for (i = 0; i < num; i++) {
        valid[i] = ED25519_FN(ed25519_sign_open) (m[i], mlen[i], pk[i], RS[i]) ? 0 : 1;
        ret |= (valid[i] ^ 1);
    }
 
    return ret;
}