Gadget for verifying a double Miller loop (where the second is inverted). More...

#include <mnt_miller_loop.hpp>

Inheritance diagram for libsnark::mnt_e_over_e_miller_loop_gadget< ppT >:

Collaboration diagram for libsnark::mnt_e_over_e_miller_loop_gadget< ppT >:

Public Types
typedef libff::Fr< ppT >	FieldT

typedef libff::Fqe< other_curve< ppT > >	FqeT

typedef libff::Fqk< other_curve< ppT > >	FqkT

typedef mnt_pairing_params< ppT >::Fqk_special_mul_gadget_type	Fqk_special_mul_gadget

Public Member Functions
	mnt_e_over_e_miller_loop_gadget (protoboard< FieldT > &pb, const mnt_G1_precomputation< ppT > &prec_P1, const mnt_G2_precomputation< ppT > &prec_Q1, const mnt_G1_precomputation< ppT > &prec_P2, const mnt_G2_precomputation< ppT > &prec_Q2, const Fqk_variable< ppT > &result, 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
std::vector< std::shared_ptr< Fqk_variable< ppT > > >	g_RR_at_P1s

std::vector< std::shared_ptr< Fqk_variable< ppT > > >	g_RQ_at_P1s

std::vector< std::shared_ptr< Fqk_variable< ppT > > >	g_RR_at_P2s

std::vector< std::shared_ptr< Fqk_variable< ppT > > >	g_RQ_at_P2s

std::vector< std::shared_ptr< Fqk_variable< ppT > > >	fs

std::vector< std::shared_ptr< mnt_miller_loop_add_line_eval< ppT > > >	addition_steps1

std::vector< std::shared_ptr< mnt_miller_loop_dbl_line_eval< ppT > > >	doubling_steps1

std::vector< std::shared_ptr< mnt_miller_loop_add_line_eval< ppT > > >	addition_steps2

std::vector< std::shared_ptr< mnt_miller_loop_dbl_line_eval< ppT > > >	doubling_steps2

std::vector< std::shared_ptr< Fqk_sqr_gadget< ppT > > >	dbl_sqrs

std::vector< std::shared_ptr< Fqk_special_mul_gadget > >	dbl_muls1

std::vector< std::shared_ptr< Fqk_special_mul_gadget > >	add_muls1

std::vector< std::shared_ptr< Fqk_special_mul_gadget > >	dbl_muls2

std::vector< std::shared_ptr< Fqk_special_mul_gadget > >	add_muls2

size_t	f_count

size_t	add_count

size_t	dbl_count

mnt_G1_precomputation< ppT >	prec_P1

mnt_G2_precomputation< ppT >	prec_Q1

mnt_G1_precomputation< ppT >	prec_P2

mnt_G2_precomputation< ppT >	prec_Q2

Fqk_variable< ppT >	result

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::mnt_e_over_e_miller_loop_gadget< ppT >

Gadget for verifying a double Miller loop (where the second is inverted).

Definition at line 150 of file mnt_miller_loop.hpp.

Member Typedef Documentation

◆ FieldT

template<typename ppT >

typedef libff::Fr<ppT> libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::FieldT

Definition at line 153 of file mnt_miller_loop.hpp.

◆ FqeT

template<typename ppT >

typedef libff::Fqe<other_curve<ppT> > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::FqeT

Definition at line 154 of file mnt_miller_loop.hpp.

◆ Fqk_special_mul_gadget

template<typename ppT >

typedef mnt_pairing_params<ppT>::Fqk_special_mul_gadget_type libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::Fqk_special_mul_gadget

Definition at line 157 of file mnt_miller_loop.hpp.

◆ FqkT

template<typename ppT >

typedef libff::Fqk<other_curve<ppT> > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::FqkT

Definition at line 155 of file mnt_miller_loop.hpp.

Constructor & Destructor Documentation

◆ mnt_e_over_e_miller_loop_gadget()

template<typename ppT >

libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::mnt_e_over_e_miller_loop_gadget	(	protoboard< FieldT > &	pb,
		const mnt_G1_precomputation< ppT > &	prec_P1,
		const mnt_G2_precomputation< ppT > &	prec_Q1,
		const mnt_G1_precomputation< ppT > &	prec_P2,
		const mnt_G2_precomputation< ppT > &	prec_Q2,
		const Fqk_variable< ppT > &	result,
		const std::string &	annotation_prefix
	)

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename ppT >

void libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::generate_r1cs_constraints ( )

◆ generate_r1cs_witness()

template<typename ppT >

void libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::generate_r1cs_witness ( )

Member Data Documentation

◆ add_count

template<typename ppT >

size_t libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::add_count

Definition at line 181 of file mnt_miller_loop.hpp.

◆ add_muls1

template<typename ppT >

std::vector<std::shared_ptr<Fqk_special_mul_gadget> > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::add_muls1

Definition at line 176 of file mnt_miller_loop.hpp.

◆ add_muls2

template<typename ppT >

std::vector<std::shared_ptr<Fqk_special_mul_gadget> > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::add_muls2

Definition at line 178 of file mnt_miller_loop.hpp.

◆ addition_steps1

template<typename ppT >

std::vector<std::shared_ptr<mnt_miller_loop_add_line_eval<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::addition_steps1

Definition at line 166 of file mnt_miller_loop.hpp.

◆ addition_steps2

template<typename ppT >

std::vector<std::shared_ptr<mnt_miller_loop_add_line_eval<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::addition_steps2

Definition at line 170 of file mnt_miller_loop.hpp.

◆ dbl_count

template<typename ppT >

size_t libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::dbl_count

Definition at line 182 of file mnt_miller_loop.hpp.

◆ dbl_muls1

template<typename ppT >

std::vector<std::shared_ptr<Fqk_special_mul_gadget> > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::dbl_muls1

Definition at line 175 of file mnt_miller_loop.hpp.

◆ dbl_muls2

template<typename ppT >

std::vector<std::shared_ptr<Fqk_special_mul_gadget> > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::dbl_muls2

Definition at line 177 of file mnt_miller_loop.hpp.

◆ dbl_sqrs

template<typename ppT >

std::vector<std::shared_ptr<Fqk_sqr_gadget<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::dbl_sqrs

Definition at line 174 of file mnt_miller_loop.hpp.

◆ doubling_steps1

template<typename ppT >

std::vector<std::shared_ptr<mnt_miller_loop_dbl_line_eval<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::doubling_steps1

Definition at line 168 of file mnt_miller_loop.hpp.

◆ doubling_steps2

template<typename ppT >

std::vector<std::shared_ptr<mnt_miller_loop_dbl_line_eval<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::doubling_steps2

Definition at line 172 of file mnt_miller_loop.hpp.

◆ f_count

template<typename ppT >

size_t libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::f_count

Definition at line 180 of file mnt_miller_loop.hpp.

◆ fs

template<typename ppT >

std::vector<std::shared_ptr<Fqk_variable<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::fs

Definition at line 163 of file mnt_miller_loop.hpp.

◆ g_RQ_at_P1s

template<typename ppT >

std::vector<std::shared_ptr<Fqk_variable<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::g_RQ_at_P1s

Definition at line 160 of file mnt_miller_loop.hpp.

◆ g_RQ_at_P2s

template<typename ppT >

std::vector<std::shared_ptr<Fqk_variable<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::g_RQ_at_P2s

Definition at line 162 of file mnt_miller_loop.hpp.

◆ g_RR_at_P1s

template<typename ppT >

std::vector<std::shared_ptr<Fqk_variable<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::g_RR_at_P1s

Definition at line 159 of file mnt_miller_loop.hpp.

◆ g_RR_at_P2s

template<typename ppT >

std::vector<std::shared_ptr<Fqk_variable<ppT> > > libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::g_RR_at_P2s

Definition at line 161 of file mnt_miller_loop.hpp.

◆ prec_P1

template<typename ppT >

mnt_G1_precomputation<ppT> libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::prec_P1

Definition at line 184 of file mnt_miller_loop.hpp.

◆ prec_P2

template<typename ppT >

mnt_G1_precomputation<ppT> libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::prec_P2

Definition at line 186 of file mnt_miller_loop.hpp.

◆ prec_Q1

template<typename ppT >

mnt_G2_precomputation<ppT> libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::prec_Q1

Definition at line 185 of file mnt_miller_loop.hpp.

◆ prec_Q2

template<typename ppT >

mnt_G2_precomputation<ppT> libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::prec_Q2

Definition at line 187 of file mnt_miller_loop.hpp.

◆ result

template<typename ppT >

Fqk_variable<ppT> libsnark::mnt_e_over_e_miller_loop_gadget< ppT >::result

Definition at line 188 of file mnt_miller_loop.hpp.

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

/home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/pairing/mnt/mnt_miller_loop.hpp

Public Types

Public Member Functions

Public Attributes

Additional Inherited Members

Detailed Description

template<typename ppT> class libsnark::mnt_e_over_e_miller_loop_gadget< ppT >

Member Typedef Documentation

◆ FieldT

◆ FqeT

◆ Fqk_special_mul_gadget

◆ FqkT

Constructor & Destructor Documentation

◆ mnt_e_over_e_miller_loop_gadget()

Member Function Documentation

◆ generate_r1cs_constraints()

◆ generate_r1cs_witness()

Member Data Documentation

◆ add_count

◆ add_muls1

◆ add_muls2

◆ addition_steps1

◆ addition_steps2

◆ dbl_count

◆ dbl_muls1

◆ dbl_muls2

◆ dbl_sqrs

◆ doubling_steps1

◆ doubling_steps2

◆ f_count

◆ fs

◆ g_RQ_at_P1s

◆ g_RQ_at_P2s

◆ g_RR_at_P1s

◆ g_RR_at_P2s

◆ prec_P1

◆ prec_P2

◆ prec_Q1

◆ prec_Q2

◆ result

template<typename ppT>
class libsnark::mnt_e_over_e_miller_loop_gadget< ppT >