# [−][src]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 |

SerializedProof | A serializable represenation of a |

## 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 |

## Type Definitions

NodeIndex | General index for a node in a merkle tree. |