run_uscs_ppzksnark.hpp

Go to the documentation of this file.

 
#ifndef RUN_USCS_PPZKSNARK_HPP_
#define RUN_USCS_PPZKSNARK_HPP_
 
#include <libff/algebra/curves/public_params.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/uscs/examples/uscs_examples.hpp>
 
namespace libsnark
{
 
template<typename ppT>
bool run_uscs_ppzksnark(
    const uscs_example<libff::Fr<ppT>> &example, const bool test_serialization);
 
} // namespace libsnark
 
#include <libsnark/zk_proof_systems/ppzksnark/uscs_ppzksnark/examples/run_uscs_ppzksnark.tcc>
 
#endif // RUN_USCS_PPZKSNARK_HPP_