tinyram_params.hpp

Go to the documentation of this file.

 
#ifndef TINYRAM_PARAMS_HPP_
#define TINYRAM_PARAMS_HPP_
 
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/tinyram_cpu_checker.hpp>
#include <libsnark/relations/ram_computations/rams/ram_params.hpp>
#include <libsnark/relations/ram_computations/rams/tinyram/tinyram_aux.hpp>
 
namespace libsnark
{
 
template<typename FieldT> class ram_tinyram
{
public:
    static size_t timestamp_length;
 
    typedef FieldT base_field_type;
    typedef tinyram_protoboard<FieldT> protoboard_type;
    typedef tinyram_gadget<FieldT> gadget_base_type;
    typedef tinyram_cpu_checker<FieldT> cpu_checker_type;
    typedef tinyram_architecture_params architecture_params_type;
};
 
template<typename FieldT> size_t ram_tinyram<FieldT>::timestamp_length = 300;
 
} // namespace libsnark
 
#endif // TINYRAM_PARAMS_HPP_