bn::ParamT< Fp2 > Struct Template Reference

#include <bn.h>

Collaboration diagram for bn::ParamT< Fp2 >:

Public Types
typedef Fp2::Fp	Fp
typedef std::vector< signed char >	SignVec

Static Public Member Functions
static void	init (const CurveParam &cp, int mode=-1, bool useMulx=true)
static void	init (int mode=-1, bool useMulx=true)
template<class T , class U >
static void	eval (T &y, const U &x, const int *c)

Static Public Attributes
static mie::Vsint	z
static mie::Vuint	p
static mie::Vuint	r
static mie::Vuint	t
static mie::Vsint	largest_c
static Fp	Z
static Fp2	W2p
static Fp2	W3p
static Fp2	gammar [5]
static Fp2	gammar2 [5]
static Fp2	gammar3 [5]
static Fp	i0
static Fp	i1
static int	b
static Fp2	b_invxi
static Fp	half
static SignVec	siTbl
static bool	useNAF

Detailed Description

template<class Fp2>
struct bn::ParamT< Fp2 >

Definition at line 179 of file bn.h.

Member Typedef Documentation

Fp

template<class Fp2 >

Fp2::Fp bn::ParamT< Fp2 >::Fp

Definition at line 180 of file bn.h.

SignVec

template<class Fp2 >

std::vector<signed char> bn::ParamT< Fp2 >::SignVec

Definition at line 199 of file bn.h.

Member Function Documentation

eval()

template<class Fp2 >

template<class T , class U >

static void bn::ParamT< Fp2 >::eval ( T & y, const U & x, const int * c )

inlinestatic

Definition at line 276 of file bn.h.

                                                     {
        U tmp = (((c[4] * x + c[3]) * x + c[2]) * x + c[1]) * x + c[0];
        y = tmp.get();
    }

Here is the caller graph for this function:

init() [1/2]

template<class Fp2 >

static void bn::ParamT< Fp2 >::init ( const CurveParam & cp, int mode = -1, bool useMulx = true )

inlinestatic

Definition at line 206 of file bn.h.

    {
#ifdef BN_SUPPORT_SNARK
        bool supported = cp == CurveSNARK1 || cp == CurveSNARK2;
#else
        bool supported = cp == CurveFp254BNb;
#endif
        if (!supported) {
            fprintf(stderr, "not supported parameter\n");
            exit(1);
        }
        mie::zmInit();
        const int64_t org_z = cp.z; // NOTE: hard-coded Fp12::pow_neg_t too.
        const int pCoff[] = { 1, 6, 24, 36, 36 };
        const int rCoff[] = { 1, 6, 18, 36, 36 };
        const int tCoff[] = { 1, 0,  6,  0,  0 };
        z.set(org_z);
        eval(p, z, pCoff);
        eval(r, z, rCoff);
        eval(t, z, tCoff);
        largest_c = 6 * z + 2;
        b = cp.b; // set b before calling Fp::setModulo
        Fp::setModulo(p, mode, useMulx);
        half = Fp(1) / Fp(2);
        /*
            b_invxi = b / xi
        */
        Fp2 xi(cp.xi_a, cp.xi_b);
        b_invxi = xi;
        b_invxi.inverse();
        b_invxi *= Fp2(b, 0);
        gammar[0] = mie::power(xi, (p - 1) / 6);
 
        for (size_t i = 1; i < sizeof(gammar) / sizeof(*gammar); ++i) {
            gammar[i] = gammar[i - 1] * gammar[0];
        }
 
        for (size_t i = 0; i < sizeof(gammar2) / sizeof(*gammar2); ++i) {
            gammar2[i] = Fp2(gammar[i].a_, -gammar[i].b_) * gammar[i];
        }
 
        for (size_t i = 0; i < sizeof(gammar2) / sizeof(*gammar2); ++i) {
            gammar3[i] = gammar[i] * gammar2[i];
        }
 
        W2p = mie::power(xi, (p - 1) / 3);
        W3p = mie::power(xi, (p - 1) / 2);
        Fp2 temp = mie::power(xi, (p * p - 1) / 6);
        assert(temp.b_.isZero());
        Fp::square(Z, -temp.a_);
        i0 = 0;
        i1 = 1;
 
        useNAF = util::getGoodRepl(siTbl, largest_c.abs());
#ifdef BN_SUPPORT_SNARK
        util::getGoodRepl(zReplTbl, z.abs());
#endif
    }

Here is the call graph for this function:

Here is the caller graph for this function:

init() [2/2]

template<class Fp2 >

static void bn::ParamT< Fp2 >::init ( int mode = -1, bool useMulx = true )

inlinestatic

Definition at line 264 of file bn.h.

    {
#ifdef BN_SUPPORT_SNARK
        init(CurveSNARK1, mode, useMulx);
#else
        init(CurveFp254BNb, mode, useMulx);
#endif
    }

Here is the call graph for this function:

Member Data Documentation

b

template<class Fp2 >

int bn::ParamT< Fp2 >::b

static

Definition at line 194 of file bn.h.

b_invxi

template<class Fp2 >

Fp2 bn::ParamT< Fp2 >::b_invxi

static

Definition at line 195 of file bn.h.

gammar

template<class Fp2 >

Fp2 bn::ParamT< Fp2 >::gammar

static

Definition at line 189 of file bn.h.

gammar2

template<class Fp2 >

Fp2 bn::ParamT< Fp2 >::gammar2

static

Definition at line 190 of file bn.h.

gammar3

template<class Fp2 >

Fp2 bn::ParamT< Fp2 >::gammar3

static

Definition at line 191 of file bn.h.

half

template<class Fp2 >

Fp2::Fp bn::ParamT< Fp2 >::half

static

Definition at line 196 of file bn.h.

i0

template<class Fp2 >

Fp2::Fp bn::ParamT< Fp2 >::i0

static

Definition at line 192 of file bn.h.

i1

template<class Fp2 >

Fp2::Fp bn::ParamT< Fp2 >::i1

static

Definition at line 193 of file bn.h.

largest_c

template<class Fp2 >

mie::Vsint bn::ParamT< Fp2 >::largest_c

static

Definition at line 185 of file bn.h.

p

template<class Fp2 >

mie::Vuint bn::ParamT< Fp2 >::p

static

Definition at line 182 of file bn.h.

r

template<class Fp2 >

mie::Vuint bn::ParamT< Fp2 >::r

static

Definition at line 183 of file bn.h.

siTbl

template<class Fp2 >

ParamT< Fp2 >::SignVec bn::ParamT< Fp2 >::siTbl

static

Definition at line 200 of file bn.h.

t

template<class Fp2 >

mie::Vuint bn::ParamT< Fp2 >::t

static

Definition at line 184 of file bn.h.

useNAF

template<class Fp2 >

bool bn::ParamT< Fp2 >::useNAF

static

Definition at line 201 of file bn.h.

W2p

template<class Fp2 >

Fp2 bn::ParamT< Fp2 >::W2p

static

Definition at line 187 of file bn.h.

W3p

template<class Fp2 >

Fp2 bn::ParamT< Fp2 >::W3p

static

Definition at line 188 of file bn.h.

Z

template<class Fp2 >

Fp2::Fp bn::ParamT< Fp2 >::Z

static

Definition at line 186 of file bn.h.

z

template<class Fp2 >

mie::Vsint bn::ParamT< Fp2 >::z

static

Definition at line 181 of file bn.h.

---

The documentation for this struct was generated from the following file:

• libraries/fc/libraries/ff/depends/ate-pairing/include/bn.h