chore(sdk): define helper trait FullNodePrimitives

crates/node/types/Cargo.toml

@@ -17,3 +17,10 @@ reth-db-api.workspace = true
 reth-engine-primitives.workspace = true
 reth-primitives-traits.workspace = true
 reth-trie-db.workspace = true
+
+[features]
+default = ["std"]
+std = [
+    "reth-primitives-traits/std",
+    "reth-chainspec/std",
+]

crates/node/types/src/lib.rs

@@ -7,11 +7,11 @@
 )]
 #![cfg_attr(not(test), warn(unused_crate_dependencies))]
 #![cfg_attr(docsrs, feature(doc_cfg, doc_auto_cfg))]
+#![cfg_attr(not(feature = "std"), no_std)]
 
-pub use reth_primitives_traits::{Block, BlockBody};
+pub use reth_primitives_traits::{Block, BlockBody, FullBlock, FullReceipt, FullSignedTx};
 
-use core::fmt;
-use std::marker::PhantomData;
+use core::{fmt, marker::PhantomData};
 
 use reth_chainspec::EthChainSpec;
 use reth_db_api::{
@@ -37,6 +37,25 @@ impl NodePrimitives for () {
     type Receipt = ();
 }
 
+/// Helper trait that sets trait bounds on [`NodePrimitives`].
+pub trait FullNodePrimitives: Send + Sync + Unpin + Clone + Default + fmt::Debug {
+    /// Block primitive.
+    type Block: FullBlock<Body: BlockBody<SignedTransaction = Self::SignedTx>>;
+    /// Signed version of the transaction type.
+    type SignedTx: FullSignedTx;
+    /// A receipt.
+    type Receipt: FullReceipt;
+}
+
+impl<T> NodePrimitives for T
+where
+    T: FullNodePrimitives<Block: 'static, SignedTx: 'static, Receipt: 'static>,
+{
+    type Block = T::Block;
+    type SignedTx = T::SignedTx;
+    type Receipt = T::Receipt;
+}
+
 /// The type that configures the essential types of an Ethereum-like node.
 ///
 /// This includes the primitive types of a node and chain specification.

crates/primitives-traits/src/block/body.rs

@@ -10,11 +10,14 @@ use crate::Block;
 
 /// Abstraction for block's body.
 pub trait BlockBody:
-    Clone
+    Send
+    + Sync
+    + Unpin
+    + Clone
+    + Default
     + fmt::Debug
     + PartialEq
     + Eq
-    + Default
     + serde::Serialize
     + for<'de> serde::Deserialize<'de>
     + alloy_rlp::Encodable

crates/primitives-traits/src/block/mod.rs

@@ -20,11 +20,14 @@ impl<T> FullBlock for T where T: Block<Header: Compact> + Compact {}
 // todo: make with senders extension trait, so block can be impl by block type already containing
 // senders
 pub trait Block:
-    fmt::Debug
+    Send
+    + Sync
+    + Unpin
     + Clone
+    + Default
+    + fmt::Debug
     + PartialEq
     + Eq
-    + Default
     + serde::Serialize
     + for<'a> serde::Deserialize<'a>
     + From<(Self::Header, Self::Body)>

crates/primitives-traits/src/lib.rs

@@ -22,7 +22,7 @@ pub mod account;
 pub use account::{Account, Bytecode};
 
 pub mod receipt;
-pub use receipt::Receipt;
+pub use receipt::{FullReceipt, Receipt};
 
 pub mod transaction;
 pub use transaction::{

crates/primitives-traits/src/receipt.rs

@@ -1,5 +1,7 @@
 //! Receipt abstraction
 
+use core::fmt;
+
 use alloy_consensus::TxReceipt;
 use reth_codecs::Compact;
 use serde::{Deserialize, Serialize};
@@ -11,8 +13,13 @@ impl<T> FullReceipt for T where T: Receipt + Compact {}
 
 /// Abstraction of a receipt.
 pub trait Receipt:
-    TxReceipt
+    Send
+    + Sync
+    + Unpin
+    + Clone
     + Default
+    + fmt::Debug
+    + TxReceipt
     + alloy_rlp::Encodable
     + alloy_rlp::Decodable
     + Serialize

crates/primitives-traits/src/transaction/mod.rs

@@ -1,6 +1,6 @@
 //! Transaction abstraction
 
-use core::{fmt::Debug, hash::Hash};
+use core::{fmt, hash::Hash};
 
 use alloy_primitives::{TxKind, B256};
 
@@ -12,9 +12,12 @@ pub mod signed;
 #[allow(dead_code)]
 /// Abstraction of a transaction.
 pub trait Transaction:
-    Debug
-    + Default
+    Send
+    + Sync
+    + Unpin
     + Clone
+    + Default
+    + fmt::Debug
     + Eq
     + PartialEq
     + Hash

crates/primitives-traits/src/transaction/signed.rs

@@ -16,13 +16,15 @@ impl<T> FullSignedTx for T where T: SignedTransaction<Transaction: Compact> + Co
 
 /// A signed transaction.
 pub trait SignedTransaction:
-    fmt::Debug
+    Send
+    + Sync
+    + Unpin
     + Clone
+    + Default
+    + fmt::Debug
     + PartialEq
     + Eq
     + Hash
-    + Send
-    + Sync
     + serde::Serialize
     + for<'a> serde::Deserialize<'a>
     + alloy_rlp::Encodable

crates/primitives-traits/src/tx_type.rs

@@ -1,27 +1,28 @@
+use core::fmt;
+
 use alloy_eips::eip2718::Eip2718Error;
 use alloy_primitives::{U64, U8};
 use alloy_rlp::{Decodable, Encodable};
-use core::fmt::{Debug, Display};
 
 /// Trait representing the behavior of a transaction type.
 pub trait TxType:
-    Into<u8>
-    + Into<U8>
+    Send
+    + Sync
+    + Unpin
+    + Clone
+    + Copy
+    + Default
+    + fmt::Debug
+    + fmt::Display
     + PartialEq
     + Eq
     + PartialEq<u8>
+    + Into<u8>
+    + Into<U8>
     + TryFrom<u8, Error = Eip2718Error>
     + TryFrom<u64>
     + TryFrom<U64>
-    + Debug
-    + Display
-    + Clone
-    + Copy
-    + Default
     + Encodable
     + Decodable
-    + Send
-    + Sync
-    + 'static
 {
 }