diff --git a/cosmos/runtime/miner/miner.go b/cosmos/runtime/miner/miner.go
index 2d6ce207c..4e6c2570c 100644
--- a/cosmos/runtime/miner/miner.go
+++ b/cosmos/runtime/miner/miner.go
@@ -27,7 +27,7 @@ import (
 	"sync"
 	"time"
 
-	"github.com/cosmos/gogoproto/proto"
+	mempool "github.com/cosmos/cosmos-sdk/types/mempool"
 
 	"github.com/berachain/polaris/eth"
 	"github.com/berachain/polaris/eth/core"
@@ -48,8 +48,10 @@ type Miner struct {
 	bc    core.Blockchain
 
 	valTxSelector  baseapp.TxSelector
+	txVerifier     baseapp.ProposalTxVerifier
 	serializer     EnvelopeSerializer
 	allowedValMsgs map[string]sdk.Msg
+	cmdsMempool    mempool.Mempool
 	currentPayload *miner.Payload
 
 	blockBuilderMu *sync.RWMutex
@@ -58,7 +60,8 @@ type Miner struct {
 // New produces a cosmos miner from a geth miner.
 func New(
 	miner eth.Miner, app TxDecoder, allowedValMsgs map[string]sdk.Msg,
-	bc core.Blockchain, blockBuilderMu *sync.RWMutex,
+	bc core.Blockchain, blockBuilderMu *sync.RWMutex, cmdsMempool mempool.Mempool,
+	txVerifier baseapp.ProposalTxVerifier,
 ) *Miner {
 	return &Miner{
 		miner:          miner,
@@ -66,7 +69,9 @@ func New(
 		bc:             bc,
 		allowedValMsgs: allowedValMsgs,
 		valTxSelector:  baseapp.NewDefaultTxSelector(),
+		txVerifier:     txVerifier,
 		blockBuilderMu: blockBuilderMu,
+		cmdsMempool:    cmdsMempool,
 	}
 }
 
@@ -168,28 +173,30 @@ func (m *Miner) processValidatorMsgs(
 	}
 	blockGasRemaining := uint64(b.MaxGas) - ethGasUsed
 
-	for _, txBz := range txs {
-		tx, err := m.app.TxDecode(txBz)
-		if err != nil {
-			continue
-		}
+	iterator := m.cmdsMempool.Select(ctx, txs)
+	for iterator != nil {
+		memTx := iterator.Tx()
 
-		includeTx := true
-		for _, msg := range tx.GetMsgs() {
-			if _, ok := m.allowedValMsgs[proto.MessageName(msg)]; !ok {
-				includeTx = false
-				break
+		// NOTE: Since transaction verification was already executed in CheckTx,
+		// which calls mempool.Insert, in theory everything in the pool should be
+		// valid. But some mempool implementations may insert invalid txs, so we
+		// check again.
+		txBz, err := m.txVerifier.PrepareProposalVerifyTx(memTx)
+		if err != nil {
+			err := m.cmdsMempool.Remove(memTx)
+			if err != nil && !errors.Is(err, mempool.ErrTxNotFound) {
+				return nil, err
 			}
-		}
-
-		if includeTx {
+		} else {
 			stop := m.valTxSelector.SelectTxForProposal(
-				ctx, uint64(maxTxBytes), blockGasRemaining, tx, txBz,
+				ctx, uint64(maxTxBytes), blockGasRemaining, memTx, txBz,
 			)
 			if stop {
 				break
 			}
 		}
+
+		iterator = iterator.Next()
 	}
 	return m.valTxSelector.SelectedTxs(ctx), nil
 }
diff --git a/cosmos/runtime/runtime.go b/cosmos/runtime/runtime.go
index 880ccaf84..4c5a431a7 100644
--- a/cosmos/runtime/runtime.go
+++ b/cosmos/runtime/runtime.go
@@ -43,6 +43,7 @@ import (
 
 	cometabci "github.com/cometbft/cometbft/abci/types"
 
+	"github.com/cosmos/cosmos-sdk/baseapp"
 	"github.com/cosmos/cosmos-sdk/client"
 	sdk "github.com/cosmos/cosmos-sdk/types"
 	"github.com/cosmos/cosmos-sdk/types/mempool"
@@ -70,6 +71,7 @@ type CosmosApp interface {
 	CommitMultiStore() storetypes.CommitMultiStore
 	PreBlocker(sdk.Context, *cometabci.RequestFinalizeBlock) (*sdk.ResponsePreBlock, error)
 	BeginBlocker(ctx sdk.Context) (sdk.BeginBlock, error)
+	baseapp.ProposalTxVerifier
 }
 
 // Polaris is a struct that wraps the Polaris struct from the polar package.
@@ -143,7 +145,8 @@ func (p *Polaris) Build(
 	// Wrap the geth miner and txpool with the cosmos miner and txpool.
 	p.WrappedMiner = miner.New(
 		p.ExecutionLayer.Backend().Miner(), app, allowedValMsgs,
-		p.Backend().Blockchain(), &p.blockBuilderMu,
+		p.Backend().Blockchain(), &p.blockBuilderMu, p.WrappedTxPool,
+		app,
 	)
 	p.WrappedBlockchain = chain.New(
 		p.ExecutionLayer.Backend().Blockchain(), app,
diff --git a/cosmos/runtime/txpool/mempool.go b/cosmos/runtime/txpool/mempool.go
index ecf582eb1..a1552b074 100644
--- a/cosmos/runtime/txpool/mempool.go
+++ b/cosmos/runtime/txpool/mempool.go
@@ -65,6 +65,7 @@ type GethTxPool interface {
 type Mempool struct {
 	eth.TxPool
 	lifetime       int64
+	cmdsPool       mempool.Mempool
 	chain          core.ChainReader
 	handler        Lifecycle
 	crc            CometRemoteCache
@@ -84,6 +85,7 @@ func New(
 		crc:            newCometRemoteCache(),
 		blockBuilderMu: blockBuilderMu,
 		priceLimit:     priceLimit,
+		cmdsPool:       mempool.DefaultPriorityMempool(),
 	}
 }
 
@@ -117,7 +119,7 @@ func (m *Mempool) Insert(ctx context.Context, sdkTx sdk.Tx) error {
 	wet, ok := utils.GetAs[*types.WrappedEthereumTransaction](msgs[0])
 	if !ok {
 		// We have to return nil for non-ethereum transactions as to not fail check-tx.
-		return nil
+		return m.cmdsPool.Insert(ctx, sdkTx)
 	}
 
 	// Add the eth tx to the Geth txpool.
@@ -161,7 +163,7 @@ func (m *Mempool) Remove(tx sdk.Tx) error {
 	if len(msgs) == 1 {
 		env, ok := utils.GetAs[*types.WrappedPayloadEnvelope](msgs[0])
 		if !ok {
-			return nil
+			goto remove
 		}
 
 		// Unwrap the payload to unpack the individual eth transactions to remove from the txpool.
@@ -175,6 +177,8 @@ func (m *Mempool) Remove(tx sdk.Tx) error {
 			// Remove the eth tx from comet seen tx cache.
 			m.crc.DropRemoteTx(txHash)
 		}
+		return nil
 	}
-	return nil
+remove:
+	return m.Remove(tx)
 }