loose_multiplexing.hpp
Go to the documentation of this file.
48 however if index is in bounds we can also set success_flag to 0 (and then result will be forced to
Definition: blueprint_linear_combination.hpp:115
Definition: blueprint_linear_combination.hpp:47
Definition: blueprint_variable.hpp:57
Definition: blueprint_variable.hpp:46
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: blueprint/include/nil/crypto3/zk/components/inner_product.hpp:51
Definition: loose_multiplexing.hpp:52
void generate_r1cs_constraints()
Definition: loose_multiplexing.hpp:76
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)
Definition: loose_multiplexing.hpp:65
void generate_r1cs_witness()
Definition: loose_multiplexing.hpp:99
blueprint_variable_vector< FieldType > alpha
Definition: loose_multiplexing.hpp:54
const blueprint_variable< FieldType > result
Definition: loose_multiplexing.hpp:62
const blueprint_linear_combination_vector< FieldType > arr
Definition: loose_multiplexing.hpp:60
const blueprint_variable< FieldType > index
Definition: loose_multiplexing.hpp:61
const blueprint_variable< FieldType > success_flag
Definition: loose_multiplexing.hpp:63
Definition: pair.hpp:31
void add_term(const variable< FieldType > &var)
Definition: variable.hpp:277
Definition: r1cs.hpp:60