trace_lines.hpp

Go to the documentation of this file.

 
#ifndef TRACE_LINES_HPP_
#define TRACE_LINES_HPP_
 
#include <libff/common/utils.hpp>
#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#include <libsnark/relations/ram_computations/rams/ram_params.hpp>
#include <memory>
 
namespace libsnark
{
 
template<typename ramT>
class memory_line_variable_gadget : public ram_gadget_base<ramT>
{
public:
    typedef ram_base_field<ramT> FieldT;
 
    std::shared_ptr<dual_variable_gadget<FieldT>> timestamp;
    std::shared_ptr<dual_variable_gadget<FieldT>> address;
    std::shared_ptr<dual_variable_gadget<FieldT>> contents_before;
    std::shared_ptr<dual_variable_gadget<FieldT>> contents_after;
 
public:
    memory_line_variable_gadget(
        ram_protoboard<ramT> &pb,
        const size_t timestamp_size,
        const ram_architecture_params<ramT> &ap,
        const std::string &annotation_prefix = "");
 
    void generate_r1cs_constraints(const bool enforce_bitness = false);
    void generate_r1cs_witness_from_bits();
    void generate_r1cs_witness_from_packed();
 
    pb_variable_array<FieldT> all_vars() const;
};
 
template<typename ramT>
class execution_line_variable_gadget : public memory_line_variable_gadget<ramT>
{
public:
    typedef ram_base_field<ramT> FieldT;
 
    pb_variable_array<FieldT> cpu_state;
    pb_variable<FieldT> has_accepted;
 
    execution_line_variable_gadget(
        ram_protoboard<ramT> &pb,
        const size_t timestamp_size,
        const ram_architecture_params<ramT> &ap,
        const std::string &annotation_prefix = "");
};
 
} // namespace libsnark
 
#include <libsnark/reductions/ram_to_r1cs/gadgets/trace_lines.tcc>
 
#endif // TRACE_LINES_HPP_