Expand description
Merkle proof generation v2 (leaf-only implementation). Proof calculation version 2: Leaf-only implementation.
This module provides a rewritten proof calculator that:
- Uses only leaf data (HashedAccounts/Storages) to generate proofs
- Returns proof nodes sorted lexicographically by path
- Automatically resets after each calculation
- Re-uses cursors across calculations
- Supports generic value types with lazy evaluation
Structs§
- Proof
Calculator - A proof calculator that generates merkle proofs using only leaf data.
- Storage
Deferred Value Encoder - The deferred encoder for a storage slot value.
- Storage
Value Encoder - An encoder for storage slot values.
- Sync
Account Deferred Value Encoder - The deferred encoder for an account value with synchronous storage root calculation.
- Sync
Account Value Encoder - An account value encoder that synchronously computes storage roots.
- Target
- Target describes a proof target. For every proof target given, the
crate::proof_v2::ProofCalculatorwill calculate and return all nodes whose path is a prefix of the target’skey.
Traits§
- Deferred
Value Encoder - A trait for deferred RLP-encoding of leaf values.
- Leaf
Value Encoder - A trait for RLP-encoding values for proof calculation. This trait is designed to allow the lazy computation of leaf values in a generic way.
Type Aliases§
- Storage
Proof Calculator - A proof calculator for storage tries.