tbcs_to_uscs.hpp
Go to the documentation of this file.
26 // a USCS ("Unitary-Square Constraint System") from a TBCS ("Two-input Boolean Circuit Satisfiability").
tbcs_variable_assignment tbcs_primary_input
Definition: tbcs.hpp:140
tbcs_variable_assignment tbcs_auxiliary_input
Definition: tbcs.hpp:145
std::vector< typename FieldType::value_type > uscs_variable_assignment
Definition: uscs.hpp:73
std::vector< bool > tbcs_variable_assignment
Definition: tbcs.hpp:48
Definition: pair.hpp:31
Definition: tbcs_to_uscs.hpp:57
static uscs_constraint_system< FieldType > instance_map(const tbcs_circuit &circuit)
Definition: tbcs_to_uscs.hpp:63
FieldType field_type
Definition: tbcs_to_uscs.hpp:58
static uscs_variable_assignment< FieldType > witness_map(const tbcs_circuit &circuit, const tbcs_primary_input &primary_input, const tbcs_auxiliary_input &auxiliary_input)
Definition: tbcs_to_uscs.hpp:183
Definition: tbcs.hpp:159
tbcs_variable_assignment get_all_wires(const tbcs_primary_input &primary_input, const tbcs_auxiliary_input &auxiliary_input) const
Definition: tbcs.hpp:228
std::size_t primary_input_size
Definition: tbcs.hpp:161
std::size_t auxiliary_input_size
Definition: tbcs.hpp:162
Definition: uscs.hpp:90
void add_constraint(const uscs_constraint< FieldType > &constraint)
Definition: uscs.hpp:143
std::size_t auxiliary_input_size
Definition: uscs.hpp:93
std::size_t primary_input_size
Definition: uscs.hpp:92
Definition: variable.hpp:66