diff --git a/crates/primitives-traits/src/lib.rs b/crates/primitives-traits/src/lib.rs
index 8c54bd68c966..dd10ac9c5f1e 100644
--- a/crates/primitives-traits/src/lib.rs
+++ b/crates/primitives-traits/src/lib.rs
@@ -24,7 +24,7 @@ pub mod receipt;
 pub use receipt::Receipt;
 
 pub mod transaction;
-pub use transaction::Transaction;
+pub use transaction::{signed::SignedTransaction, Transaction};
 
 mod integer_list;
 pub use integer_list::{IntegerList, IntegerListError};
diff --git a/crates/primitives-traits/src/mod.rs b/crates/primitives-traits/src/mod.rs
new file mode 100644
index 000000000000..e69de29bb2d1
diff --git a/crates/primitives-traits/src/transaction.rs b/crates/primitives-traits/src/transaction/mod.rs
similarity index 97%
rename from crates/primitives-traits/src/transaction.rs
rename to crates/primitives-traits/src/transaction/mod.rs
index 93645ead82e8..a306c5f76ed5 100644
--- a/crates/primitives-traits/src/transaction.rs
+++ b/crates/primitives-traits/src/transaction/mod.rs
@@ -1,5 +1,7 @@
 //! Transaction abstraction
 
+pub mod signed;
+
 use alloc::fmt;
 
 use reth_codecs::Compact;
diff --git a/crates/primitives-traits/src/transaction/signed.rs b/crates/primitives-traits/src/transaction/signed.rs
new file mode 100644
index 000000000000..1bc8308b13f0
--- /dev/null
+++ b/crates/primitives-traits/src/transaction/signed.rs
@@ -0,0 +1,72 @@
+//! API of a signed transaction.
+
+use alloc::fmt;
+use core::hash::Hash;
+
+use alloy_consensus::Transaction;
+use alloy_eips::eip2718::{Decodable2718, Encodable2718};
+use alloy_primitives::{keccak256, Address, TxHash, B256};
+
+/// A signed transaction.
+pub trait SignedTransaction:
+    fmt::Debug
+    + Clone
+    + PartialEq
+    + Eq
+    + Hash
+    + Send
+    + Sync
+    + serde::Serialize
+    + for<'a> serde::Deserialize<'a>
+    + alloy_rlp::Encodable
+    + alloy_rlp::Decodable
+    + Encodable2718
+    + Decodable2718
+{
+    /// Transaction type that is signed.
+    type Transaction: Transaction;
+
+    /// Signature type that results from signing transaction.
+    type Signature;
+
+    /// Returns reference to transaction hash.
+    fn tx_hash(&self) -> &TxHash;
+
+    /// Returns reference to transaction.
+    fn transaction(&self) -> &Self::Transaction;
+
+    /// Returns reference to signature.
+    fn signature(&self) -> &Self::Signature;
+
+    /// Recover signer from signature and hash.
+    ///
+    /// Returns `None` if the transaction's signature is invalid following [EIP-2](https://eips.ethereum.org/EIPS/eip-2), see also `reth_primitives::transaction::recover_signer`.
+    ///
+    /// Note:
+    ///
+    /// This can fail for some early ethereum mainnet transactions pre EIP-2, use
+    /// [`Self::recover_signer_unchecked`] if you want to recover the signer without ensuring that
+    /// the signature has a low `s` value.
+    fn recover_signer(&self) -> Option<Address>;
+
+    /// Recover signer from signature and hash _without ensuring that the signature has a low `s`
+    /// value_.
+    ///
+    /// Returns `None` if the transaction's signature is invalid, see also
+    /// `reth_primitives::transaction::recover_signer_unchecked`.
+    fn recover_signer_unchecked(&self) -> Option<Address>;
+
+    /// Create a new signed transaction from a transaction and its signature.
+    ///
+    /// This will also calculate the transaction hash using its encoding.
+    fn from_transaction_and_signature(
+        transaction: Self::Transaction,
+        signature: Self::Signature,
+    ) -> Self;
+
+    /// Calculate transaction hash, eip2728 transaction does not contain rlp header and start with
+    /// tx type.
+    fn recalculate_hash(&self) -> B256 {
+        keccak256(self.encoded_2718())
+    }
+}
diff --git a/crates/primitives/src/traits/mod.rs b/crates/primitives/src/traits/mod.rs
new file mode 100644
index 000000000000..49fb73ea5555
--- /dev/null
+++ b/crates/primitives/src/traits/mod.rs
@@ -0,0 +1,9 @@
+//! Abstractions of primitive data types
+
+pub mod block;
+pub mod transaction;
+
+pub use block::{body::BlockBody, Block};
+pub use transaction::signed::SignedTransaction;
+
+pub use alloy_consensus::BlockHeader;