blueprint/include/nil/crypto3/zk/components/inner_product.hpp
Go to the documentation of this file.
Definition: blueprint_linear_combination.hpp:115
void evaluate(blueprint< field_type > &bp) const
Definition: blueprint_linear_combination.hpp:155
Definition: blueprint_variable.hpp:57
void allocate(blueprint< field_type > &bp, const std::size_t n)
Definition: blueprint_variable.hpp:91
Definition: blueprint_variable.hpp:46
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: blueprint/include/nil/crypto3/zk/components/inner_product.hpp:51
const blueprint_variable< FieldType > result
Definition: blueprint/include/nil/crypto3/zk/components/inner_product.hpp:59
void generate_r1cs_witness()
Definition: blueprint/include/nil/crypto3/zk/components/inner_product.hpp:87
const blueprint_linear_combination_vector< FieldType > B
Definition: blueprint/include/nil/crypto3/zk/components/inner_product.hpp:58
inner_product(blueprint< FieldType > &bp, const blueprint_linear_combination_vector< FieldType > &A, const blueprint_linear_combination_vector< FieldType > &B, const blueprint_variable< FieldType > &result)
Definition: blueprint/include/nil/crypto3/zk/components/inner_product.hpp:61
const blueprint_linear_combination_vector< FieldType > A
Definition: blueprint/include/nil/crypto3/zk/components/inner_product.hpp:57
void generate_r1cs_constraints()
Definition: blueprint/include/nil/crypto3/zk/components/inner_product.hpp:73
Definition: pair.hpp:31
Definition: r1cs.hpp:60