Public Types | Public Member Functions | Public Attributes | Protected Attributes | List of all members
nil::crypto3::zk::components::element_fp4_squared< Fp4T > Class Template Reference

#include <element_fp4.hpp>

+ Inheritance diagram for nil::crypto3::zk::components::element_fp4_squared< Fp4T >:
+ Collaboration diagram for nil::crypto3::zk::components::element_fp4_squared< Fp4T >:

Public Types

using base_field_type = typename field_type::base_field_type
 
using field_type = Fp4T
 
using underlying_element_type = element_fp2< underlying_field_type >
 
using underlying_field_type = typename field_type::underlying_field_type
 

Public Member Functions

 element_fp4_squared (blueprint< base_field_type > &bp, const element_fp4< field_type > &A, const element_fp4< field_type > &result)
 
void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 

Public Attributes

element_fp4< field_type > A
 
std::shared_ptr< underlying_element_type > Ac0_plus_Ac1
 
blueprint_linear_combination< base_field_type > Ac0_plus_Ac1_c0
 
blueprint_linear_combination< base_field_type > Ac0_plus_Ac1_c1
 
std::shared_ptr< element_fp2_squared< underlying_field_type > > compute_result_c1
 
std::shared_ptr< element_fp2_squared< underlying_field_type > > compute_v0
 
std::shared_ptr< element_fp2_squared< underlying_field_type > > compute_v1
 
element_fp4< field_type > result
 
std::shared_ptr< underlying_element_type > result_c1_plus_v0_plus_v1
 
blueprint_linear_combination< base_field_type > result_c1_plus_v0_plus_v1_c0
 
blueprint_linear_combination< base_field_type > result_c1_plus_v0_plus_v1_c1
 
std::shared_ptr< underlying_element_type > v0
 
blueprint_linear_combination< base_field_type > v0_c0
 
blueprint_linear_combination< base_field_type > v0_c1
 
std::shared_ptr< underlying_element_type > v1
 

Protected Attributes

blueprint< Fp4T::base_field_type > & bp
 

Detailed Description

template<typename Fp4T>
class nil::crypto3::zk::components::element_fp4_squared< Fp4T >

Component that creates constraints for Fp4 squaring.

Member Typedef Documentation

◆ base_field_type

template<typename Fp4T >
using nil::crypto3::zk::components::element_fp4_squared< Fp4T >::base_field_type = typename field_type::base_field_type

◆ field_type

template<typename Fp4T >
using nil::crypto3::zk::components::element_fp4_squared< Fp4T >::field_type = Fp4T

◆ underlying_element_type

template<typename Fp4T >
using nil::crypto3::zk::components::element_fp4_squared< Fp4T >::underlying_element_type = element_fp2<underlying_field_type>

◆ underlying_field_type

template<typename Fp4T >
using nil::crypto3::zk::components::element_fp4_squared< Fp4T >::underlying_field_type = typename field_type::underlying_field_type

Constructor & Destructor Documentation

◆ element_fp4_squared()

template<typename Fp4T >
nil::crypto3::zk::components::element_fp4_squared< Fp4T >::element_fp4_squared ( blueprint< base_field_type > &  bp,
const element_fp4< field_type > &  A,
const element_fp4< field_type > &  result 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename Fp4T >
void nil::crypto3::zk::components::element_fp4_squared< Fp4T >::generate_r1cs_constraints ( )
inline

◆ generate_r1cs_witness()

template<typename Fp4T >
void nil::crypto3::zk::components::element_fp4_squared< Fp4T >::generate_r1cs_witness ( )
inline

Member Data Documentation

◆ A

template<typename Fp4T >
element_fp4<field_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::A

◆ Ac0_plus_Ac1

template<typename Fp4T >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::Ac0_plus_Ac1

◆ Ac0_plus_Ac1_c0

template<typename Fp4T >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::Ac0_plus_Ac1_c0

◆ Ac0_plus_Ac1_c1

template<typename Fp4T >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::Ac0_plus_Ac1_c1

◆ bp

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

◆ compute_result_c1

template<typename Fp4T >
std::shared_ptr<element_fp2_squared<underlying_field_type> > nil::crypto3::zk::components::element_fp4_squared< Fp4T >::compute_result_c1

◆ compute_v0

template<typename Fp4T >
std::shared_ptr<element_fp2_squared<underlying_field_type> > nil::crypto3::zk::components::element_fp4_squared< Fp4T >::compute_v0

◆ compute_v1

template<typename Fp4T >
std::shared_ptr<element_fp2_squared<underlying_field_type> > nil::crypto3::zk::components::element_fp4_squared< Fp4T >::compute_v1

◆ result

template<typename Fp4T >
element_fp4<field_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::result

◆ result_c1_plus_v0_plus_v1

template<typename Fp4T >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::result_c1_plus_v0_plus_v1

◆ result_c1_plus_v0_plus_v1_c0

template<typename Fp4T >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::result_c1_plus_v0_plus_v1_c0

◆ result_c1_plus_v0_plus_v1_c1

template<typename Fp4T >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::result_c1_plus_v0_plus_v1_c1

◆ v0

template<typename Fp4T >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::v0

◆ v0_c0

template<typename Fp4T >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::v0_c0

◆ v0_c1

template<typename Fp4T >
blueprint_linear_combination<base_field_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::v0_c1

◆ v1

template<typename Fp4T >
std::shared_ptr<underlying_element_type> nil::crypto3::zk::components::element_fp4_squared< Fp4T >::v1
The documentation for this class was generated from the following file: