r1cs_to_qap.hpp

Go to the documentation of this file.

 
#ifndef R1CS_TO_QAP_HPP_
#define R1CS_TO_QAP_HPP_
 
#include <libsnark/relations/arithmetic_programs/qap/qap.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
 
namespace libsnark
{
 
template<typename FieldT>
qap_instance<FieldT> r1cs_to_qap_instance_map(
    const r1cs_constraint_system<FieldT> &cs, bool force_pow_2_domain = false);
 
template<typename FieldT>
qap_instance_evaluation<FieldT> r1cs_to_qap_instance_map_with_evaluation(
    const r1cs_constraint_system<FieldT> &cs,
    const FieldT &t,
    bool force_pow_2_domain = false);
 
template<typename FieldT>
qap_witness<FieldT> r1cs_to_qap_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,
    const FieldT &d3,
    bool force_pow_2_domain = false);
 
} // namespace libsnark
 
#include <libsnark/reductions/r1cs_to_qap/r1cs_to_qap.tcc>
 
#endif // R1CS_TO_QAP_HPP_