libff::bw6_761_G1 Class Reference

#include <bw6_761_g1.hpp>

Collaboration diagram for libff::bw6_761_G1:

Public Types
typedef bw6_761_Fq	base_field
typedef bw6_761_Fr	scalar_field

Public Member Functions
	bw6_761_G1 ()
	bw6_761_G1 (const bw6_761_Fq &X, const bw6_761_Fq &Y, const bw6_761_Fq &Z)
void	print () const
void	print_coordinates () const
void	to_affine_coordinates ()
void	to_special ()
bool	is_special () const
bool	is_zero () const
bool	operator== (const bw6_761_G1 &other) const
bool	operator!= (const bw6_761_G1 &other) const
bw6_761_G1	operator+ (const bw6_761_G1 &other) const
bw6_761_G1	operator- () const
bw6_761_G1	operator- (const bw6_761_G1 &other) const
bw6_761_G1	add (const bw6_761_G1 &other) const
bw6_761_G1	mixed_add (const bw6_761_G1 &other) const
bw6_761_G1	dbl () const
bw6_761_G1	mul_by_cofactor () const
bool	is_well_formed () const
bool	is_in_safe_subgroup () const
void	write_uncompressed (std::ostream &) const
void	write_compressed (std::ostream &) const

Static Public Member Functions
static const bw6_761_G1 &	zero ()
static const bw6_761_G1 &	one ()
static bw6_761_G1	random_element ()
static size_t	size_in_bits ()
static bigint< base_field::num_limbs >	base_field_char ()
static bigint< scalar_field::num_limbs >	order ()
static void	read_uncompressed (std::istream &, bw6_761_G1 &)
static void	read_compressed (std::istream &, bw6_761_G1 &)
static void	batch_to_special_all_non_zeros (std::vector< bw6_761_G1 > &vec)

Public Attributes
bw6_761_Fq	X
bw6_761_Fq	Y
bw6_761_Fq	Z

Static Public Attributes
static std::vector< size_t >	wnaf_window_table
static std::vector< size_t >	fixed_base_exp_window_table
static bw6_761_G1	G1_zero
static bw6_761_G1	G1_one
static bw6_761_Fq	coeff_a
static bw6_761_Fq	coeff_b
static const mp_size_t	h_bitcount = 384
static const mp_size_t	h_limbs
static bigint< h_limbs >	h

Friends
std::ostream &	operator<< (std::ostream &out, const bw6_761_G1 &g)
std::istream &	operator>> (std::istream &in, bw6_761_G1 &g)

Detailed Description

Definition at line 14 of file bw6_761_g1.hpp.

Member Typedef Documentation

base_field

typedef bw6_761_Fq libff::bw6_761_G1::base_field

Definition at line 28 of file bw6_761_g1.hpp.

scalar_field

typedef bw6_761_Fr libff::bw6_761_G1::scalar_field

Definition at line 29 of file bw6_761_g1.hpp.

Constructor & Destructor Documentation

bw6_761_G1() [1/2]

libff::bw6_761_G1::bw6_761_G1

(

)

Definition at line 19 of file bw6_761_g1.cpp.

{
    this->X = G1_zero.X;
    this->Y = G1_zero.Y;
    this->Z = G1_zero.Z;
}

Here is the caller graph for this function:

bw6_761_G1() [2/2]

libff::bw6_761_G1::bw6_761_G1 ( const bw6_761_Fq &  X, const bw6_761_Fq &  Y, const bw6_761_Fq &  Z  )

inline

Definition at line 41 of file bw6_761_g1.hpp.

        : X(X), Y(Y), Z(Z){};

Member Function Documentation

add()

bw6_761_G1 libff::bw6_761_G1::add

(

const bw6_761_G1 &

other

)

const

Definition at line 206 of file bw6_761_g1.cpp.

{
    if (this->is_zero()) {
        return other;
    }
 
    if (other.is_zero()) {
        return (*this);
    }
 
    // No need to handle points of order 2,4
    // (they cannot exist in a prime-order subgroup)
 
    // Point doubling (i.e. P + P)
    if (this->operator==(other)) {
        return this->dbl();
    }
 
#ifdef PROFILE_OP_COUNTS
    this->add_cnt++;
#endif
    // NOTE: does not handle O and pts of order 2,4
    // Point addition (i.e. P + Q, P =/= Q)
    // http://www.hyperelliptic.org/EFD/g1p/auto-shortw-projective.html#addition-add-1998-cmo-2
    // Y1Z2 = Y1*Z2
    const bw6_761_Fq Y1Z2 = (this->Y) * (other.Z);
    // X1Z2 = X1*Z2
    const bw6_761_Fq X1Z2 = (this->X) * (other.Z);
    // Z1Z2 = Z1*Z2
    const bw6_761_Fq Z1Z2 = (this->Z) * (other.Z);
    // u = Y2*Z1-Y1Z2
    const bw6_761_Fq u = (other.Y) * (this->Z) - Y1Z2;
    // uu = u^2
    const bw6_761_Fq uu = u.squared();
    // v = X2*Z1-X1Z2
    const bw6_761_Fq v = (other.X) * (this->Z) - X1Z2;
    // vv = v^2
    const bw6_761_Fq vv = v.squared();
    // vvv = v*vv
    const bw6_761_Fq vvv = v * vv;
    // R = vv*X1Z2
    const bw6_761_Fq R = vv * X1Z2;
    // A = uu*Z1Z2 - vvv - 2*R
    const bw6_761_Fq A = uu * Z1Z2 - (vvv + R + R);
    // X3 = v*A
    const bw6_761_Fq X3 = v * A;
    // Y3 = u*(R-A) - vvv*Y1Z2
    const bw6_761_Fq Y3 = u * (R - A) - vvv * Y1Z2;
    // Z3 = vvv*Z1Z2
    const bw6_761_Fq Z3 = vvv * Z1Z2;
 
    return bw6_761_G1(X3, Y3, Z3);
}

Here is the call graph for this function:

base_field_char()

static bigint<base_field::num_limbs> libff::bw6_761_G1::base_field_char ( )

inlinestatic

Definition at line 73 of file bw6_761_g1.hpp.

    {
        return base_field::field_char();
    }

Here is the call graph for this function:

batch_to_special_all_non_zeros()

void libff::bw6_761_G1::batch_to_special_all_non_zeros ( std::vector< bw6_761_G1 > &  vec )

static

Definition at line 489 of file bw6_761_g1.cpp.

{
    std::vector<bw6_761_Fq> Z_vec;
    Z_vec.reserve(vec.size());
 
    for (auto &el : vec) {
        Z_vec.emplace_back(el.Z);
    }
    batch_invert<bw6_761_Fq>(Z_vec);
 
    const bw6_761_Fq one = bw6_761_Fq::one();
 
    for (size_t i = 0; i < vec.size(); ++i) {
        vec[i].X = vec[i].X * Z_vec[i];
        vec[i].Y = vec[i].Y * Z_vec[i];
        vec[i].Z = one;
    }
}

Here is the call graph for this function:

dbl()

bw6_761_G1 libff::bw6_761_G1::dbl

(

)

const

Definition at line 318 of file bw6_761_g1.cpp.

{
#ifdef PROFILE_OP_COUNTS
    this->dbl_cnt++;
#endif
    if (this->is_zero()) {
        return (*this);
    }
 
    // NOTE: does not handle O and pts of order 2,4
    // (they cannot exist in a prime-order subgroup)
 
    // Point doubling (i.e. P + P)
    // https://www.hyperelliptic.org/EFD/g1p/data/shortw/projective/doubling/dbl-2007-bl
    // XX = X1^2
    const bw6_761_Fq XX = (this->X).squared();
    // w = a*ZZ + 3*XX = 3*XX (since a=0)
    const bw6_761_Fq w = XX + XX + XX;
    const bw6_761_Fq Y1Z1 = (this->Y) * (this->Z);
    // s = 2*Y1*Z1
    const bw6_761_Fq s = Y1Z1 + Y1Z1;
    // ss = s^2
    const bw6_761_Fq ss = s.squared();
    // sss = s*ss
    const bw6_761_Fq sss = s * ss;
    // R = Y1*s
    const bw6_761_Fq R = (this->Y) * s;
    // RR = R^2
    const bw6_761_Fq RR = R.squared();
    // B = (X1+R)^2 - XX - RR
    const bw6_761_Fq B = ((this->X) + R).squared() - XX - RR;
    // h = w^2 - 2*B
    const bw6_761_Fq h = w.squared() - (B + B);
    // X3 = h*s
    const bw6_761_Fq X3 = h * s;
    // Y3 = w*(B-h) - 2*RR
    const bw6_761_Fq Y3 = w * (B - h) - (RR + RR);
    // Z3 = sss
    const bw6_761_Fq Z3 = sss;
    return bw6_761_G1(X3, Y3, Z3);
}

Here is the call graph for this function:

Here is the caller graph for this function:

is_in_safe_subgroup()

bool libff::bw6_761_G1::is_in_safe_subgroup

(

)

const

Definition at line 385 of file bw6_761_g1.cpp.

{
    return zero() == scalar_field::mod * (*this);
}

Here is the call graph for this function:

is_special()

bool libff::bw6_761_G1::is_special

(

)

const

Definition at line 74 of file bw6_761_g1.cpp.

{
    return (this->is_zero() || this->Z == bw6_761_Fq::one());
}

Here is the call graph for this function:

Here is the caller graph for this function:

is_well_formed()

bool libff::bw6_761_G1::is_well_formed

(

)

const

Definition at line 365 of file bw6_761_g1.cpp.

{
    if (this->is_zero()) {
        return true;
    }
 
    // The curve equation is
    // y^2 = x^3 + ax + b, where a=0 and b=-1
    // We are using Projective coordinates. As such, the equation becomes:
    // (y/z)^2 = (x/z)^3 + a (x/z) + b
    // = z y^2 = x^3  + a z^2 x + b z^3
    // = z (y^2 - b z^2) = x ( x^2 + a z^2)
    // = z (y^2 - b z^2) = x^3, since a = 0
    const bw6_761_Fq X2 = this->X.squared();
    const bw6_761_Fq Y2 = this->Y.squared();
    const bw6_761_Fq Z2 = this->Z.squared();
 
    return (this->Z * (Y2 - bw6_761_coeff_b * Z2) == this->X * X2);
}

Here is the call graph for this function:

is_zero()

bool libff::bw6_761_G1::is_zero

(

)

const

Definition at line 79 of file bw6_761_g1.cpp.

{
    return (this->X.is_zero() && this->Z.is_zero());
}

Here is the call graph for this function:

Here is the caller graph for this function:

mixed_add()

bw6_761_G1 libff::bw6_761_G1::mixed_add

(

const bw6_761_G1 &

other

)

const

Definition at line 263 of file bw6_761_g1.cpp.

