nil::crypto3::zk::components::element_fp6_2over3< FieldType > Class Template Reference

#include <element_fp6_2over3.hpp>

+ Inheritance diagram for nil::crypto3::zk::components::element_fp6_2over3< FieldType >:
+ Collaboration diagram for nil::crypto3::zk::components::element_fp6_2over3< FieldType >:

Public Member Functions

 element_fp6_2over3 (blueprint< base_field_type > &bp)
 
 element_fp6_2over3 (blueprint< base_field_type > &bp, const typename field_type::value_type &el)
 
 element_fp6_2over3 (blueprint< base_field_type > &bp, const underlying_element_type &in_data0, const underlying_element_type &in_data1)
 
void evaluate () const
 
element_fp6_2over3< field_type > Frobenius_map (const std::size_t power) const
 
void generate_r1cs_equals_const_constraints (const typename field_type::value_type &el)
 
void generate_r1cs_witness (const typename field_type::value_type &el)
 
field_type::value_type get_element ()
 

Public Attributes

data_type data
 

Protected Attributes

blueprint< FieldType > & bp
 

Detailed Description

template<typename FieldType>
class nil::crypto3::zk::components::element_fp6_2over3< FieldType >

Component that represents an Fp6 element.

Constructor & Destructor Documentation

◆ element_fp6_2over3() [1/3]

template<typename FieldType >
nil::crypto3::zk::components::element_fp6_2over3< FieldType >::element_fp6_2over3 ( blueprint< base_field_type > &  bp)
inline

◆ element_fp6_2over3() [2/3]

template<typename FieldType >
nil::crypto3::zk::components::element_fp6_2over3< FieldType >::element_fp6_2over3 ( blueprint< base_field_type > &  bp,
const typename field_type::value_type &  el 
)
inline

◆ element_fp6_2over3() [3/3]

template<typename FieldType >
nil::crypto3::zk::components::element_fp6_2over3< FieldType >::element_fp6_2over3 ( blueprint< base_field_type > &  bp,
const underlying_element_type in_data0,
const underlying_element_type in_data1 
)
inline

Member Function Documentation

◆ evaluate()

template<typename FieldType >
void nil::crypto3::zk::components::element_fp6_2over3< FieldType >::evaluate ( ) const
inline

◆ Frobenius_map()

template<typename FieldType >
element_fp6_2over3<field_type> nil::crypto3::zk::components::element_fp6_2over3< FieldType >::Frobenius_map ( const std::size_t  power) const
inline

◆ generate_r1cs_equals_const_constraints()

template<typename FieldType >
void nil::crypto3::zk::components::element_fp6_2over3< FieldType >::generate_r1cs_equals_const_constraints ( const typename field_type::value_type &  el)
inline

◆ generate_r1cs_witness()

template<typename FieldType >
void nil::crypto3::zk::components::element_fp6_2over3< FieldType >::generate_r1cs_witness ( const typename field_type::value_type &  el)
inline

◆ get_element()

template<typename FieldType >
field_type::value_type nil::crypto3::zk::components::element_fp6_2over3< FieldType >::get_element ( )
inline

Member Data Documentation

◆ bp

blueprint<FieldType>& nil::crypto3::zk::components::component< FieldType >::bp
protectedinherited

◆ data

template<typename FieldType >
data_type nil::crypto3::zk::components::element_fp6_2over3< FieldType >::data

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