run_r1cs_ppzkadsnark.hpp

Go to the documentation of this file.

 
#ifndef RUN_R1CS_PPZKADSNARK_HPP_
#define RUN_R1CS_PPZKADSNARK_HPP_
 
#include <libff/algebra/curves/public_params.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp>
#include <libsnark/zk_proof_systems/ppzkadsnark/r1cs_ppzkadsnark/r1cs_ppzkadsnark_params.hpp>
 
namespace libsnark
{
 
template<typename ppT>
bool run_r1cs_ppzkadsnark(
    const r1cs_example<libff::Fr<snark_pp<ppT>>> &example,
    const bool test_serialization);
 
} // namespace libsnark
 
#include <libsnark/zk_proof_systems/ppzkadsnark/r1cs_ppzkadsnark/examples/run_r1cs_ppzkadsnark.tcc>
 
#endif // RUN_R1CS_PPZKADSNARK_HPP_