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

#include <sha256_aux.hpp>

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

Public Member Functions

 choice_component (blueprint< FieldType > &bp, const blueprint_linear_combination_vector< FieldType > &X, const blueprint_linear_combination_vector< FieldType > &Y, const blueprint_linear_combination_vector< FieldType > &Z, const blueprint_variable< FieldType > &result)
 
void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 

Public Attributes

std::shared_ptr< packing_component< FieldType > > pack_result
 
blueprint_variable< FieldType > result
 
blueprint_linear_combination_vector< FieldType > X
 
blueprint_linear_combination_vector< FieldType > Y
 
blueprint_linear_combination_vector< FieldType > Z
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ choice_component()

template<typename FieldType >
nil::crypto3::zk::components::choice_component< FieldType >::choice_component ( blueprint< FieldType > &  bp,
const blueprint_linear_combination_vector< FieldType > &  X,
const blueprint_linear_combination_vector< FieldType > &  Y,
const blueprint_linear_combination_vector< FieldType > &  Z,
const blueprint_variable< FieldType > &  result 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename FieldType >
void nil::crypto3::zk::components::choice_component< FieldType >::generate_r1cs_constraints ( )
inline

◆ generate_r1cs_witness()

template<typename FieldType >
void nil::crypto3::zk::components::choice_component< FieldType >::generate_r1cs_witness ( )
inline

Member Data Documentation

◆ bp

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

◆ pack_result

template<typename FieldType >
std::shared_ptr<packing_component<FieldType> > nil::crypto3::zk::components::choice_component< FieldType >::pack_result

◆ result

template<typename FieldType >
blueprint_variable<FieldType> nil::crypto3::zk::components::choice_component< FieldType >::result

◆ X

template<typename FieldType >
blueprint_linear_combination_vector<FieldType> nil::crypto3::zk::components::choice_component< FieldType >::X

◆ Y

template<typename FieldType >
blueprint_linear_combination_vector<FieldType> nil::crypto3::zk::components::choice_component< FieldType >::Y

◆ Z

template<typename FieldType >
blueprint_linear_combination_vector<FieldType> nil::crypto3::zk::components::choice_component< FieldType >::Z
The documentation for this class was generated from the following file: