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

#include <loose_multiplexing.hpp>

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

Public Member Functions

void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 
 loose_multiplexing (blueprint< FieldType > &bp, const blueprint_linear_combination_vector< FieldType > &arr, const blueprint_variable< FieldType > &index, const blueprint_variable< FieldType > &result, const blueprint_variable< FieldType > &success_flag)
 

Public Attributes

blueprint_variable_vector< FieldType > alpha
 
const blueprint_linear_combination_vector< FieldType > arr
 
const blueprint_variable< FieldType > index
 
const blueprint_variable< FieldType > result
 
const blueprint_variable< FieldType > success_flag
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ loose_multiplexing()

template<typename FieldType >
nil::crypto3::zk::components::loose_multiplexing< FieldType >::loose_multiplexing ( blueprint< FieldType > &  bp,
const blueprint_linear_combination_vector< FieldType > &  arr,
const blueprint_variable< FieldType > &  index,
const blueprint_variable< FieldType > &  result,
const blueprint_variable< FieldType > &  success_flag 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

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

◆ generate_r1cs_witness()

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

Member Data Documentation

◆ alpha

template<typename FieldType >
blueprint_variable_vector<FieldType> nil::crypto3::zk::components::loose_multiplexing< FieldType >::alpha

◆ arr

template<typename FieldType >
const blueprint_linear_combination_vector<FieldType> nil::crypto3::zk::components::loose_multiplexing< FieldType >::arr

◆ bp

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

◆ index

template<typename FieldType >
const blueprint_variable<FieldType> nil::crypto3::zk::components::loose_multiplexing< FieldType >::index

◆ result

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

◆ success_flag

template<typename FieldType >
const blueprint_variable<FieldType> nil::crypto3::zk::components::loose_multiplexing< FieldType >::success_flag
The documentation for this class was generated from the following file: