run_r1cs_ppzksnark.hpp

Go to the documentation of this file.

 
#ifndef RUN_R1CS_PPZKSNARK_HPP_
#define RUN_R1CS_PPZKSNARK_HPP_
 
#include <libff/common/default_types/ec_pp.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp>
 
namespace libsnark
{
 
template<typename ppT>
bool run_r1cs_ppzksnark(
    const r1cs_example<libff::Fr<ppT>> &example, const bool test_serialization);
 
} // namespace libsnark
 
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/examples/run_r1cs_ppzksnark.tcc>
 
#endif // RUN_R1CS_PPZKSNARK_HPP_