run_ram_zksnark.hpp

Go to the documentation of this file.

 
#ifndef RUN_RAM_ZKSNARK_HPP_
#define RUN_RAM_ZKSNARK_HPP_
 
#include <libsnark/relations/ram_computations/rams/examples/ram_examples.hpp>
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_zksnark_params.hpp>
 
namespace libsnark
{
 
template<typename ram_zksnark_ppT>
bool run_ram_zksnark(
    const ram_example<ram_zksnark_machine_pp<ram_zksnark_ppT>> &example,
    const bool test_serialization);
 
} // namespace libsnark
 
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/examples/run_ram_zksnark.tcc>
 
#endif // RUN_RAM_ZKSNARK_HPP_