memory_checker_gadget.hpp File Reference

#include <libsnark/reductions/ram_to_r1cs/gadgets/trace_lines.hpp>
#include <libsnark/reductions/ram_to_r1cs/gadgets/memory_checker_gadget.tcc>

Include dependency graph for memory_checker_gadget.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libsnark::memory_checker_gadget< ramT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for memory_checker_gadget, a gadget that verifies the consistency of two accesses to memory that are adjacent in a "memory sort".

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file memory_checker_gadget.hpp.