{
#ifdef DEBUG
    assert(other.is_special());
#endif
 
    if (this->is_zero()) {
        return other;
    }
 
    if (other.is_zero()) {
        return (*this);
    }
 
    // X2Z1 = X2*Z1
    const bw6_761_Fq X2Z1 = (this->Z) * (other.X);
    // Y2Z1 = Y2*Z1
    const bw6_761_Fq Y2Z1 = (this->Z) * (other.Y);
 
    // (X1/Z1) == X2 => X1 == X2Z1
    // (Y1/Z1) == Y2 => Y1 == Y2Z1
    if (this->X == X2Z1 && this->Y == Y2Z1) {
        return this->dbl();
    }
 
#ifdef PROFILE_OP_COUNTS
    this->add_cnt++;
#endif
 
    // Mixed point addition
    // https://www.hyperelliptic.org/EFD/g1p/data/shortw/projective/addition/madd-1998-cmo
    // u = Y2*Z1-Y1
    bw6_761_Fq u = Y2Z1 - this->Y;
    // uu = u2
    bw6_761_Fq uu = u.squared();
    // v = X2*Z1-X1
    bw6_761_Fq v = X2Z1 - this->X;
    // vv = v2
    bw6_761_Fq vv = v.squared();
    // vvv = v*vv
    bw6_761_Fq vvv = v * vv;
    // R = vv*X1
    bw6_761_Fq R = vv * this->X;
    // A = uu*Z1-vvv-2*R
    bw6_761_Fq A = uu * this->Z - vvv - R - R;
    // X3 = v*A
    bw6_761_Fq X3 = v * A;
    // Y3 = u*(R-A)-vvv*Y1
    bw6_761_Fq Y3 = u * (R - A) - vvv * this->Y;
    // Z3 = vvv*Z1
    bw6_761_Fq Z3 = vvv * this->Z;
 
    return bw6_761_G1(X3, Y3, Z3);
}

Here is the call graph for this function:

mul_by_cofactor()

bw6_761_G1 libff::bw6_761_G1::mul_by_cofactor

(

)

const

Definition at line 360 of file bw6_761_g1.cpp.

{
    return bw6_761_G1::h * (*this);
}

one()

const bw6_761_G1 & libff::bw6_761_G1::one ( )

static

Definition at line 392 of file bw6_761_g1.cpp.

{ return G1_one; }

Here is the caller graph for this function:

operator!=()

bool libff::bw6_761_G1::operator!=

(

const bw6_761_G1 &

other

)

const

Definition at line 106 of file bw6_761_g1.cpp.

{
    return !(operator==(other));
}

Here is the call graph for this function:

operator+()

bw6_761_G1 libff::bw6_761_G1::operator+

(

const bw6_761_G1 &

other

)

const

Definition at line 111 of file bw6_761_g1.cpp.

