#include <bls12_377_precomputation.hpp>
Public Types | |
| typedef libff::Fq< other_curve< ppT > > | FqT |
| typedef libff::Fqe< other_curve< ppT > > | FqeT |
Public Member Functions | |
| bls12_377_ate_add_gadget (protoboard< libff::Fr< ppT >> &pb, const Fqe_variable< ppT > &Q_X, const Fqe_variable< ppT > &Q_Y, const bls12_377_G2_proj< ppT > &R, const bls12_377_G2_proj< ppT > &out_R, const bls12_377_ate_ell_coeffs< ppT > &coeffs, const std::string &annotation_prefix) | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
 Public Member Functions inherited from libsnark::gadget< libff::Fr< ppT > > | |
| gadget (protoboard< libff::Fr< ppT > > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| Fqe_variable< ppT > | _Q_X |
| Fqe_variable< ppT > | _Q_Y |
| bls12_377_G2_proj< ppT > | _in_R |
| bls12_377_G2_proj< ppT > | _out_R |
| bls12_377_ate_ell_coeffs< ppT > | _out_coeffs |
| Fqe_mul_gadget< ppT > | _compute_A |
| Fqe_mul_gadget< ppT > | _compute_B |
| Fqe_sqr_gadget< ppT > | _compute_C |
| Fqe_sqr_gadget< ppT > | _compute_D |
| Fqe_mul_gadget< ppT > | _compute_E |
| Fqe_mul_gadget< ppT > | _compute_F |
| Fqe_mul_gadget< ppT > | _compute_G |
| Fqe_variable< ppT > | _H |
| Fqe_mul_gadget< ppT > | _compute_I |
| Fqe_mul_gadget< ppT > | _compute_theta_times_Qx |
| Fqe_mul_gadget< ppT > | _compute_lambda_times_Qy |
| Fqe_mul_gadget< ppT > | _check_out_Rx |
| Fqe_mul_gadget< ppT > | _check_out_Ry |
| Fqe_mul_gadget< ppT > | _check_out_Rz |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::gadget< libff::Fr< ppT > > | |
| protoboard< libff::Fr< ppT > > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename ppT>
class libsnark::bls12_377_ate_add_gadget< ppT >
Definition at line 188 of file bls12_377_precomputation.hpp.
Member Typedef Documentation
◆ FqeT
| typedef libff::Fqe<other_curve<ppT> > libsnark::bls12_377_ate_add_gadget< ppT >::FqeT |
Definition at line 192 of file bls12_377_precomputation.hpp.
◆ FqT
| typedef libff::Fq<other_curve<ppT> > libsnark::bls12_377_ate_add_gadget< ppT >::FqT |
Definition at line 191 of file bls12_377_precomputation.hpp.
Constructor & Destructor Documentation
◆ bls12_377_ate_add_gadget()
| libsnark::bls12_377_ate_add_gadget< ppT >::bls12_377_ate_add_gadget | ( | protoboard< libff::Fr< ppT >> & | pb, |
| const Fqe_variable< ppT > & | Q_X, | ||
| const Fqe_variable< ppT > & | Q_Y, | ||
| const bls12_377_G2_proj< ppT > & | R, | ||
| const bls12_377_G2_proj< ppT > & | out_R, | ||
| const bls12_377_ate_ell_coeffs< ppT > & | coeffs, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
| void libsnark::bls12_377_ate_add_gadget< ppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
| void libsnark::bls12_377_ate_add_gadget< ppT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ _check_out_Rx
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_check_out_Rx |
Definition at line 238 of file bls12_377_precomputation.hpp.
◆ _check_out_Ry
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_check_out_Ry |
Definition at line 241 of file bls12_377_precomputation.hpp.
◆ _check_out_Rz
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_check_out_Rz |
Definition at line 243 of file bls12_377_precomputation.hpp.
◆ _compute_A
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_A |
Definition at line 205 of file bls12_377_precomputation.hpp.
◆ _compute_B
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_B |
Definition at line 211 of file bls12_377_precomputation.hpp.
◆ _compute_C
| Fqe_sqr_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_C |
Definition at line 217 of file bls12_377_precomputation.hpp.
◆ _compute_D
| Fqe_sqr_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_D |
Definition at line 219 of file bls12_377_precomputation.hpp.
◆ _compute_E
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_E |
Definition at line 221 of file bls12_377_precomputation.hpp.
◆ _compute_F
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_F |
Definition at line 223 of file bls12_377_precomputation.hpp.
◆ _compute_G
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_G |
Definition at line 225 of file bls12_377_precomputation.hpp.
◆ _compute_I
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_I |
Definition at line 229 of file bls12_377_precomputation.hpp.
◆ _compute_lambda_times_Qy
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_lambda_times_Qy |
Definition at line 235 of file bls12_377_precomputation.hpp.
◆ _compute_theta_times_Qx
| Fqe_mul_gadget<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_compute_theta_times_Qx |
Definition at line 234 of file bls12_377_precomputation.hpp.
◆ _H
| Fqe_variable<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_H |
Definition at line 227 of file bls12_377_precomputation.hpp.
◆ _in_R
| bls12_377_G2_proj<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_in_R |
Definition at line 196 of file bls12_377_precomputation.hpp.
◆ _out_coeffs
| bls12_377_ate_ell_coeffs<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_out_coeffs |
Definition at line 198 of file bls12_377_precomputation.hpp.
◆ _out_R
| bls12_377_G2_proj<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_out_R |
Definition at line 197 of file bls12_377_precomputation.hpp.
◆ _Q_X
| Fqe_variable<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_Q_X |
Definition at line 194 of file bls12_377_precomputation.hpp.
◆ _Q_Y
| Fqe_variable<ppT> libsnark::bls12_377_ate_add_gadget< ppT >::_Q_Y |
Definition at line 195 of file bls12_377_precomputation.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/pairing/bw6_761_bls12_377/bls12_377_precomputation.hpp
