conjunction.hpp
Go to the documentation of this file.
Definition: blueprint_linear_combination.hpp:47
Definition: blueprint_variable.hpp:57
Definition: blueprint_variable.hpp:46
void allocate(blueprint< FieldType > &bp)
Definition: blueprint_variable.hpp:51
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: conjunction.hpp:51
const blueprint_variable_vector< FieldType > inputs
Definition: conjunction.hpp:56
void generate_r1cs_constraints()
Definition: conjunction.hpp:68
conjunction(blueprint< FieldType > &bp, const blueprint_variable_vector< FieldType > &inputs, const blueprint_variable< FieldType > &output)
Definition: conjunction.hpp:59
const blueprint_variable< FieldType > output
Definition: conjunction.hpp:57
void generate_r1cs_witness()
Definition: conjunction.hpp:92
constexpr T sum(const vector< T, N > &v)
computes the sum of elements
Definition: algebra/include/nil/crypto3/algebra/vector/math.hpp:124
Definition: pair.hpp:31
void add_term(const variable< FieldType > &var)
Definition: variable.hpp:277
Definition: r1cs.hpp:60