r1cs_to_sap.hpp

Go to the documentation of this file.

 
#ifndef R1CS_TO_SAP_HPP_
#define R1CS_TO_SAP_HPP_
 
#include <libsnark/relations/arithmetic_programs/sap/sap.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
 
namespace libsnark
{
 
template<typename FieldT>
std::shared_ptr<libfqfft::evaluation_domain<FieldT>> r1cs_to_sap_get_domain(
    const r1cs_constraint_system<FieldT> &cs);
 
template<typename FieldT>
sap_instance<FieldT> r1cs_to_sap_instance_map(
    const r1cs_constraint_system<FieldT> &cs);
 
template<typename FieldT>
sap_instance_evaluation<FieldT> r1cs_to_sap_instance_map_with_evaluation(
    const r1cs_constraint_system<FieldT> &cs, const FieldT &t);
 
template<typename FieldT>
sap_witness<FieldT> r1cs_to_sap_witness_map(
    const r1cs_constraint_system<FieldT> &cs,
    const r1cs_primary_input<FieldT> &primary_input,
    const r1cs_auxiliary_input<FieldT> &auxiliary_input,
    const FieldT &d1,
    const FieldT &d2);
 
} // namespace libsnark
 
#include <libsnark/reductions/r1cs_to_sap/r1cs_to_sap.tcc>
 
#endif // R1CS_TO_SAP_HPP_