uscs_to_ssp.hpp

Go to the documentation of this file.

 
#ifndef USCS_TO_SSP_HPP_
#define USCS_TO_SSP_HPP_
 
#include <libsnark/relations/arithmetic_programs/ssp/ssp.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/uscs/uscs.hpp>
 
namespace libsnark
{
 
template<typename FieldT>
ssp_instance<FieldT> uscs_to_ssp_instance_map(
    const uscs_constraint_system<FieldT> &cs);
 
template<typename FieldT>
ssp_instance_evaluation<FieldT> uscs_to_ssp_instance_map_with_evaluation(
    const uscs_constraint_system<FieldT> &cs, const FieldT &t);
 
template<typename FieldT>
ssp_witness<FieldT> uscs_to_ssp_witness_map(
    const uscs_constraint_system<FieldT> &cs,
    const uscs_primary_input<FieldT> &primary_input,
    const uscs_auxiliary_input<FieldT> &auxiliary_input,
    const FieldT &d);
 
} // namespace libsnark
 
#include <libsnark/reductions/uscs_to_ssp/uscs_to_ssp.tcc>
 
#endif // USCS_TO_SSP_HPP_