Crate proof

Merkle proof partials are a format for inclusion proofs of specific leaves in a merkle tree.

This library is written to conform with the evolving Ethereum 2.0 specification for merkle proofs. It provides implementations for the all SSZ primitives, as well as FixedVectors and VariableLists. Custom contianers can be derived using the merkle_partial_derive macro, assuming that each of the child objects have implemented the MerkleTreeOverlay trait.

Re-exports

pub use crate::cache::hash_children;

Modules

cache

field

impls

tree_arithmetic

types

Structs

Proof

A Proof is generated from a SerializedProof and can manipulate / verify data in the merkle tree.

SerializedProof

A serializable represenation of a Proof.

Enums

Error

An enum of errors that can occur when interacting with proof.

Path

An identifier for the location of a distinct value in a partial.

Constants

BYTES_PER_CHUNK

Traits

MerkleTreeOverlay

Defines an interface for interacting with Proofs via Paths.

Type Aliases

NodeIndex

General index for a node in a merkle tree.