| address_bits | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| depth | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| digests | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| generate_r1cs_constraints() | libzeth::merkle_path_authenticator< FieldT, HashTreeT > | |
| generate_r1cs_witness() | libzeth::merkle_path_authenticator< FieldT, HashTreeT > | |
| hashers | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| is_valid() | libzeth::merkle_path_authenticator< FieldT, HashTreeT > | |
| leaf | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| m_expected_root | libzeth::merkle_path_authenticator< FieldT, HashTreeT > | |
| merkle_path_authenticator(libsnark::protoboard< FieldT > &pb, const size_t depth, const libsnark::pb_variable_array< FieldT > &address_bits, const libsnark::pb_variable< FieldT > leaf, const libsnark::pb_variable< FieldT > expected_root, const libsnark::pb_variable_array< FieldT > &path, const libsnark::pb_variable< FieldT > &bool_enforce, const std::string &annotation_prefix) | libzeth::merkle_path_authenticator< FieldT, HashTreeT > | |
| merkle_path_compute(libsnark::protoboard< FieldT > &pb, const size_t depth, const libsnark::pb_variable_array< FieldT > &address_bits, const libsnark::pb_variable< FieldT > leaf, const libsnark::pb_variable_array< FieldT > &path, const std::string &annotation_prefix) | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| path | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| result() | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| selectors | libzeth::merkle_path_compute< FieldT, HashTreeT > | |
| value_enforce | libzeth::merkle_path_authenticator< FieldT, HashTreeT > | |
