gadget_from_r1cs.hpp

Go to the documentation of this file.

 
#ifndef GADGET_FROM_R1CS_HPP_
#define GADGET_FROM_R1CS_HPP_
 
#include <libsnark/gadgetlib1/gadget.hpp>
#include <map>
 
namespace libsnark
{
 
template<typename FieldT> class gadget_from_r1cs : public gadget<FieldT>
{
 
private:
    const std::vector<pb_variable_array<FieldT>> vars;
    const r1cs_constraint_system<FieldT> cs;
    std::map<size_t, size_t> cs_to_vars;
 
public:
    gadget_from_r1cs(
        protoboard<FieldT> &pb,
        const std::vector<pb_variable_array<FieldT>> &vars,
        const r1cs_constraint_system<FieldT> &cs,
        const std::string &annotation_prefix);
 
    void generate_r1cs_constraints();
    void generate_r1cs_witness(
        const r1cs_primary_input<FieldT> &primary_input,
        const r1cs_auxiliary_input<FieldT> &auxiliary_input);
};
 
} // namespace libsnark
 
#include <libsnark/gadgetlib1/gadgets/gadget_from_r1cs.tcc>
 
#endif // GADGET_FROM_R1CS_HPP_