ed448goldilocks/src/p25519/arch_x86_64/f_impl.h

/* Copyright (c) 2014 Cryptography Research, Inc.
 * Released under the MIT License.  See LICENSE.txt for license information.
 */
#ifndef __P25519_H__
#define __P25519_H__ 1

#include <stdint.h>
#include <assert.h>
#include <string.h>

#include "decaf/decaf_255.h"
#include "word.h"

#define LBITS 51
#define FIELD_LITERAL(a,b,c,d,e) {{ a,b,c,d,e }}

/*
#define FIELD_LITERAL(a,b,c,d) {{ \
    (a##ull) & LMASK, \
    ((a##ull)>>51 | (b##ull)<<13) & LMASK, \
    ((b##ull)>>38 | (c##ull)<<26) & LMASK, \
    ((c##ull)>>25 | (d##ull)<<39) & LMASK, \
    (d##ull)>>12 \
}}
*/

#ifdef __cplusplus
extern "C" {
#endif

static __inline__ void
gf_25519_add_RAW (
    gf_25519_t out,
    const gf_25519_t a,
    const gf_25519_t b
) __attribute__((unused));
             
static __inline__ void
gf_25519_sub_RAW (
    gf_25519_t out,
    const gf_25519_t a,
    const gf_25519_t b
) __attribute__((unused));
             
static __inline__ void
gf_25519_copy (
    gf_25519_t out,
    const gf_25519_t a
) __attribute__((unused));
             
static __inline__ void
gf_25519_weak_reduce (
    gf_25519_t inout
) __attribute__((unused));
             
void
gf_25519_strong_reduce (
    gf_25519_t inout
);

static __inline__ void
gf_25519_bias (
    gf_25519_t inout,
    int amount
) __attribute__((unused));
         
void
gf_25519_mul (
    gf_25519_s *__restrict__ out,
    const gf_25519_t a,
    const gf_25519_t b
);

void
gf_25519_mulw (
    gf_25519_s *__restrict__ out,
    const gf_25519_t a,
    uint64_t b
);

void
gf_25519_sqr (
    gf_25519_s *__restrict__ out,
    const gf_25519_t a
);

void
gf_25519_serialize (
    uint8_t serial[32],
    const gf_25519_t x
);

mask_t
gf_25519_deserialize (
    gf_25519_t x,
    const uint8_t serial[32]
);

/* -------------- Inline functions begin here -------------- */

void
gf_25519_add_RAW (
    gf_25519_t out,
    const gf_25519_t a,
    const gf_25519_t b
) {
    unsigned int i;
    for (i=0; i<5; i++) {
        out->limb[i] = a->limb[i] + b->limb[i];
    }
}

void
gf_25519_sub_RAW (
    gf_25519_t out,
    const gf_25519_t a,
    const gf_25519_t b
) {
    unsigned int i;
    uint64_t co1 = ((1ull<<51)-1)*2, co2 = co1-36;
    for (i=0; i<5; i++) {
        out->limb[i] = a->limb[i] - b->limb[i] + ((i==0) ? co2 : co1);
    }
}

void
gf_25519_copy (
    gf_25519_t out,
    const gf_25519_t a
) {
    memcpy(out,a,sizeof(*a));
}

void
gf_25519_bias (
    gf_25519_t a,
    int amt
) {
    a->limb[0] += ((uint64_t)(amt)<<52) - 38*amt;
    int i;
    for (i=1; i<5; i++) {
        a->limb[i] += ((uint64_t)(amt)<<52)-2*amt;
    }
}

void
gf_25519_weak_reduce (
    gf_25519_t a
) {
    uint64_t mask = (1ull<<51) - 1;
    uint64_t tmp = a->limb[4] >> 51;
    int i;
    for (i=4; i>0; i--) {
        a->limb[i] = (a->limb[i] & mask) + (a->limb[i-1]>>51);
    }
    a->limb[0] = (a->limb[0] & mask) + tmp*19;
}

#ifdef __cplusplus
}; /* extern "C" */
#endif

#endif /* __P25519_H__ */