merkle

Documentation

Index

• Variables
• type Proof
  • func (mp Proof) Verify(root, leaf curve.Element) (bool, error)
• type TreeLevel

Variables

var (
	ErrArity = errors.New("inconsistant arity")
	ErrIndex = errors.New("index too high")
)

Types

type Proof

type Proof struct {
	RootHash curve.Element
	Path     []TreeLevel
}

Proof stores a Merkle tree proof

func (Proof) Verify

func (mp Proof) Verify(root, leaf curve.Element) (bool, error)

Verify ensures leaf is a member of the tree defined by {root, Proof.Path}

type TreeLevel

type TreeLevel struct {
	Elements []curve.Element
	Index    int // position of the missing element
}

TreeLevel i-th level of a Merkle tree contains only the neigbours (the missing element is computed while rewinding the Merkle tree)