libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T > Class Template Reference

#include <fp12_2over3over2_gadgets.hpp>

Inheritance diagram for libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >:

Collaboration diagram for libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >:

Public Types
using	FieldT = typename Fp12T::my_Fp
using	Fp2T = typename Fp12T::my_Fp2
using	Fp6T = typename Fp12T::my_Fp6

Public Member Functions
	Fp12_2over3over2_cyclotomic_square_gadget (protoboard< FieldT > &pb, const Fp12_2over3over2_variable< Fp12T > &A, const Fp12_2over3over2_variable< Fp12T > &result, const std::string &annotation_prefix)
const Fp12_2over3over2_variable< Fp12T > &	result () const
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
Public Member Functions inherited from libsnark::gadget< Fp12T::my_Fp >
	gadget (protoboard< Fp12T::my_Fp > &pb, const std::string &annotation_prefix)

Public Attributes
Fp12_2over3over2_variable< Fp12T >	_A
Fp12_2over3over2_variable< Fp12T >	_result
Fp2_mul_gadget< Fp2T >	_compute_z0z4
Fp2_mul_gadget< Fp2T >	_check_result_0
Fp2_mul_gadget< Fp2T >	_compute_z3z2
Fp2_mul_gadget< Fp2T >	_check_result_1
Fp2_mul_gadget< Fp2T >	_compute_z1z5
Fp2_mul_gadget< Fp2T >	_check_result_2

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

Detailed Description

template<typename Fp12T>
class libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >

Definition at line 238 of file fp12_2over3over2_gadgets.hpp.

Member Typedef Documentation

FieldT

template<typename Fp12T >

using libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::FieldT = typename Fp12T::my_Fp

Definition at line 242 of file fp12_2over3over2_gadgets.hpp.

Fp2T

template<typename Fp12T >

using libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::Fp2T = typename Fp12T::my_Fp2

Definition at line 243 of file fp12_2over3over2_gadgets.hpp.

Fp6T

template<typename Fp12T >

using libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::Fp6T = typename Fp12T::my_Fp6

Definition at line 244 of file fp12_2over3over2_gadgets.hpp.

Constructor & Destructor Documentation

Fp12_2over3over2_cyclotomic_square_gadget()

template<typename Fp12T >

libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::Fp12_2over3over2_cyclotomic_square_gadget	(	protoboard< FieldT > &	pb,
		const Fp12_2over3over2_variable< Fp12T > &	A,
		const Fp12_2over3over2_variable< Fp12T > &	result,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename Fp12T >

void libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename Fp12T >

void libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::generate_r1cs_witness

(

)

result()

template<typename Fp12T >

const Fp12_2over3over2_variable<Fp12T>& libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::result

(

)

const

Member Data Documentation

_A

template<typename Fp12T >

Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::_A

Definition at line 246 of file fp12_2over3over2_gadgets.hpp.

_check_result_0

template<typename Fp12T >

Fp2_mul_gadget<Fp2T> libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::_check_result_0

Definition at line 263 of file fp12_2over3over2_gadgets.hpp.

_check_result_1

template<typename Fp12T >

Fp2_mul_gadget<Fp2T> libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::_check_result_1

Definition at line 275 of file fp12_2over3over2_gadgets.hpp.

_check_result_2

template<typename Fp12T >

Fp2_mul_gadget<Fp2T> libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::_check_result_2

Definition at line 287 of file fp12_2over3over2_gadgets.hpp.

_compute_z0z4

template<typename Fp12T >

Fp2_mul_gadget<Fp2T> libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::_compute_z0z4

Definition at line 255 of file fp12_2over3over2_gadgets.hpp.

_compute_z1z5

template<typename Fp12T >

Fp2_mul_gadget<Fp2T> libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::_compute_z1z5

Definition at line 279 of file fp12_2over3over2_gadgets.hpp.

_compute_z3z2

template<typename Fp12T >

Fp2_mul_gadget<Fp2T> libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::_compute_z3z2

Definition at line 267 of file fp12_2over3over2_gadgets.hpp.

_result

template<typename Fp12T >

Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >::_result

Definition at line 247 of file fp12_2over3over2_gadgets.hpp.

---

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

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