ram_ppzksnark_params.hpp

Go to the documentation of this file.

 
#ifndef RAM_PPZKSNARK_PARAMS_HPP_
#define RAM_PPZKSNARK_PARAMS_HPP_
 
#include <libsnark/relations/ram_computations/rams/ram_params.hpp>
 
namespace libsnark
{
 
template<typename ram_ppzksnark_ppT>
using ram_ppzksnark_snark_pp = typename ram_ppzksnark_ppT::snark_pp;
 
template<typename ram_ppzksnark_ppT>
using ram_ppzksnark_machine_pp = typename ram_ppzksnark_ppT::machine_pp;
 
template<typename ram_ppzksnark_ppT>
using ram_ppzksnark_architecture_params =
    ram_architecture_params<ram_ppzksnark_machine_pp<ram_ppzksnark_ppT>>;
 
template<typename ram_ppzksnark_ppT>
using ram_ppzksnark_primary_input =
    ram_boot_trace<ram_ppzksnark_machine_pp<ram_ppzksnark_ppT>>;
 
template<typename ram_ppzksnark_ppT>
using ram_ppzksnark_auxiliary_input =
    ram_input_tape<ram_ppzksnark_machine_pp<ram_ppzksnark_ppT>>;
 
} // namespace libsnark
 
#endif // RAM_PPZKSNARK_PARAMS_HPP_