tbcs_to_uscs.hpp

Go to the documentation of this file.

 
#ifndef TBCS_TO_USCS_HPP_
#define TBCS_TO_USCS_HPP_
 
#include <libsnark/relations/circuit_satisfaction_problems/tbcs/tbcs.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/uscs/uscs.hpp>
 
namespace libsnark
{
 
template<typename FieldT>
uscs_constraint_system<FieldT> tbcs_to_uscs_instance_map(
    const tbcs_circuit &circuit);
 
template<typename FieldT>
uscs_variable_assignment<FieldT> tbcs_to_uscs_witness_map(
    const tbcs_circuit &circuit,
    const tbcs_primary_input &primary_input,
    const tbcs_auxiliary_input &auxiliary_input);
 
} // namespace libsnark
 
#include <libsnark/reductions/tbcs_to_uscs/tbcs_to_uscs.tcc>
 
#endif // TBCS_TO_USCS_HPP_