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

#include <digest_selector_component.hpp>

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

Public Member Functions

 digest_selector_component (blueprint< FieldType > &bp, const std::size_t digest_size, const digest_variable< FieldType > &input, const blueprint_linear_combination< FieldType > &is_right, const digest_variable< FieldType > &left, const digest_variable< FieldType > &right)
 
void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 

Public Attributes

std::size_t digest_size
 
digest_variable< FieldType > input
 
blueprint_linear_combination< FieldType > is_right
 
digest_variable< FieldType > left
 
digest_variable< FieldType > right
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ digest_selector_component()

template<typename FieldType >
nil::crypto3::zk::components::digest_selector_component< FieldType >::digest_selector_component ( blueprint< FieldType > &  bp,
const std::size_t  digest_size,
const digest_variable< FieldType > &  input,
const blueprint_linear_combination< FieldType > &  is_right,
const digest_variable< FieldType > &  left,
const digest_variable< FieldType > &  right 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

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

◆ generate_r1cs_witness()

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

Member Data Documentation

◆ bp

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

◆ digest_size

template<typename FieldType >
std::size_t nil::crypto3::zk::components::digest_selector_component< FieldType >::digest_size

◆ input

template<typename FieldType >
digest_variable<FieldType> nil::crypto3::zk::components::digest_selector_component< FieldType >::input

◆ is_right

template<typename FieldType >
blueprint_linear_combination<FieldType> nil::crypto3::zk::components::digest_selector_component< FieldType >::is_right

◆ left

template<typename FieldType >
digest_variable<FieldType> nil::crypto3::zk::components::digest_selector_component< FieldType >::left

◆ right

template<typename FieldType >
digest_variable<FieldType> nil::crypto3::zk::components::digest_selector_component< FieldType >::right
The documentation for this class was generated from the following file: