ra_memory.hpp

Go to the documentation of this file.

 
#ifndef RA_MEMORY_HPP_
#define RA_MEMORY_HPP_
 
#include <libsnark/relations/ram_computations/memory/memory_interface.hpp>
 
namespace libsnark
{
 
class ra_memory : public memory_interface
{
public:
    memory_contents contents;
 
    ra_memory(const size_t num_addresses, const size_t value_size);
    ra_memory(
        const size_t num_addresses,
        const size_t value_size,
        const std::vector<size_t> &contents_as_vector);
    ra_memory(
        const size_t num_addresses,
        const size_t value_size,
        const memory_contents &contents);
 
    size_t get_value(const size_t address) const;
    void set_value(const size_t address, const size_t value);
};
 
} // namespace libsnark
 
#endif // RA_MEMORY_HPP_