merkle_tree_check_read_gadget.hpp File Reference

#include <libsnark/common/data_structures/merkle_tree.hpp>
#include <libsnark/gadgetlib1/gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/hashes/crh_gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/hashes/digest_selector_gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/hashes/hash_io.hpp>
#include <libsnark/gadgetlib1/gadgets/merkle_tree/merkle_authentication_path_variable.hpp>
#include <libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_read_gadget.tcc>

Include dependency graph for merkle_tree_check_read_gadget.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::merkle_tree_check_read_gadget< FieldT, HashT >

Namespaces
	libsnark

Functions
template<typename FieldT , typename HashT >
void	libsnark::test_merkle_tree_check_read_gadget ()

Detailed Description

Declaration of interfaces for the Merkle tree check read gadget.

The gadget checks the following: given a root R, address A, value V, and authentication path P, check that P is a valid authentication path for the value V as the A-th leaf in a Merkle tree with root R.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file merkle_tree_check_read_gadget.hpp.