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

#include <element_fp4.hpp>

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

Public Types

using base_field_type = typename field_type::base_field_type
 
using base_field_value_type = typename base_field_type::value_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_direct_mul (blueprint< base_field_type > &bp, const element_fp4< field_type > &A, const element_fp4< field_type > &B, const element_fp4< field_type > &result)
 
void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 

Public Attributes

element_fp4< field_type > A
 
element_fp4< field_type > B
 
element_fp4< field_type > result
 
blueprint_variable< base_field_type > v1
 
blueprint_variable< base_field_type > v2
 
blueprint_variable< base_field_type > v6
 

Protected Attributes

blueprint< Fp4T::base_field_type > & bp
 

Detailed Description

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

Component that creates constraints for Fp4 multiplication (direct formulas).

Member Typedef Documentation

◆ base_field_type

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

◆ base_field_value_type

template<typename Fp4T >
using nil::crypto3::zk::components::element_fp4_direct_mul< Fp4T >::base_field_value_type = typename base_field_type::value_type

◆ field_type

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

◆ underlying_element_type

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

◆ underlying_field_type

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

Constructor & Destructor Documentation

◆ element_fp4_direct_mul()

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

Member Function Documentation

◆ generate_r1cs_constraints()

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

◆ generate_r1cs_witness()

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

Member Data Documentation

◆ A

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

◆ B

template<typename Fp4T >
element_fp4<field_type> nil::crypto3::zk::components::element_fp4_direct_mul< Fp4T >::B

◆ bp

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

◆ result

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

◆ v1

template<typename Fp4T >
blueprint_variable<base_field_type> nil::crypto3::zk::components::element_fp4_direct_mul< Fp4T >::v1

◆ v2

template<typename Fp4T >
blueprint_variable<base_field_type> nil::crypto3::zk::components::element_fp4_direct_mul< Fp4T >::v2

◆ v6

template<typename Fp4T >
blueprint_variable<base_field_type> nil::crypto3::zk::components::element_fp4_direct_mul< Fp4T >::v6
The documentation for this class was generated from the following file: