-
Notifications
You must be signed in to change notification settings - Fork 4
/
alt_bn128_g1.i
102 lines (100 loc) · 3.36 KB
/
alt_bn128_g1.i
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
///** @file
// *****************************************************************************
// * @author This file is part of libff, developed by SCIPR Lab
// * and contributors (see AUTHORS).
// * @copyright MIT license (see LICENSE file)
// *****************************************************************************/
//
//#ifndef ALT_BN128_G1_HPP_
//#define ALT_BN128_G1_HPP_
//#include <vector>
//
//#include <libff/algebra/curves/alt_bn128/alt_bn128_init.hpp>
//#include <libff/algebra/curves/curve_utils.hpp>
//
namespace libff {
//
//class alt_bn128_G1;
//std::ostream& operator<<(std::ostream &, const alt_bn128_G1&);
//std::istream& operator>>(std::istream &, alt_bn128_G1&);
//
template<typename FieldT>
class G1 {
//#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 alt_bn128_G1 G1_zero;
// static alt_bn128_G1 G1_one;
//
// typedef alt_bn128_Fq base_field;
// typedef alt_bn128_Fr scalar_field;
//
// alt_bn128_Fq X, Y, Z;
public:
//Fqt X, Y, Z;
//
// // using Jacobian coordinates
// alt_bn128_G1();
// alt_bn128_G1(const alt_bn128_Fq& X, const alt_bn128_Fq& Y, const alt_bn128_Fq& Z) : X(X), Y(Y), Z(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 alt_bn128_G1 &other) const;
// bool operator!=(const alt_bn128_G1 &other) const;
//
// alt_bn128_G1 operator+(const alt_bn128_G1 &other) const;
// alt_bn128_G1 operator-() const;
// alt_bn128_G1 operator-(const alt_bn128_G1 &other) const;
//
// alt_bn128_G1 add(const alt_bn128_G1 &other) const;
// alt_bn128_G1 mixed_add(const alt_bn128_G1 &other) const;
// alt_bn128_G1 dbl() const;
//
// bool is_well_formed() const;
//
// static alt_bn128_G1 zero();
// static alt_bn128_G1 one();
// static alt_bn128_G1 random_element();
//
// static size_t size_in_bits() { return base_field::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 alt_bn128_G1 &g);
// friend std::istream& operator>>(std::istream &in, alt_bn128_G1 &g);
//
// static void batch_to_special_all_non_zeros(std::vector<alt_bn128_G1> &vec);
};
%extend G1<libff::alt_bn128_pp> {
Fqt G1<libff::alt_bn128_pp>::getx() { return $self->X; }
Fqt G1<libff::alt_bn128_pp>::gety() { return $self->Y; }
Fqt G1<libff::alt_bn128_pp>::getz() { return $self->Z; }
};
//
//template<mp_size_t m>
//alt_bn128_G1 operator*(const bigint<m> &lhs, const alt_bn128_G1 &rhs)
//{
// return scalar_mul<alt_bn128_G1, m>(rhs, lhs);
//}
//
//template<mp_size_t m, const bigint<m>& modulus_p>
//alt_bn128_G1 operator*(const Fp_model<m,modulus_p> &lhs, const alt_bn128_G1 &rhs)
//{
// return scalar_mul<alt_bn128_G1, m>(rhs, lhs.as_bigint());
//}
//
//std::ostream& operator<<(std::ostream& out, const std::vector<alt_bn128_G1> &v);
//std::istream& operator>>(std::istream& in, std::vector<alt_bn128_G1> &v);
//
} // libff
//#endif // ALT_BN128_G1_HPP_