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

#include <sha256_aux.hpp>

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

Public Member Functions

void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 
 lastbits_component (blueprint< FieldType > &bp, const blueprint_variable< FieldType > &X, std::size_t X_bits, const blueprint_variable< FieldType > &result, const blueprint_linear_combination_vector< FieldType > &result_bits)
 

Public Attributes

blueprint_linear_combination_vector< FieldType > full_bits
 
std::shared_ptr< packing_component< FieldType > > pack_result
 
blueprint_variable< FieldType > result
 
blueprint_linear_combination_vector< FieldType > result_bits
 
std::shared_ptr< packing_component< FieldType > > unpack_bits
 
blueprint_variable< FieldType > X
 
std::size_t X_bits
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ lastbits_component()

template<typename FieldType >
nil::crypto3::zk::components::lastbits_component< FieldType >::lastbits_component ( blueprint< FieldType > &  bp,
const blueprint_variable< FieldType > &  X,
std::size_t  X_bits,
const blueprint_variable< FieldType > &  result,
const blueprint_linear_combination_vector< FieldType > &  result_bits 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

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

◆ generate_r1cs_witness()

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

Member Data Documentation

◆ bp

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

◆ full_bits

template<typename FieldType >
blueprint_linear_combination_vector<FieldType> nil::crypto3::zk::components::lastbits_component< FieldType >::full_bits

◆ pack_result

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

◆ result

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

◆ result_bits

template<typename FieldType >
blueprint_linear_combination_vector<FieldType> nil::crypto3::zk::components::lastbits_component< FieldType >::result_bits

◆ unpack_bits

template<typename FieldType >
std::shared_ptr<packing_component<FieldType> > nil::crypto3::zk::components::lastbits_component< FieldType >::unpack_bits

◆ X

template<typename FieldType >
blueprint_variable<FieldType> nil::crypto3::zk::components::lastbits_component< FieldType >::X

◆ X_bits

template<typename FieldType >
std::size_t nil::crypto3::zk::components::lastbits_component< FieldType >::X_bits
The documentation for this class was generated from the following file: