bn::Fp6T< T >::Dbl Struct Reference

#include <bn.h>

Inheritance diagram for bn::Fp6T< T >::Dbl:

Collaboration diagram for bn::Fp6T< T >::Dbl:

Public Types
enum	{ SIZE = Fp2Dbl::SIZE * 3 }
typedef Fp::Dbl	FpDbl
typedef Fp2::Dbl	Fp2Dbl
typedef void	uni_op(Dbl &, const Dbl &)
typedef void	bin_op(Dbl &, const Dbl &, const Dbl &)

Public Member Functions
std::string	toString (int base=10) const
	Dbl ()
	Dbl (const Fp6T &x)
	Dbl (const Fp2 &a, const Fp2 &b, const Fp2 &c)
	Dbl (const Fp2Dbl &a, const Fp2Dbl &b, const Fp2Dbl &c)
	Dbl (const std::string &a0, const std::string &a1, const std::string &b0, const std::string &b1, const std::string &c0, const std::string &c1)
void	setDirect (const mie::Vuint &v0, const mie::Vuint &v1, const mie::Vuint &v2, const mie::Vuint &v3, const mie::Vuint &v4, const mie::Vuint &v5)
void	setDirect (const Fp2Dbl &a, const Fp2Dbl &b, const Fp2Dbl &c)
Fp2Dbl *	get ()
const Fp2Dbl *	get () const
bool	isZero () const
Public Member Functions inherited from mie::local::addsubmul< Dbl, mie::local::hasNegative< Dbl > >
MIE_FORCE_INLINE Dbl &	operator+= (const N &rhs)
MIE_FORCE_INLINE Dbl &	operator-= (const Dbl &rhs)
MIE_FORCE_INLINE Dbl &	operator*= (const Dbl &rhs)
Public Member Functions inherited from mie::local::hasNegative< Dbl >
MIE_FORCE_INLINE Dbl	operator- () const

Static Public Member Functions
static void	add (Dbl &z, const Dbl &x, const Dbl &y)
static void	addNC (Dbl &z, const Dbl &x, const Dbl &y)
static void	neg (Dbl &z, const Dbl &x)
static void	sub (Dbl &z, const Dbl &x, const Dbl &y)
static void	subNC (Dbl &z, const Dbl &x, const Dbl &y)
static void	mulC (Dbl &z, const Fp6T &x, const Fp6T &y)
static void	mod (Fp6T &z, const Dbl &x)

Public Attributes
Fp2Dbl	a_
Fp2Dbl	b_
Fp2Dbl	c_

Static Public Attributes
static void(*	mul )(Dbl &, const Fp6T &x, const Fp6T &y)

Friends
std::ostream &	operator<< (std::ostream &os, const Dbl &x)
bool	operator== (const Dbl &x, const Dbl &y)
bool	operator!= (const Dbl &x, const Dbl &y)

Detailed Description

template<class T>
struct bn::Fp6T< T >::Dbl

Definition at line 1158 of file bn.h.

Member Typedef Documentation

bin_op

template<class T >

void bn::Fp6T< T >::Dbl::bin_op(Dbl &, const Dbl &, const Dbl &)

Definition at line 1226 of file bn.h.

Fp2Dbl

template<class T >

Fp2::Dbl bn::Fp6T< T >::Dbl::Fp2Dbl

Definition at line 1160 of file bn.h.

FpDbl

template<class T >

Fp::Dbl bn::Fp6T< T >::Dbl::FpDbl

Definition at line 1159 of file bn.h.

uni_op

template<class T >

void bn::Fp6T< T >::Dbl::uni_op(Dbl &, const Dbl &)

Definition at line 1225 of file bn.h.

Member Enumeration Documentation

anonymous enum

template<class T >

anonymous enum

Enumerator
SIZE

Definition at line 1161 of file bn.h.

{ SIZE = Fp2Dbl::SIZE * 3 };

Constructor & Destructor Documentation

Dbl() [1/5]

template<class T >

bn::Fp6T< T >::Dbl::Dbl ( )

inline

Definition at line 1174 of file bn.h.

{ }

Dbl() [2/5]

template<class T >

bn::Fp6T< T >::Dbl::Dbl ( const Fp6T & x )

inline

Definition at line 1175 of file bn.h.

            : a_(x.a_)
            , b_(x.b_)
            , c_(x.c_)
        {
        }

Dbl() [3/5]

template<class T >

bn::Fp6T< T >::Dbl::Dbl ( const Fp2 & a, const Fp2 & b, const Fp2 & c )

inline

Definition at line 1181 of file bn.h.

            : a_(a)
            , b_(b)
            , c_(c)
        {
        }

Dbl() [4/5]

template<class T >

bn::Fp6T< T >::Dbl::Dbl ( const Fp2Dbl & a, const Fp2Dbl & b, const Fp2Dbl & c )

inline

Definition at line 1187 of file bn.h.

            : a_(a)
            , b_(b)
            , c_(c)
        {
        }

Dbl() [5/5]

template<class T >

bn::Fp6T< T >::Dbl::Dbl ( const std::string & a0, const std::string & a1, const std::string & b0, const std::string & b1, const std::string & c0, const std::string & c1 )

inline

Definition at line 1193 of file bn.h.

            : a_(a0, a1)
            , b_(b0, b1)
            , c_(c0, c1)
        {
        }

Member Function Documentation

add()

template<class T >

static void bn::Fp6T< T >::Dbl::add ( Dbl & z, const Dbl & x, const Dbl & y )

inlinestatic

Definition at line 1228 of file bn.h.

        {
            Fp2Dbl::add(z.a_, x.a_, y.a_);
            Fp2Dbl::add(z.b_, x.b_, y.b_);
            Fp2Dbl::add(z.c_, x.c_, y.c_);
        }

Here is the caller graph for this function:

addNC()

template<class T >

static void bn::Fp6T< T >::Dbl::addNC ( Dbl & z, const Dbl & x, const Dbl & y )

inlinestatic

Definition at line 1235 of file bn.h.

        {
            Fp2Dbl::addNC(z.a_, x.a_, y.a_);
            Fp2Dbl::addNC(z.b_, x.b_, y.b_);
            Fp2Dbl::addNC(z.c_, x.c_, y.c_);
        }

Here is the caller graph for this function:

get() [1/2]

template<class T >

Fp2Dbl * bn::Fp6T< T >::Dbl::get ( )

inline

Definition at line 1212 of file bn.h.

{ return &a_; }

get() [2/2]

template<class T >

const Fp2Dbl * bn::Fp6T< T >::Dbl::get ( ) const

inline

Definition at line 1213 of file bn.h.

{ return &a_; }

isZero()

template<class T >

bool bn::Fp6T< T >::Dbl::isZero ( ) const

inline

Definition at line 1214 of file bn.h.

        {
            return a_.isZero() && b_.isZero() && c_.isZero();
        }

Here is the call graph for this function:

Here is the caller graph for this function:

mod()

template<class T >

static void bn::Fp6T< T >::Dbl::mod ( Fp6T & z, const Dbl & x )

inlinestatic

Definition at line 1328 of file bn.h.

        {
            Fp2Dbl::mod(z.a_, x.a_);
            Fp2Dbl::mod(z.b_, x.b_);
            Fp2Dbl::mod(z.c_, x.c_);
        }

Here is the caller graph for this function:

mulC()

template<class T >

static void bn::Fp6T< T >::Dbl::mulC ( Dbl & z, const Fp6T & x, const Fp6T & y )

inlinestatic

c1 except xi * t2 term

Definition at line 1268 of file bn.h.

        {
            Fp2 t0, t1;
            Fp2Dbl T0, T1, T2;
            // # 1
            Fp2Dbl::mulOpt1(T0, x.a_, y.a_);
            Fp2Dbl::mulOpt1(T1, x.b_, y.b_);
            Fp2Dbl::mulOpt1(T2, x.c_, y.c_);
            // # 2
            Fp2::addNC(t0, x.b_, x.c_);
            Fp2::addNC(t1, y.b_, y.c_);
            // # 3
            Fp2Dbl::mulOpt2(z.c_, t0, t1);
            // # 4
            Fp2Dbl::addNC(z.b_, T1, T2);
            // # 5
            FpDbl::sub(z.c_.a_, z.c_.a_, z.b_.a_);
            // # 6
            FpDbl::subNC(z.c_.b_, z.c_.b_, z.b_.b_);
            // # 7
            Fp2Dbl::mul_xi(z.b_, z.c_);
            // # 8
            Fp2Dbl::add(z.a_, z.b_, T0);
            // # 9
            Fp2::addNC(t0, x.a_, x.b_);
            Fp2::addNC(t1, y.a_, y.b_);
            // # 10
            Fp2Dbl::mulOpt2(z.c_, t0, t1);
            // # 11
            Fp2Dbl::addNC(z.b_, T0, T1);
            // # 12
            FpDbl::sub(z.c_.a_, z.c_.a_, z.b_.a_);
            // # 13
            FpDbl::subNC(z.c_.b_, z.c_.b_, z.b_.b_);
            // # 14, 15
#ifdef BN_SUPPORT_SNARK
            Fp2Dbl::mul_xi(z.b_, T2); // store xi * t2 term
#else
            FpDbl::subOpt1(z.b_.a_, T2.a_, T2.b_);
            FpDbl::add(z.b_.b_, T2.a_, T2.b_);
#endif
            // # 16
            Fp2Dbl::add(z.b_, z.b_, z.c_);
            // # 17
            Fp2::addNC(t0, x.a_, x.c_);
            Fp2::addNC(t1, y.a_, y.c_);
            // # 18
            Fp2Dbl::mulOpt2(z.c_, t0, t1);
            // # 19
            Fp2Dbl::addNC(T2, T2, T0);
            // # 20
            FpDbl::sub(z.c_.a_, z.c_.a_, T2.a_);
            // # 22
            FpDbl::add(z.c_.a_, z.c_.a_, T1.a_);
            // # 21
            FpDbl::subNC(z.c_.b_, z.c_.b_, T2.b_);
            // # 23
            FpDbl::addNC(z.c_.b_, z.c_.b_, T1.b_);
        }

Here is the call graph for this function:

neg()

template<class T >

static void bn::Fp6T< T >::Dbl::neg ( Dbl & z, const Dbl & x )

inlinestatic

Definition at line 1242 of file bn.h.

        {
            Fp2Dbl::neg(z.a_, x.a_);
            Fp2Dbl::neg(z.b_, x.b_);
            Fp2Dbl::neg(z.c_, x.c_);
        }

Here is the caller graph for this function:

setDirect() [1/2]

template<class T >

void bn::Fp6T< T >::Dbl::setDirect ( const Fp2Dbl & a, const Fp2Dbl & b, const Fp2Dbl & c )

inline

Definition at line 1206 of file bn.h.

        {
            a_ = a;
            b_ = b;
            c_ = c;
        }

setDirect() [2/2]

template<class T >

void bn::Fp6T< T >::Dbl::setDirect ( const mie::Vuint & v0, const mie::Vuint & v1, const mie::Vuint & v2, const mie::Vuint & v3, const mie::Vuint & v4, const mie::Vuint & v5 )

inline

Definition at line 1200 of file bn.h.

        {
            a_.setDirect(v0, v1);
            b_.setDirect(v2, v3);
            c_.setDirect(v4, v5);
        }

Here is the call graph for this function:

sub()

template<class T >

static void bn::Fp6T< T >::Dbl::sub ( Dbl & z, const Dbl & x, const Dbl & y )

inlinestatic

Definition at line 1249 of file bn.h.

        {
            Fp2Dbl::sub(z.a_, x.a_, y.a_);
            Fp2Dbl::sub(z.b_, x.b_, y.b_);
            Fp2Dbl::sub(z.c_, x.c_, y.c_);
        }

Here is the caller graph for this function:

subNC()

template<class T >

static void bn::Fp6T< T >::Dbl::subNC ( Dbl & z, const Dbl & x, const Dbl & y )

inlinestatic

Definition at line 1256 of file bn.h.

        {
            Fp2Dbl::subNC(z.a_, x.a_, y.a_);
            Fp2Dbl::subNC(z.b_, x.b_, y.b_);
            Fp2Dbl::subNC(z.c_, x.c_, y.c_);
        }

Here is the caller graph for this function:

toString()

template<class T >

std::string bn::Fp6T< T >::Dbl::toString ( int base = 10 ) const

inline

Definition at line 1165 of file bn.h.

        {
            return ("[" + a_.toString(base) + ",\n" + b_.toString(base) + ",\n" + c_.toString() + "]");
        }

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Symbol Documentation

operator!=

template<class T >

bool operator!= ( const Dbl & x, const Dbl & y )

friend

Definition at line 1223 of file bn.h.

{ return !(x == y); }

operator<<

template<class T >

std::ostream & operator<< ( std::ostream & os, const Dbl & x )

friend

Definition at line 1169 of file bn.h.

        {
            return os << x.toString();
        }

operator==

template<class T >

bool operator== ( const Dbl & x, const Dbl & y )

friend

Definition at line 1219 of file bn.h.

        {
            return x.a_ == y.a_ && x.b_ == y.b_ && x.c_ == y.c_;
        }

Member Data Documentation

a_

template<class T >

Fp2Dbl bn::Fp6T< T >::Dbl::a_

Definition at line 1163 of file bn.h.

b_

template<class T >

Fp2Dbl bn::Fp6T< T >::Dbl::b_

Definition at line 1163 of file bn.h.

c_

template<class T >

Fp2Dbl bn::Fp6T< T >::Dbl::c_

Definition at line 1163 of file bn.h.

mul

template<class T >

void(* bn::Fp6T< T >::Dbl::mul) (Dbl &, const Fp6T &x, const Fp6T &y)

static

Definition at line 1262 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