integration.hpp

Go to the documentation of this file.

 
#ifndef INTEGRATION_HPP_
#define INTEGRATION_HPP_
 
#include <libff/common/default_types/ec_pp.hpp>
#include <libsnark/gadgetlib2/protoboard.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
 
namespace libsnark
{
 
r1cs_constraint_system<libff::Fr<libff::default_ec_pp>>
get_constraint_system_from_gadgetlib2(const gadgetlib2::Protoboard &pb);
r1cs_variable_assignment<libff::Fr<libff::default_ec_pp>>
get_variable_assignment_from_gadgetlib2(const gadgetlib2::Protoboard &pb);
 
} // namespace libsnark
 
#endif // INTEGRATION_HPP_