authentication_path.hpp
Go to the documentation of this file.
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: hash_io.hpp:43
std::vector< merkle_authentication_node > merkle_authentication_path
Definition: blueprint/include/nil/crypto3/zk/merkle_tree.hpp:66
Definition: pair.hpp:31
Definition: authentication_path.hpp:42
void generate_r1cs_witness(const std::size_t address, const snark::merkle_authentication_path &path)
Definition: authentication_path.hpp:63
void generate_r1cs_constraints()
Definition: authentication_path.hpp:56
std::vector< digest_variable< FieldType > > right_digests
Definition: authentication_path.hpp:46
std::vector< digest_variable< FieldType > > left_digests
Definition: authentication_path.hpp:45
const std::size_t tree_depth
Definition: authentication_path.hpp:44
snark::merkle_authentication_path get_authentication_path(const std::size_t address) const
Definition: authentication_path.hpp:76
merkle_authentication_path_variable(blueprint< FieldType > &bp, const std::size_t tree_depth)
Definition: authentication_path.hpp:48