merkle_tree_check_update_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_update_gadget.tcc>

Include dependency graph for merkle_tree_check_update_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_update_gadget< FieldT, HashT >

Namespaces
	libsnark

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

Detailed Description

Declaration of interfaces for the Merkle tree check update gadget.

The gadget checks the following: given two roots R1 and R2, address A, two values V1 and V2, and authentication path P, check that

• P is a valid authentication path for the value V1 as the A-th leaf in a Merkle tree with root R1, and

• P is a valid authentication path for the value V2 as the A-th leaf in a Merkle tree with root R2.

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