Bargad v1.0.1 Bargad.Merkle View Source

Link to this section Summary

audit_proof(tree, m)

build(tree, data)

build(Bargad.Types.tree(), Bargad.Types.values()) :: Bargad.Types.tree()

build(Bargad.Types.tree(), pos_integer()) :: Bargad.Types.audit_proof()

build(Bargad.Types.tree(), pos_integer()) :: Bargad.Types.audit_proof()

consistency_proof(tree, m)

consistency_proof(Bargad.Types.tree(), pos_integer()) ::
  Bargad.Types.consistency_proof()

insert(tree, x)

insert(Bargad.Types.tree(), binary()) :: Bargad.Types.tree()

insert(Bargad.Types.tree(), binary()) :: Bargad.Types.tree()

new(tree_type, tree_name, hash_function, backend)

new(
  Bargad.Types.tree_type(),
  binary(),
  Bargad.Types.hash_algorithm(),
  Bargad.Types.backend()
) :: Bargad.Types.tree()

verify_audit_proof(tree, proof)

verify_audit_proof(Bargad.Types.tree(), Bargad.Types.audit_proof()) :: boolean()

verify_consistency_proof(tree, proof, old_root_hash)

verify_consistency_proof(
  Bargad.Types.tree(),
  Bargad.Types.consistency_proof(),
  binary()
) :: binary()