{
    // Handle special cases having to do with O
    if (this->is_zero()) {
        return other;
    }
 
    if (other.is_zero()) {
        return *this;
    }
 
    // No need to handle points of order 2,4
    // (they cannot exist in a prime-order subgroup)
 
    // X1Z2 = X1*Z2
    const bw6_761_Fq X1Z2 = (this->X) * (other.Z);
    // X2Z1 = X2*Z1
    const bw6_761_Fq X2Z1 = (this->Z) * (other.X);
 
    // Y1Z2 = Y1*Z2
    const bw6_761_Fq Y1Z2 = (this->Y) * (other.Z);
    // Y2Z1 = Y2*Z1
    const bw6_761_Fq Y2Z1 = (this->Z) * (other.Y);
 
    // Check if the 2 points are equal, in which can we do a point doubling
    // (i.e. P + P)
    // https://www.hyperelliptic.org/EFD/g1p/data/shortw/projective/doubling/dbl-2007-bl
    if (X1Z2 == X2Z1 && Y1Z2 == Y2Z1) {
        // XX = X1^2
        const bw6_761_Fq XX = (this->X).squared();
        // w = a*ZZ + 3*XX = 3*XX (since a=0)
        const bw6_761_Fq w = XX + XX + XX;
        const bw6_761_Fq Y1Z1 = (this->Y) * (this->Z);
        // s = 2*Y1*Z1
        const bw6_761_Fq s = Y1Z1 + Y1Z1;
        // ss = s^2
        const bw6_761_Fq ss = s.squared();
        // sss = s*ss
        const bw6_761_Fq sss = s * ss;
        // R = Y1*s
        const bw6_761_Fq R = (this->Y) * s;
        // RR = R^2
        const bw6_761_Fq RR = R.squared();
        // B = (X1+R)^2 - XX - RR
        const bw6_761_Fq B = ((this->X) + R).squared() - XX - RR;
        // h = w^2 - 2*B
        const bw6_761_Fq h = w.squared() - (B + B);
        // X3 = h*s
        const bw6_761_Fq X3 = h * s;
        // Y3 = w*(B-h) - 2*RR
        const bw6_761_Fq Y3 = w * (B - h) - (RR + RR);
        // Z3 = sss
        const bw6_761_Fq Z3 = sss;
 
        return bw6_761_G1(X3, Y3, Z3);
    }
 
    // Point addition (i.e. P + Q, P =/= Q)
    // https://www.hyperelliptic.org/EFD/g1p/data/shortw/projective/addition/add-1998-cmo-2
    // Z1Z2 = Z1*Z2
    const bw6_761_Fq Z1Z2 = (this->Z) * (other.Z);
    // u = Y2*Z1-Y1Z2
    const bw6_761_Fq u = Y2Z1 - Y1Z2;
    // uu = u^2
    const bw6_761_Fq uu = u.squared();
    // v = X2*Z1-X1Z2
    const bw6_761_Fq v = X2Z1 - X1Z2;
    // vv = v^2
    const bw6_761_Fq vv = v.squared();
    // vvv = v*vv
    const bw6_761_Fq vvv = v * vv;
    // R = vv*X1Z2
    const bw6_761_Fq R = vv * X1Z2;
    // A = uu*Z1Z2 - vvv - 2*R
    const bw6_761_Fq A = uu * Z1Z2 - (vvv + R + R);
    // X3 = v*A
    const bw6_761_Fq X3 = v * A;
    // Y3 = u*(R-A) - vvv*Y1Z2
    const bw6_761_Fq Y3 = u * (R - A) - vvv * Y1Z2;
    // Z3 = vvv*Z1Z2
    const bw6_761_Fq Z3 = vvv * Z1Z2;
 
    return bw6_761_G1(X3, Y3, Z3);
}

Here is the call graph for this function:

operator-() [1/2]

bw6_761_G1 libff::bw6_761_G1::operator-

(

)

const

Definition at line 196 of file bw6_761_g1.cpp.

{
    return bw6_761_G1(this->X, -(this->Y), this->Z);
}

Here is the call graph for this function:

operator-() [2/2]

bw6_761_G1 libff::bw6_761_G1::operator-

(

const bw6_761_G1 &

other

)

const

Definition at line 201 of file bw6_761_g1.cpp.

{
    return (*this) + (-other);
}

operator==()

bool libff::bw6_761_G1::operator==

(

const bw6_761_G1 &

other

)

const

Definition at line 84 of file bw6_761_g1.cpp.

{
    if (this->is_zero()) {
        return other.is_zero();
    }
 
    if (other.is_zero()) {
        return false;
    }
 
    // Using Projective coordinates so:
    //   (X1:Y1:Z1) = (X2:Y2:Z2) <=>
    //   X1/Z1 = X2/Z2 AND Y1/Z1 = Y2/Z2 <=>
    //   X1*Z2 = X2*Z1 AND Y1*Z2 = Y2*Z1
    if (((this->X * other.Z) != (other.X * this->Z)) ||
        ((this->Y * other.Z) != (other.Y * this->Z))) {
        return false;
    }
 
    return true;
}

Here is the call graph for this function:

Here is the caller graph for this function:

order()

static bigint<scalar_field::num_limbs> libff::bw6_761_G1::order ( )

inlinestatic

Definition at line 77 of file bw6_761_g1.hpp.

    {
        return scalar_field::field_char();
    }

Here is the call graph for this function:

print()

void libff::bw6_761_G1::print

(

)

const

Definition at line 26 of file bw6_761_g1.cpp.

{
    if (this->is_zero()) {
        printf("O\n");
    } else {
        bw6_761_G1 copy(*this);
        copy.to_affine_coordinates();
        gmp_printf(
            "(%Nd , %Nd)\n",
            copy.X.as_bigint().data,
            bw6_761_Fq::num_limbs,
            copy.Y.as_bigint().data,
            bw6_761_Fq::num_limbs);
    }
}

