tinyram_protoboard.hpp

Go to the documentation of this file.

 
#ifndef TINYRAM_PROTOBOARD_HPP_
#define TINYRAM_PROTOBOARD_HPP_
 
#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#include <libsnark/gadgetlib1/protoboard.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 tinyram_protoboard : public protoboard<FieldT>
{
public:
    const tinyram_architecture_params ap;
 
    tinyram_protoboard(const tinyram_architecture_params &ap);
};
 
template<typename FieldT> class tinyram_gadget : public gadget<FieldT>
{
protected:
    tinyram_protoboard<FieldT> &pb;
 
public:
    tinyram_gadget(
        tinyram_protoboard<FieldT> &pb,
        const std::string &annotation_prefix = "");
};
 
// standard gadgets provide two methods: generate_r1cs_constraints and
// generate_r1cs_witness
template<typename FieldT>
class tinyram_standard_gadget : public tinyram_gadget<FieldT>
{
public:
    tinyram_standard_gadget(
        tinyram_protoboard<FieldT> &pb,
        const std::string &annotation_prefix = "");
 
    virtual void generate_r1cs_constraints() = 0;
    virtual void generate_r1cs_witness() = 0;
};
 
} // namespace libsnark
 
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/tinyram_protoboard.tcc>
 
#endif // TINYRAM_PROTOBOARD_HPP_