fooram_params.hpp

Go to the documentation of this file.

 
#ifndef FOORAM_PARAMS_HPP_
#define FOORAM_PARAMS_HPP_
 
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/fooram/fooram_cpu_checker.hpp>
#include <libsnark/relations/ram_computations/rams/fooram/fooram_aux.hpp>
#include <libsnark/relations/ram_computations/rams/ram_params.hpp>
 
namespace libsnark
{
 
template<typename FieldT> class ram_fooram
{
public:
    typedef FieldT base_field_type;
    typedef fooram_protoboard<FieldT> protoboard_type;
    typedef fooram_gadget<FieldT> gadget_base_type;
    typedef fooram_cpu_checker<FieldT> cpu_checker_type;
    typedef fooram_architecture_params architecture_params_type;
 
    static size_t timestamp_length;
};
 
template<typename FieldT> size_t ram_fooram<FieldT>::timestamp_length = 300;
 
} // namespace libsnark
 
#endif // FOORAM_PARAMS_HPP_