Here is the call graph for this function:

print_coordinates()

void libff::bw6_761_G1::print_coordinates

(

)

const

Definition at line 42 of file bw6_761_g1.cpp.

{
    if (this->is_zero()) {
        printf("O\n");
    } else {
        gmp_printf(
            "(%Nd : %Nd : %Nd)\n",
            this->X.as_bigint().data,
            bw6_761_Fq::num_limbs,
            this->Y.as_bigint().data,
            bw6_761_Fq::num_limbs,
            this->Z.as_bigint().data,
            bw6_761_Fq::num_limbs);
    }
}

Here is the call graph for this function:

random_element()

bw6_761_G1 libff::bw6_761_G1::random_element ( )

static

Definition at line 394 of file bw6_761_g1.cpp.

{
    return (scalar_field::random_element().as_bigint()) * G1_one;
}

Here is the call graph for this function:

read_compressed()

void libff::bw6_761_G1::read_compressed ( std::istream &  in, bw6_761_G1 &  g  )

static

Definition at line 444 of file bw6_761_g1.cpp.

{
    char is_zero;
    bw6_761_Fq tX, tY;
 
    // this reads is_zero;
    in.read((char *)&is_zero, 1);
    is_zero -= '0';
    consume_OUTPUT_SEPARATOR(in);
 
    unsigned char Y_lsb;
    in >> tX;
    consume_OUTPUT_SEPARATOR(in);
    in.read((char *)&Y_lsb, 1);
    Y_lsb -= '0';
 
    // y = +/- sqrt(x^3 + a*x + b)
    if (!is_zero) {
        // using Projective coordinates
        bw6_761_Fq tX2 = tX.squared();
        bw6_761_Fq tY2 = tX2 * tX + bw6_761_coeff_b;
        tY = tY2.sqrt();
 
        if ((tY.as_bigint().data[0] & 1) != Y_lsb) {
            tY = -tY;
        }
 
        g.X = tX;
        g.Y = tY;
        g.Z = bw6_761_Fq::one();
    } else {
        g = bw6_761_G1::zero();
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

read_uncompressed()

void libff::bw6_761_G1::read_uncompressed ( std::istream &  in, bw6_761_G1 &  g  )

static

Definition at line 426 of file bw6_761_g1.cpp.

{
    char is_zero;
    bw6_761_Fq tX, tY;
 
    in >> is_zero >> tX >> tY;
    is_zero -= '0';
 
    // using projective coordinates
    if (!is_zero) {
        g.X = tX;
        g.Y = tY;
        g.Z = bw6_761_Fq::one();
    } else {
        g = bw6_761_G1::zero();
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

size_in_bits()

static size_t libff::bw6_761_G1::size_in_bits ( )

inlinestatic

Definition at line 72 of file bw6_761_g1.hpp.

{ return base_field::size_in_bits() + 1; }

Here is the call graph for this function:

to_affine_coordinates()

void libff::bw6_761_G1::to_affine_coordinates

(

)

Definition at line 58 of file bw6_761_g1.cpp.

{
    if (this->is_zero()) {
        this->X = bw6_761_Fq::zero();
        this->Y = bw6_761_Fq::one();
        this->Z = bw6_761_Fq::zero();
    } else {
        const bw6_761_Fq Z_inv = Z.inverse();
        this->X = this->X * Z_inv;
        this->Y = this->Y * Z_inv;
        this->Z = bw6_761_Fq::one();
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

to_special()

void libff::bw6_761_G1::to_special

(

)

Definition at line 72 of file bw6_761_g1.cpp.

{ this->to_affine_coordinates(); }

Here is the call graph for this function:

write_compressed()

void libff::bw6_761_G1::write_compressed

(

std::ostream &

out

)

const

Definition at line 407 of file bw6_761_g1.cpp.

{
    bw6_761_G1 copy(*this);
    copy.to_affine_coordinates();
    out << (copy.is_zero() ? 1 : 0) << OUTPUT_SEPARATOR;
    /* storing LSB of Y */
    out << copy.X << OUTPUT_SEPARATOR << (copy.Y.as_bigint().data[0] & 1);
}

Here is the call graph for this function:

Here is the caller graph for this function:

write_uncompressed()

void libff::bw6_761_G1::write_uncompressed

(

std::ostream &

out

)

const

Definition at line 399 of file bw6_761_g1.cpp.

{
    bw6_761_G1 copy(*this);
    copy.to_affine_coordinates();
    out << (copy.is_zero() ? 1 : 0) << OUTPUT_SEPARATOR;
    out << copy.X << OUTPUT_SEPARATOR << copy.Y;
}

Here is the call graph for this function:

Here is the caller graph for this function:

zero()

const bw6_761_G1 & libff::bw6_761_G1::zero ( )

static

Definition at line 390 of file bw6_761_g1.cpp.

{ return G1_zero; }

Here is the caller graph for this function:

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  out, const bw6_761_G1 &  g  )

friend

Definition at line 416 of file bw6_761_g1.cpp.

{
#ifdef NO_PT_COMPRESSION
    g.write_uncompressed(out);
#else
    g.write_compressed(out);
#endif
    return out;
}

operator>>

std::istream& operator>> ( std::istream &  in, bw6_761_G1 &  g  )

friend

Definition at line 479 of file bw6_761_g1.cpp.

{
#ifdef NO_PT_COMPRESSION
    bw6_761_G1::read_uncompressed(in, g);
#else
    bw6_761_G1::read_compressed(in, g);
#endif
    return in;
}

Member Data Documentation

coeff_a

bw6_761_Fq libff::bw6_761_G1::coeff_a

static

Definition at line 25 of file bw6_761_g1.hpp.

coeff_b

bw6_761_Fq libff::bw6_761_G1::coeff_b

static

Definition at line 26 of file bw6_761_g1.hpp.

fixed_base_exp_window_table

std::vector< size_t > libff::bw6_761_G1::fixed_base_exp_window_table

static

Definition at line 22 of file bw6_761_g1.hpp.

G1_one

bw6_761_G1 libff::bw6_761_G1::G1_one

static

Definition at line 24 of file bw6_761_g1.hpp.

G1_zero

bw6_761_G1 libff::bw6_761_G1::G1_zero

static

Definition at line 23 of file bw6_761_g1.hpp.

h

bigint< bw6_761_G1::h_limbs > libff::bw6_761_G1::h

static

Definition at line 35 of file bw6_761_g1.hpp.

h_bitcount

const mp_size_t libff::bw6_761_G1::h_bitcount = 384

static

Definition at line 32 of file bw6_761_g1.hpp.

h_limbs

const mp_size_t libff::bw6_761_G1::h_limbs

static

Initial value:

=
        (h_bitcount + GMP_NUMB_BITS - 1) / GMP_NUMB_BITS

Definition at line 33 of file bw6_761_g1.hpp.

wnaf_window_table

std::vector< size_t > libff::bw6_761_G1::wnaf_window_table

static

Definition at line 21 of file bw6_761_g1.hpp.

X

bw6_761_Fq libff::bw6_761_G1::X

Definition at line 37 of file bw6_761_g1.hpp.

Y

bw6_761_Fq libff::bw6_761_G1::Y

Definition at line 37 of file bw6_761_g1.hpp.

Z

bw6_761_Fq libff::bw6_761_G1::Z

Definition at line 37 of file bw6_761_g1.hpp.

---

The documentation for this class was generated from the following files:

• /home/runner/work/libff/libff/libff/algebra/curves/bw6_761/bw6_761_g1.hpp
• /home/runner/work/libff/libff/libff/algebra/curves/bw6_761/bw6_761_g1.cpp