Gadget for verifying a triple Miller loop (where the third is inverted). More...

#include <mnt_miller_loop.hpp>

Inheritance diagram for libsnark::mnt_e_times_e_over_e_miller_loop_gadget< ppT >:

Collaboration diagram for libsnark::mnt_e_times_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_times_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 mnt_G1_precomputation< ppT > &prec_P3, const mnt_G2_precomputation< ppT > &prec_Q3, 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 > > >	g_RR_at_P3s

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

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< mnt_miller_loop_add_line_eval< ppT > > >	addition_steps3

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

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

std::vector< std::shared_ptr< Fqk_special_mul_gadget > >	dbl_muls3

std::vector< std::shared_ptr< Fqk_special_mul_gadget > >	add_muls3

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

mnt_G1_precomputation< ppT >	prec_P3

mnt_G2_precomputation< ppT >	prec_Q3

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_times_e_over_e_miller_loop_gadget< ppT >

Gadget for verifying a triple Miller loop (where the third is inverted).

Definition at line 204 of file mnt_miller_loop.hpp.

Member Typedef Documentation

◆ FieldT

template<typename ppT >

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

Definition at line 207 of file mnt_miller_loop.hpp.

◆ FqeT

template<typename ppT >

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

Definition at line 208 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_times_e_over_e_miller_loop_gadget< ppT >::Fqk_special_mul_gadget

Definition at line 211 of file mnt_miller_loop.hpp.

◆ FqkT

template<typename ppT >

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

Definition at line 209 of file mnt_miller_loop.hpp.

Constructor & Destructor Documentation

◆ mnt_e_times_e_over_e_miller_loop_gadget()

template<typename ppT >

libsnark::mnt_e_times_e_over_e_miller_loop_gadget< ppT >::mnt_e_times_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 mnt_G1_precomputation< ppT > &	prec_P3,
		const mnt_G2_precomputation< ppT > &	prec_Q3,
		const Fqk_variable< ppT > &	result,
		const std::string &	annotation_prefix
	)