Data.HashTree

Settings

data Settings inp ha

defaultSettings

Accessors

hash0

hash1

hash2

Merkle Hash Trees

data MerkleHashTrees inp ha

Accessors

info

size

digest

Related types

type TreeSize

type Index

Creating Merkle Hash Trees

empty

fromList

Appending an element

add

Inclusion Proof

data InclusionProof ha

defaultInclusionProof

Accessors

leafIndex

treeSize

inclusion

Proof and verification

generateInclusionProof

verifyInclusionProof

Consistency Proof

data ConsistencyProof ha

defaultConsistencyProof

Accessors

firstTreeSize

secondTreeSize

consistency

Proof and verification

generateConsistencyProof

verifyConsistencyProof