Module stateless

Stateless proofs module.

This is a feature module that provides functionalities to generate inclusion proofs without the tree data.

Structs

ProofElement

Stateless proof element

Functions

stateless_path

Computes the set of elements of a Merkle proof of a Lean IMT without the tree data.