bn128_g1.hpp

Go to the documentation of this file.

 
#ifndef BN128_G1_HPP_
#define BN128_G1_HPP_
#include <vector>
 
#include "depends/ate-pairing/include/bn.h"
 
#include <libff/algebra/curves/bn128/bn128_init.hpp>
#include <libff/algebra/curves/curve_utils.hpp>
 
namespace libff {
 
class bn128_G1;
std::ostream& operator<<(std::ostream &, const bn128_G1&);
std::istream& operator>>(std::istream &, bn128_G1&);
 
class bn128_G1 {
private:
    static bn::Fp sqrt(const bn::Fp &el);
public:
#ifdef PROFILE_OP_COUNTS
    static long long add_cnt;
    static long long dbl_cnt;
#endif
    static std::vector<size_t> wnaf_window_table;
    static std::vector<size_t> fixed_base_exp_window_table;
    static bn128_G1 G1_zero;
    static bn128_G1 G1_one;
    static bool initialized;
 
    typedef bn128_Fq base_field;
    typedef bn128_Fr scalar_field;
 
    bn::Fp X, Y, Z;
    void fill_coord(bn::Fp coord[3]) const { coord[0] = this->X; coord[1] = this->Y; coord[2] = this->Z; return; };
 
    bn128_G1();
    bn128_G1(bn::Fp coord[3]) : X(coord[0]), Y(coord[1]), Z(coord[2]) {};
 
    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 bn128_G1 &other) const;
    bool operator!=(const bn128_G1 &other) const;
 
    bn128_G1 operator+(const bn128_G1 &other) const;
    bn128_G1 operator-() const;
    bn128_G1 operator-(const bn128_G1 &other) const;
 
    bn128_G1 add(const bn128_G1 &other) const;
    bn128_G1 mixed_add(const bn128_G1 &other) const;
    bn128_G1 dbl() const;
 
    bool is_well_formed() const;
 
    static bn128_G1 zero();
    static bn128_G1 one();
    static bn128_G1 random_element();
 
    static size_t size_in_bits() { return bn128_Fq::size_in_bits() + 1; }
    static bigint<base_field::num_limbs> base_field_char() { return base_field::field_char(); }
    static bigint<scalar_field::num_limbs> order() { return scalar_field::field_char(); }
 
    friend std::ostream& operator<<(std::ostream &out, const bn128_G1 &g);
    friend std::istream& operator>>(std::istream &in, bn128_G1 &g);
 
    static void batch_to_special_all_non_zeros(std::vector<bn128_G1> &vec);
};
 
template<mp_size_t m>
bn128_G1 operator*(const bigint<m> &lhs, const bn128_G1 &rhs)
{
    return scalar_mul<bn128_G1, m>(rhs, lhs);
}
 
template<mp_size_t m, const bigint<m>& modulus_p>
bn128_G1 operator*(const Fp_model<m,modulus_p> &lhs, const bn128_G1 &rhs)
{
    return scalar_mul<bn128_G1, m>(rhs, lhs.as_bigint());
}
 
std::ostream& operator<<(std::ostream& out, const std::vector<bn128_G1> &v);
std::istream& operator>>(std::istream& in, std::vector<bn128_G1> &v);
 
 
} // libff
#endif // BN128_G1_HPP_