ram_zksnark_params.hpp

Go to the documentation of this file.

 
#ifndef RAM_ZKSNARK_PARAMS_HPP_
#define RAM_ZKSNARK_PARAMS_HPP_
 
#include <libsnark/relations/ram_computations/rams/ram_params.hpp>
 
namespace libsnark
{
 
/*
 * Below are various template aliases (used for convenience).
 */
 
template<typename ram_zksnark_ppT>
using ram_zksnark_PCD_pp = typename ram_zksnark_ppT::PCD_pp;
 
template<typename ram_zksnark_ppT>
using ram_zksnark_machine_pp = typename ram_zksnark_ppT::machine_pp;
 
template<typename ram_zksnark_ppT>
using ram_zksnark_architecture_params =
    ram_architecture_params<ram_zksnark_machine_pp<ram_zksnark_ppT>>;
 
template<typename ram_zksnark_ppT>
using ram_zksnark_primary_input =
    ram_boot_trace<ram_zksnark_machine_pp<ram_zksnark_ppT>>;
 
template<typename ram_zksnark_ppT>
using ram_zksnark_auxiliary_input =
    ram_input_tape<ram_zksnark_machine_pp<ram_zksnark_ppT>>;
 
} // namespace libsnark
 
#endif // RAM_ZKSNARK_PARAMS_HPP_