check_read.hpp
Go to the documentation of this file.
93 digest_size(Hash::get_digest_len()), tree_depth(tree_depth), address_bits(address_bits), leaf(leaf),
Definition: packing.hpp:187
Definition: hash_io.hpp:84
Definition: blueprint_linear_combination.hpp:115
Definition: blueprint_linear_combination.hpp:47
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: digest_selector_component.hpp:39
Definition: hash_io.hpp:43
Definition: check_read.hpp:48
const std::size_t digest_size
Definition: check_read.hpp:59
const std::size_t tree_depth
Definition: check_read.hpp:60
digest_variable< FieldType > leaf
Definition: check_read.hpp:62
void generate_r1cs_witness()
Definition: check_read.hpp:153
void generate_r1cs_constraints()
Definition: check_read.hpp:136
merkle_tree_check_read_component(blueprint< FieldType > &bp, const std::size_t tree_depth, const blueprint_linear_combination_vector< FieldType > &address_bits, const digest_variable< FieldType > &leaf_digest, const digest_variable< FieldType > &root_digest, const merkle_authentication_path_variable< FieldType, Hash > &path, const blueprint_linear_combination< FieldType > &read_successful)
Definition: check_read.hpp:84
static std::size_t root_size_in_bits()
Definition: check_read.hpp:167
blueprint_linear_combination_vector< FieldType > address_bits
Definition: check_read.hpp:61
static std::size_t expected_constraints(const std::size_t tree_depth)
Definition: check_read.hpp:172
merkle_authentication_path_variable< FieldType, Hash > path
Definition: check_read.hpp:64
digest_variable< FieldType > root
Definition: check_read.hpp:63
blueprint_linear_combination< FieldType > read_successful
Definition: check_read.hpp:65
Definition: pair.hpp:31
Definition: authentication_path.hpp:42