memory_load_store_gadget.hpp File Reference

#include <libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_update_gadget.hpp>

Include dependency graph for memory_load_store_gadget.hpp:

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

Go to the source code of this file.

Namespaces
	libsnark

Typedefs
template<typename FieldT , typename HashT >
using	libsnark::memory_load_store_gadget = merkle_tree_check_update_gadget< FieldT, HashT >

Detailed Description

Declaration of interfaces for the memory load&store gadget.

The gadget can be used to verify a memory load, followed by a store to the same address, from a "delegated memory".

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_load_store_gadget.hpp.