blueprint.hpp
Go to the documentation of this file.
Definition: blueprint_linear_combination.hpp:47
bool is_variable
Definition: blueprint_linear_combination.hpp:52
lc_index_t index
Definition: blueprint_linear_combination.hpp:53
Definition: blueprint_variable.hpp:46
Definition: blueprint.hpp:46
void set_input_sizes(const std::size_t primary_input_size)
Definition: blueprint.hpp:118
snark::r1cs_primary_input< FieldType > primary_input() const
Definition: blueprint.hpp:128
FieldType::value_type & val(const blueprint_variable< FieldType > &var)
Definition: blueprint.hpp:70
void add_r1cs_constraint(const snark::r1cs_constraint< FieldType > &constr)
Definition: blueprint.hpp:98
snark::r1cs_constraint_system< FieldType > get_constraint_system() const
Definition: blueprint.hpp:136
std::size_t num_constraints() const
Definition: blueprint.hpp:106
snark::r1cs_variable_assignment< FieldType > full_variable_assignment() const
Definition: blueprint.hpp:124
std::size_t num_inputs() const
Definition: blueprint.hpp:110
FieldType::value_type lc_val(const blueprint_linear_combination< FieldType > &lc) const
Definition: blueprint.hpp:89
std::size_t num_variables() const
Definition: blueprint.hpp:114
FieldType::value_type val(const blueprint_variable< FieldType > &var) const
Definition: blueprint.hpp:75
bool is_satisfied() const
Definition: blueprint.hpp:102
void clear_values()
Definition: blueprint.hpp:66
FieldType::value_type & lc_val(const blueprint_linear_combination< FieldType > &lc)
Definition: blueprint.hpp:80
snark::r1cs_auxiliary_input< FieldType > auxiliary_input() const
Definition: blueprint.hpp:132
constexpr matrix< T, N, M > fill(T value)
generates a matrix containing a single value
Definition: matrix/utility.hpp:102
std::size_t lc_index_t
Definition: blueprint_linear_combination.hpp:41
std::vector< typename FieldType::value_type > r1cs_auxiliary_input
Definition: r1cs.hpp:104
std::vector< typename FieldType::value_type > r1cs_primary_input
Definition: r1cs.hpp:101
std::vector< typename FieldType::value_type > r1cs_variable_assignment
Definition: r1cs.hpp:107
Definition: pair.hpp:31
Definition: r1cs.hpp:124
bool is_satisfied(const r1cs_primary_input< FieldType > &primary_input, const r1cs_auxiliary_input< FieldType > &auxiliary_input) const
Definition: r1cs.hpp:162
std::vector< r1cs_constraint< FieldType > > constraints
Definition: r1cs.hpp:130
std::size_t num_constraints() const
Definition: r1cs.hpp:143
std::size_t primary_input_size
Definition: r1cs.hpp:127
std::size_t num_inputs() const
Definition: r1cs.hpp:135
std::size_t auxiliary_input_size
Definition: r1cs.hpp:128
Definition: r1cs.hpp:60