libsnark::merkle_tree_check_update_gadget< FieldT, HashT > Member List

This is the complete list of members for libsnark::merkle_tree_check_update_gadget< FieldT, HashT >, including all inherited members.

address_bits	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
annotation_prefix	libsnark::gadget< FieldT >	protected
digest_size	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
expected_constraints(const size_t tree_depth)	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >	static
gadget(protoboard< FieldT > &pb, const std::string &annotation_prefix)	libsnark::gadget< FieldT >
generate_r1cs_constraints()	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
generate_r1cs_witness()	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
merkle_tree_check_update_gadget(protoboard< FieldT > &pb, const size_t tree_depth, const pb_variable_array< FieldT > &address_bits, const digest_variable< FieldT > &prev_leaf_digest, const digest_variable< FieldT > &prev_root_digest, const merkle_authentication_path_variable< FieldT, HashT > &prev_path, const digest_variable< FieldT > &next_leaf_digest, const digest_variable< FieldT > &next_root_digest, const merkle_authentication_path_variable< FieldT, HashT > &next_path, const pb_linear_combination< FieldT > &update_successful, const std::string &annotation_prefix)	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
next_leaf_digest	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
next_path	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
next_root_digest	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
pb	libsnark::gadget< FieldT >	protected
prev_leaf_digest	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
prev_path	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
prev_root_digest	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
root_size_in_bits()	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >	static
tree_depth	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
update_successful	libsnark::merkle_tree_check_update_gadget< FieldT, HashT >