component_from_r1cs.hpp
Go to the documentation of this file.
25 // @file Declaration of interfaces for a component that can be created from an R1CS constraint system.
Definition: blueprint_variable.hpp:57
Definition: blueprint.hpp:46
Definition: component_from_r1cs.hpp:41
void generate_r1cs_constraints()
Definition: component_from_r1cs.hpp:66
void generate_r1cs_witness(const snark::r1cs_primary_input< FieldType > &primary_input, const snark::r1cs_auxiliary_input< FieldType > &auxiliary_input)
Definition: component_from_r1cs.hpp:89
component_from_r1cs(blueprint< FieldType > &bp, const std::vector< blueprint_variable_vector< FieldType >> &vars, const snark::r1cs_constraint_system< FieldType > &cs)
Definition: component_from_r1cs.hpp:48
Definition: component.hpp:37
vector(T, U...) -> vector< std::enable_if_t<(std::is_same_v< T, U > &&...), T >, 1+sizeof...(U)>
deduction guide for uniform initialization
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
Definition: pair.hpp:31
Definition: r1cs.hpp:124
std::vector< r1cs_constraint< FieldType > > constraints
Definition: r1cs.hpp:130
std::size_t num_constraints() const
Definition: r1cs.hpp:143
std::size_t num_inputs() const
Definition: r1cs.hpp:135
std::size_t num_variables() const
Definition: r1cs.hpp:139
Definition: r1cs.hpp:60