#include <memory_checker_gadget.hpp>
Inheritance diagram for libsnark::memory_checker_gadget< ramT >:
Collaboration diagram for libsnark::memory_checker_gadget< ramT >:
Public Member Functions | |
| memory_checker_gadget (ram_protoboard< ramT > &pb, const size_t timestamp_size, const memory_line_variable_gadget< ramT > &line1, const memory_line_variable_gadget< ramT > &line2, const std::string &annotation_prefix="") | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
Public Attributes | |
| memory_line_variable_gadget< ramT > | line1 |
| memory_line_variable_gadget< ramT > | line2 |
Detailed Description
template<typename ramT>
class libsnark::memory_checker_gadget< ramT >
Definition at line 22 of file memory_checker_gadget.hpp.
Constructor & Destructor Documentation
◆ memory_checker_gadget()
template<typename ramT >
| libsnark::memory_checker_gadget< ramT >::memory_checker_gadget | ( | ram_protoboard< ramT > & | pb, |
| const size_t | timestamp_size, | ||
| const memory_line_variable_gadget< ramT > & | line1, | ||
| const memory_line_variable_gadget< ramT > & | line2, | ||
| const std::string & | annotation_prefix = "" |
||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename ramT >
| void libsnark::memory_checker_gadget< ramT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename ramT >
| void libsnark::memory_checker_gadget< ramT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ line1
template<typename ramT >
| memory_line_variable_gadget<ramT> libsnark::memory_checker_gadget< ramT >::line1 |
Definition at line 41 of file memory_checker_gadget.hpp.
◆ line2
template<typename ramT >
| memory_line_variable_gadget<ramT> libsnark::memory_checker_gadget< ramT >::line2 |
Definition at line 42 of file memory_checker_gadget.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/reductions/ram_to_r1cs/gadgets/memory_checker_gadget.hpp
