merkle_tree_check_update_components(blueprint< FieldType > &bp, const std::size_t tree_depth, const blueprint_variable_vector< FieldType > &address_bits, const digest_variable< FieldType > &prev_leaf_digest, const digest_variable< FieldType > &prev_root_digest, const merkle_authentication_path_variable< FieldType, Hash > &prev_path, const digest_variable< FieldType > &next_leaf_digest, const digest_variable< FieldType > &next_root_digest, const merkle_authentication_path_variable< FieldType, Hash > &next_path, const blueprint_linear_combination< FieldType > &update_successful) | nil::crypto3::zk::components::merkle_tree_check_update_components< FieldType, Hash > | inline |