github/reth
1
1
Fork 0
mirror of https://github.com/paradigmxyz/reth.git synced 2026-01-27 08:08:15 -05:00
Code Issues Packages Projects Releases Wiki Activity

docs(trie): revealed sparse trie invariants (#11825)

Browse Source
This commit is contained in:
Roman Krasiuk
2024-10-17 10:03:25 +02:00
committed by GitHub
parent e828b34ed1
commit e3e83b7e71
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
crates/trie/sparse/src/trie.rs
View File

@@ -69,6 +69,13 @@ impl SparseTrie {
}
/// The representation of revealed sparse trie.
///
/// ## Invariants
///
/// - The root node is always present in `nodes` collection.
/// - Each leaf entry in `nodes` collection must have a corresponding entry in `values` collection.
/// The opposite is also true.
/// - All keys in `values` collection are full leaf paths.
#[derive(PartialEq, Eq)]
pub struct RevealedSparseTrie {
/// All trie nodes.