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

#include <sha256_aux.hpp>

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

Public Member Functions

void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 
 small_sigma_component (blueprint< FieldType > &bp, const blueprint_variable_vector< FieldType > &W, const blueprint_variable< FieldType > &result, std::size_t rot1, std::size_t rot2, std::size_t shift)
 

Public Attributes

std::vector< std::shared_ptr< XOR3_component< FieldType > > > compute_bits
 
std::shared_ptr< packing_component< FieldType > > pack_result
 
blueprint_variable_vector< FieldType > result_bits
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ small_sigma_component()

template<typename FieldType >
nil::crypto3::zk::components::small_sigma_component< FieldType >::small_sigma_component ( blueprint< FieldType > &  bp,
const blueprint_variable_vector< FieldType > &  W,
const blueprint_variable< FieldType > &  result,
std::size_t  rot1,
std::size_t  rot2,
std::size_t  shift 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

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

◆ generate_r1cs_witness()

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

Member Data Documentation

◆ bp

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

◆ compute_bits

template<typename FieldType >
std::vector<std::shared_ptr<XOR3_component<FieldType> > > nil::crypto3::zk::components::small_sigma_component< FieldType >::compute_bits

◆ pack_result

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

◆ result_bits

template<typename FieldType >
blueprint_variable_vector<FieldType> nil::crypto3::zk::components::small_sigma_component< FieldType >::result_bits
The documentation for this class was generated from the following file: