feat(trie): account proofs (paradigmxyz#4249)

crates/primitives/src/trie/nodes/mod.rs

@@ -15,7 +15,7 @@ pub use self::{
 /// The range of valid child indexes.
 pub const CHILD_INDEX_RANGE: Range<u8> = 0..16;
 
-/// Given an RLP encoded node, returns either RLP(Node) or RLP(keccak(RLP(node)))
+/// Given an RLP encoded node, returns either RLP(node) or RLP(keccak(RLP(node)))
 fn rlp_node(rlp: &[u8]) -> Vec<u8> {
     if rlp.len() < H256::len_bytes() {
         rlp.to_vec()

crates/trie/Cargo.toml

@@ -45,6 +45,7 @@ proptest.workspace = true
 tokio = { workspace = true, default-features = false, features = ["sync", "rt", "macros"] }
 tokio-stream.workspace = true
 criterion = "0.5"
+pretty_assertions = "1.3.0"
 
 [features]
 test-utils = ["triehash"]

crates/trie/src/errors.rs

@@ -1,3 +1,4 @@
+use reth_primitives::H256;
 use thiserror::Error;
 
 /// State root error.
@@ -27,3 +28,19 @@ pub enum StorageRootError {
     #[error(transparent)]
     DB(#[from] reth_db::DatabaseError),
 }
+
+/// Proof error.
+#[derive(Error, PartialEq, Eq, Clone, Debug)]
+pub enum ProofError {
+    /// Leaf account missing
+    #[error(
+        "Expected leaf account with key greater or equal to {0:?} is missing from the database"
+    )]
+    LeafAccountMissing(H256),
+    /// Storage root error.
+    #[error(transparent)]
+    StorageRootError(#[from] StorageRootError),
+    /// Internal database error.
+    #[error(transparent)]
+    DB(#[from] reth_db::DatabaseError),
+}

crates/trie/src/lib.rs

@@ -36,7 +36,10 @@ pub mod hashed_cursor;
 pub mod walker;
 
 mod errors;
-pub use errors::{StateRootError, StorageRootError};
+pub use errors::*;
+
+/// Merkle proof generation.
+pub mod proof;
 
 /// The implementation of the Merkle Patricia Trie.
 mod trie;