libsnark::Fp2_mul_gadget< Fp2T > Class Template Reference

#include <fp2_gadgets.hpp>

Inheritance diagram for libsnark::Fp2_mul_gadget< Fp2T >:

Collaboration diagram for libsnark::Fp2_mul_gadget< Fp2T >:

Public Types
typedef Fp2T::my_Fp	FieldT

Public Member Functions
	Fp2_mul_gadget (protoboard< FieldT > &pb, const Fp2_variable< Fp2T > &A, const Fp2_variable< Fp2T > &B, const Fp2_variable< Fp2T > &result, const std::string &annotation_prefix)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
Public Member Functions inherited from libsnark::gadget< Fp2T::my_Fp >
	gadget (protoboard< Fp2T::my_Fp > &pb, const std::string &annotation_prefix)

Public Attributes
Fp2_variable< Fp2T >	A
Fp2_variable< Fp2T >	B
Fp2_variable< Fp2T >	result
pb_variable< FieldT >	v1

Additional Inherited Members
Protected Attributes inherited from libsnark::gadget< Fp2T::my_Fp >
protoboard< Fp2T::my_Fp > &	pb
const std::string	annotation_prefix

Detailed Description

template<typename Fp2T>
class libsnark::Fp2_mul_gadget< Fp2T >

Gadget that creates constraints for Fp2 by Fp2 multiplication.

Definition at line 76 of file fp2_gadgets.hpp.

Member Typedef Documentation

FieldT

template<typename Fp2T >

typedef Fp2T::my_Fp libsnark::Fp2_mul_gadget< Fp2T >::FieldT

Definition at line 79 of file fp2_gadgets.hpp.

Constructor & Destructor Documentation

Fp2_mul_gadget()

template<typename Fp2T >

libsnark::Fp2_mul_gadget< Fp2T >::Fp2_mul_gadget	(	protoboard< FieldT > &	pb,
		const Fp2_variable< Fp2T > &	A,
		const Fp2_variable< Fp2T > &	B,
		const Fp2_variable< Fp2T > &	result,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename Fp2T >

void libsnark::Fp2_mul_gadget< Fp2T >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename Fp2T >

void libsnark::Fp2_mul_gadget< Fp2T >::generate_r1cs_witness

(

)

Member Data Documentation

A

template<typename Fp2T >

Fp2_variable<Fp2T> libsnark::Fp2_mul_gadget< Fp2T >::A

Definition at line 81 of file fp2_gadgets.hpp.

B

template<typename Fp2T >

Fp2_variable<Fp2T> libsnark::Fp2_mul_gadget< Fp2T >::B

Definition at line 82 of file fp2_gadgets.hpp.

result

template<typename Fp2T >

Fp2_variable<Fp2T> libsnark::Fp2_mul_gadget< Fp2T >::result

Definition at line 83 of file fp2_gadgets.hpp.

v1

template<typename Fp2T >

pb_variable<FieldT> libsnark::Fp2_mul_gadget< Fp2T >::v1

Definition at line 85 of file fp2_gadgets.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/fields/fp2_gadgets.hpp