Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
libsnark::merkle_tree_check_read_gadget< FieldT, HashT > Member List

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

address_bitslibsnark::merkle_tree_check_read_gadget< FieldT, HashT >
annotation_prefixlibsnark::gadget< FieldT >protected
digest_sizelibsnark::merkle_tree_check_read_gadget< FieldT, HashT >
expected_constraints(const size_t tree_depth)libsnark::merkle_tree_check_read_gadget< FieldT, HashT >static
gadget(protoboard< FieldT > &pb, const std::string &annotation_prefix)libsnark::gadget< FieldT >
generate_r1cs_constraints()libsnark::merkle_tree_check_read_gadget< FieldT, HashT >
generate_r1cs_witness()libsnark::merkle_tree_check_read_gadget< FieldT, HashT >
leaflibsnark::merkle_tree_check_read_gadget< FieldT, HashT >
merkle_tree_check_read_gadget(protoboard< FieldT > &pb, const size_t tree_depth, const pb_linear_combination_array< FieldT > &address_bits, const digest_variable< FieldT > &leaf_digest, const digest_variable< FieldT > &root_digest, const merkle_authentication_path_variable< FieldT, HashT > &path, const pb_linear_combination< FieldT > &read_successful, const std::string &annotation_prefix)libsnark::merkle_tree_check_read_gadget< FieldT, HashT >
pathlibsnark::merkle_tree_check_read_gadget< FieldT, HashT >
pblibsnark::gadget< FieldT >protected
read_successfullibsnark::merkle_tree_check_read_gadget< FieldT, HashT >
rootlibsnark::merkle_tree_check_read_gadget< FieldT, HashT >
root_size_in_bits()libsnark::merkle_tree_check_read_gadget< FieldT, HashT >static
tree_depthlibsnark::merkle_tree_check_read_gadget< FieldT, HashT >