libsnark::Fp12_2over3over2_variable< Fp12T > Class Template Reference

#include <fp12_2over3over2_gadgets.hpp>

Inheritance diagram for libsnark::Fp12_2over3over2_variable< Fp12T >:

Collaboration diagram for libsnark::Fp12_2over3over2_variable< Fp12T >:

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

Public Member Functions
	Fp12_2over3over2_variable (protoboard< FieldT > &pb, const std::string &annotation_prefix)
	Fp12_2over3over2_variable (protoboard< FieldT > &pb, const Fp12T &el, const std::string &annotation_prefix)
	Fp12_2over3over2_variable (protoboard< FieldT > &pb, const Fp6_3over2_variable< Fp6T > &c0, const Fp6_3over2_variable< Fp6T > &c1, const std::string &annotation_prefix)
Fp12_2over3over2_variable< Fp12T >	operator* (const Fp2T &fp2_const) const
Fp12_2over3over2_variable< Fp12T >	operator* (const Fp12T &fp12_const) const
Fp12_2over3over2_variable< Fp12T >	frobenius_map (size_t power) const
Fp12_2over3over2_variable< Fp12T >	unitary_inverse () const
void	evaluate () const
void	generate_r1cs_witness (const Fp12T &el)
Fp12T	get_element () const
Public Member Functions inherited from libsnark::gadget< Fp12T::my_Fp >
	gadget (protoboard< Fp12T::my_Fp > &pb, const std::string &annotation_prefix)

Public Attributes
Fp6_3over2_variable< Fp6T >	_c0
Fp6_3over2_variable< Fp6T >	_c1

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_variable< Fp12T >

Definition at line 24 of file fp12_2over3over2_gadgets.hpp.

Member Typedef Documentation

FieldT

template<typename Fp12T >

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

Definition at line 27 of file fp12_2over3over2_gadgets.hpp.

Fp2T

template<typename Fp12T >

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

Definition at line 29 of file fp12_2over3over2_gadgets.hpp.

Fp6T

template<typename Fp12T >

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

Definition at line 28 of file fp12_2over3over2_gadgets.hpp.

Constructor & Destructor Documentation

Fp12_2over3over2_variable() [1/3]

template<typename Fp12T >

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

Fp12_2over3over2_variable() [2/3]

template<typename Fp12T >

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

Fp12_2over3over2_variable() [3/3]

template<typename Fp12T >

libsnark::Fp12_2over3over2_variable< Fp12T >::Fp12_2over3over2_variable	(	protoboard< FieldT > &	pb,
		const Fp6_3over2_variable< Fp6T > &	c0,
		const Fp6_3over2_variable< Fp6T > &	c1,
		const std::string &	annotation_prefix
	)

Member Function Documentation

evaluate()

template<typename Fp12T >

void libsnark::Fp12_2over3over2_variable< Fp12T >::evaluate

(

)

const

frobenius_map()

template<typename Fp12T >

Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_variable< Fp12T >::frobenius_map

(

size_t

power

)

const

generate_r1cs_witness()

template<typename Fp12T >

void libsnark::Fp12_2over3over2_variable< Fp12T >::generate_r1cs_witness

(

const Fp12T &

el

)

get_element()

template<typename Fp12T >

Fp12T libsnark::Fp12_2over3over2_variable< Fp12T >::get_element

(

)

const

operator*() [1/2]

template<typename Fp12T >

Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_variable< Fp12T >::operator*

(

const Fp12T &

fp12_const

)

const

operator*() [2/2]

template<typename Fp12T >

Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_variable< Fp12T >::operator*

(

const Fp2T &

fp2_const

)

const

unitary_inverse()

template<typename Fp12T >

Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_variable< Fp12T >::unitary_inverse

(

)

const

Member Data Documentation

_c0

template<typename Fp12T >

Fp6_3over2_variable<Fp6T> libsnark::Fp12_2over3over2_variable< Fp12T >::_c0

Definition at line 31 of file fp12_2over3over2_gadgets.hpp.

_c1

template<typename Fp12T >

Fp6_3over2_variable<Fp6T> libsnark::Fp12_2over3over2_variable< Fp12T >::_c1

Definition at line 32 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