bacs_to_r1cs.hpp
Go to the documentation of this file.
26 // a R1CS ("Rank-1 Constraint System") from a BACS ("Bilinear Arithmetic Circuit Satisfiability").
bacs_variable_assignment< FieldType > bacs_auxiliary_input
Definition: bacs.hpp:95
bacs_variable_assignment< FieldType > bacs_primary_input
Definition: bacs.hpp:89
std::vector< typename FieldType::value_type > r1cs_variable_assignment
Definition: r1cs.hpp:107
Definition: pair.hpp:31
Definition: bacs.hpp:110
bacs_variable_assignment< FieldType > get_all_wires(const bacs_primary_input< FieldType > &primary_input, const bacs_auxiliary_input< FieldType > &auxiliary_input) const
Definition: bacs.hpp:212
std::size_t primary_input_size
Definition: bacs.hpp:113
std::size_t auxiliary_input_size
Definition: bacs.hpp:114
std::vector< bacs_gate< FieldType > > gates
Definition: bacs.hpp:115
Definition: r1cs.hpp:124
std::vector< r1cs_constraint< FieldType > > constraints
Definition: r1cs.hpp:130
std::size_t primary_input_size
Definition: r1cs.hpp:127
std::size_t auxiliary_input_size
Definition: r1cs.hpp:128
Definition: r1cs.hpp:60
Definition: bacs_to_r1cs.hpp:47
FieldType field_type
Definition: bacs_to_r1cs.hpp:48
static r1cs_constraint_system< FieldType > instance_map(const bacs_circuit< FieldType > &circuit)
Definition: bacs_to_r1cs.hpp:53
static r1cs_variable_assignment< FieldType > witness_map(const bacs_circuit< FieldType > &circuit, const bacs_primary_input< FieldType > &primary_input, const bacs_auxiliary_input< FieldType > &auxiliary_input)
Definition: bacs_to_r1cs.hpp:77