fix: Removing IgnoreList from Lane Interface

abci/abci_test.go

@@ -532,8 +532,6 @@ func (s *ProposalsTestSuite) TestPrepareProposalEdgeCases() {
 		)
 		s.Require().NoError(err)
 
-		defaultLane.SetIgnoreList(nil)
-
 		proposalHandler := abci.NewProposalHandler(
 			log.NewNopLogger(),
 			s.encodingConfig.TxConfig.TxDecoder(),
@@ -598,8 +596,6 @@ func (s *ProposalsTestSuite) TestPrepareProposalEdgeCases() {
 		)
 		s.Require().NoError(err)
 
-		defaultLane.SetIgnoreList(nil)
-
 		proposalHandler := abci.NewProposalHandler(
 			log.NewNopLogger(),
 			s.encodingConfig.TxConfig.TxDecoder(),
@@ -671,10 +667,6 @@ func (s *ProposalsTestSuite) TestPrepareProposalEdgeCases() {
 		)
 		s.Require().NoError(err)
 
-		panicLane.SetIgnoreList(nil)
-		panicLane2.SetIgnoreList(nil)
-		defaultLane.SetIgnoreList(nil)
-
 		proposalHandler := abci.NewProposalHandler(
 			log.NewNopLogger(),
 			s.encodingConfig.TxConfig.TxDecoder(),
@@ -746,10 +738,6 @@ func (s *ProposalsTestSuite) TestPrepareProposalEdgeCases() {
 		)
 		s.Require().NoError(err)
 
-		panicLane.SetIgnoreList(nil)
-		panicLane2.SetIgnoreList(nil)
-		defaultLane.SetIgnoreList(nil)
-
 		proposalHandler := abci.NewProposalHandler(
 			log.NewNopLogger(),
 			s.encodingConfig.TxConfig.TxDecoder(),

abci/utils_test.go

@@ -89,7 +89,7 @@ func (s *ProposalsTestSuite) setUpStandardLane(maxBlockSpace math.LegacyDec, exp
 		SignerExtractor: signeradaptors.NewDefaultAdapter(),
 	}
 
-	return defaultlane.NewDefaultLane(cfg)
+	return defaultlane.NewDefaultLane(cfg, base.DefaultMatchHandler())
 }
 
 func (s *ProposalsTestSuite) setUpTOBLane(maxBlockSpace math.LegacyDec, expectedExecution map[sdk.Tx]bool) *mev.MEVLane {
@@ -102,7 +102,8 @@ func (s *ProposalsTestSuite) setUpTOBLane(maxBlockSpace math.LegacyDec, expected
 		SignerExtractor: signeradaptors.NewDefaultAdapter(),
 	}
 
-	return mev.NewMEVLane(cfg, mev.NewDefaultAuctionFactory(cfg.TxDecoder, signeradaptors.NewDefaultAdapter()))
+	factory := mev.NewDefaultAuctionFactory(cfg.TxDecoder, signeradaptors.NewDefaultAdapter())
+	return mev.NewMEVLane(cfg, factory, factory.MatchHandler())
 }
 
 func (s *ProposalsTestSuite) setUpFreeLane(maxBlockSpace math.LegacyDec, expectedExecution map[sdk.Tx]bool) *free.FreeLane {

block/base/handlers.go

@@ -170,3 +170,19 @@ func DefaultMatchHandler() MatchHandler {
 		return true
 	}
 }
+
+// NewMatchHandler returns a match handler that matches transactions
+// that match the lane and do not match with any of the provided match handlers.
+// In the context of building an application, you would want to use this to
+// ignore the match handlers of other lanes in the application.
+func NewMatchHandler(mh MatchHandler, ignoreMHs ...MatchHandler) MatchHandler {
+	return func(ctx sdk.Context, tx sdk.Tx) bool {
+		for _, ignoreMH := range ignoreMHs {
+			if ignoreMH(ctx, tx) {
+				return false
+			}
+		}
+
+		return mh(ctx, tx)
+	}
+}

block/base/lane.go

@@ -121,43 +121,14 @@ func (l *BaseLane) SetProcessLaneHandler(processLaneHandler ProcessLaneHandler)
 // if the transaction is on the ignore list. If the transaction is on the ignore
 // list, it returns false.
 func (l *BaseLane) Match(ctx sdk.Context, tx sdk.Tx) bool {
-	return l.matchHandler(ctx, tx) && !l.CheckIgnoreList(ctx, tx)
-}
-
-// CheckIgnoreList returns true if the transaction is on the ignore list. The ignore
-// list is utilized to prevent transactions that should be considered in other lanes
-// from being considered from this lane.
-func (l *BaseLane) CheckIgnoreList(ctx sdk.Context, tx sdk.Tx) bool {
-	if l.cfg.IgnoreList == nil {
-		return false
-	}
-
-	for _, lane := range l.cfg.IgnoreList {
-		if lane.Match(ctx, tx) {
-			return true
-		}
-	}
-
-	return false
+	return l.matchHandler(ctx, tx)
 }
 
 // Name returns the name of the lane.
 func (l *BaseLane) Name() string {
 	return l.laneName
 }
 
-// SetIgnoreList sets the ignore list for the lane. The ignore list is a list
-// of lanes that the lane should ignore when processing transactions.
-func (l *BaseLane) SetIgnoreList(lanes []block.Lane) {
-	l.cfg.IgnoreList = lanes
-}
-
-// GetIgnoreList returns the ignore list for the lane. The ignore list is a list
-// of lanes that the lane should ignore when processing transactions.
-func (l *BaseLane) GetIgnoreList() []block.Lane {
-	return l.cfg.IgnoreList
-}
-
 // SetAnteHandler sets the ante handler for the lane.
 func (l *BaseLane) SetAnteHandler(anteHandler sdk.AnteHandler) {
 	l.cfg.AnteHandler = anteHandler

block/lane.go

@@ -70,12 +70,6 @@ type Lane interface {
 	// SetAnteHandler sets the lane's antehandler.
 	SetAnteHandler(antehander sdk.AnteHandler)
 
-	// SetIgnoreList sets the lanes that should be ignored by this lane.
-	SetIgnoreList(ignoreList []Lane)
-
-	// GetIgnoreList returns the lanes that should be ignored by this lane.
-	GetIgnoreList() []Lane
-
 	// Match determines if a transaction belongs to this lane.
 	Match(ctx sdk.Context, tx sdk.Tx) bool
 

block/mempool.go

@@ -12,12 +12,6 @@ import (
 	blocksdkmoduletypes "github.com/skip-mev/block-sdk/x/blocksdk/types"
 )
 
-const (
-	// DefaultLaneName is the default lane name. We enforce that a lane with the name
-	// "default" is provided when constructing the mempool.
-	DefaultLaneName = "default"
-)
-
 var _ Mempool = (*LanedMempool)(nil)
 
 // LaneFetcher defines the interface to get a lane stored in the x/blocksdk module.
@@ -62,61 +56,11 @@ type (
 // to its own selection logic. The lanes are ordered according to their priority. The
 // first lane in the registry has the highest priority. Proposals are verified according
 // to the order of the lanes in the registry. Each transaction SHOULD only belong in one lane.
-// To enforce that transactions only belong to one lane, each lane has an ignore list.
-//
-// For example, say we have three lanes, MEV, default, and free. The ignore list of each
-// lane will look like the following:
-// - MEV: free
-// - default: MEV, free
-// - free: MEV.
-//
-// Note that a name with the value "default" MUST be provided.
 func NewLanedMempool(
 	logger log.Logger,
 	lanes []Lane,
 	laneFetcher LaneFetcher,
 ) (*LanedMempool, error) {
-	laneCache := make(map[Lane]struct{})
-	seenDefault := false
-
-	// Ensure that each of the lanes are mutually exclusive. The default lane should
-	// ignore all other lanes, while all other lanes should ignore every lane except
-	// the default lane.
-	for index, lane := range lanes {
-		if lane.Name() == DefaultLaneName {
-			lowerIgnoreList := make([]Lane, index)
-			copy(lowerIgnoreList, lanes[:index])
-
-			upperIgnoreList := make([]Lane, len(lanes)-index-1)
-			copy(upperIgnoreList, lanes[index+1:])
-
-			lane.SetIgnoreList(append(lowerIgnoreList, upperIgnoreList...))
-			seenDefault = true
-		} else {
-			laneCache[lane] = struct{}{}
-		}
-	}
-
-	if !seenDefault {
-		return nil, fmt.Errorf("default lane not found. a lane with the name %s must be provided", DefaultLaneName)
-	}
-
-	for _, lane := range lanes {
-		if lane.Name() == DefaultLaneName {
-			continue
-		}
-
-		delete(laneCache, lane)
-
-		ignoreList := make([]Lane, 0)
-		for otherLane := range laneCache {
-			ignoreList = append(ignoreList, otherLane)
-		}
-
-		lane.SetIgnoreList(ignoreList)
-		laneCache[lane] = struct{}{}
-	}
-
 	mempool := &LanedMempool{
 		logger:            logger,
 		registry:          lanes,

block/mempool_test.go

@@ -78,9 +78,11 @@ func (suite *BlockBusterTestSuite) SetupTest() {
 		AnteHandler:     nil,
 		MaxBlockSpace:   math.LegacyZeroDec(),
 	}
+	factory := mev.NewDefaultAuctionFactory(suite.encodingConfig.TxConfig.TxDecoder(), signer_extraction.NewDefaultAdapter())
 	suite.mevLane = mev.NewMEVLane(
 		mevConfig,
-		mev.NewDefaultAuctionFactory(suite.encodingConfig.TxConfig.TxDecoder(), signer_extraction.NewDefaultAdapter()),
+		factory,
+		factory.MatchHandler(),
 	)
 
 	suite.mevSDKLane = blocksdkmoduletypes.Lane{
@@ -121,6 +123,7 @@ func (suite *BlockBusterTestSuite) SetupTest() {
 	}
 	suite.baseLane = defaultlane.NewDefaultLane(
 		baseConfig,
+		base.DefaultMatchHandler(),
 	)
 
 	suite.baseSDKLane = blocksdkmoduletypes.Lane{
@@ -169,10 +172,12 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 		MaxBlockSpace:   math.LegacyZeroDec(),
 	}
 
-	defaultLane := defaultlane.NewDefaultLane(baseConfig)
+	defaultLane := defaultlane.NewDefaultLane(baseConfig, base.DefaultMatchHandler())
+	factory := mev.NewDefaultAuctionFactory(suite.encodingConfig.TxConfig.TxDecoder(), signer_extraction.NewDefaultAdapter())
 	mevLane := mev.NewMEVLane(
 		baseConfig,
-		mev.NewDefaultAuctionFactory(suite.encodingConfig.TxConfig.TxDecoder(), signer_extraction.NewDefaultAdapter()),
+		factory,
+		factory.MatchHandler(),
 	)
 	freeLane := free.NewFreeLane(
 		baseConfig,
@@ -189,9 +194,6 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 			fetcher,
 		)
 		suite.Require().NoError(err)
-
-		ignoreList := defaultLane.GetIgnoreList()
-		suite.Require().Equal(0, len(ignoreList))
 	})
 
 	suite.Run("works mev and default lane", func() {
@@ -203,12 +205,6 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 			fetcher,
 		)
 		suite.Require().NoError(err)
-
-		ignoreList := defaultLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-
-		ignoreList = mevLane.GetIgnoreList()
-		suite.Require().Equal(0, len(ignoreList))
 	})
 
 	suite.Run("works mev and default lane in reverse order", func() {
@@ -220,12 +216,6 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 			fetcher,
 		)
 		suite.Require().NoError(err)
-
-		ignoreList := defaultLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-
-		ignoreList = mevLane.GetIgnoreList()
-		suite.Require().Equal(0, len(ignoreList))
 	})
 
 	suite.Run("works with mev, free, and default lane", func() {
@@ -237,17 +227,6 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 			fetcher,
 		)
 		suite.Require().NoError(err)
-
-		ignoreList := defaultLane.GetIgnoreList()
-		suite.Require().Equal(2, len(ignoreList))
-
-		ignoreList = mevLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-		suite.Require().Equal(freeLane, ignoreList[0])
-
-		ignoreList = freeLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-		suite.Require().Equal(mevLane, ignoreList[0])
 	})
 
 	suite.Run("works with mev, default, free lane", func() {
@@ -259,17 +238,6 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 			fetcher,
 		)
 		suite.Require().NoError(err)
-
-		ignoreList := defaultLane.GetIgnoreList()
-		suite.Require().Equal(2, len(ignoreList))
-
-		ignoreList = mevLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-		suite.Require().Equal(freeLane, ignoreList[0])
-
-		ignoreList = freeLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-		suite.Require().Equal(mevLane, ignoreList[0])
 	})
 
 	suite.Run("works with free, mev, and default lane", func() {
@@ -281,17 +249,6 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 			fetcher,
 		)
 		suite.Require().NoError(err)
-
-		ignoreList := defaultLane.GetIgnoreList()
-		suite.Require().Equal(2, len(ignoreList))
-
-		ignoreList = mevLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-		suite.Require().Equal(freeLane, ignoreList[0])
-
-		ignoreList = freeLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-		suite.Require().Equal(mevLane, ignoreList[0])
 	})
 
 	suite.Run("works with default, free, mev lanes", func() {
@@ -303,17 +260,6 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 			fetcher,
 		)
 		suite.Require().NoError(err)
-
-		ignoreList := defaultLane.GetIgnoreList()
-		suite.Require().Equal(2, len(ignoreList))
-
-		ignoreList = mevLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-		suite.Require().Equal(freeLane, ignoreList[0])
-
-		ignoreList = freeLane.GetIgnoreList()
-		suite.Require().Equal(1, len(ignoreList))
-		suite.Require().Equal(mevLane, ignoreList[0])
 	})
 
 	suite.Run("default lane not included", func() {
@@ -324,7 +270,7 @@ func (suite *BlockBusterTestSuite) TestNewMempool() {
 			lanes,
 			fetcher,
 		)
-		suite.Require().Error(err)
+		suite.Require().NoError(err)
 	})
 
 	suite.Run("duplicate lanes", func() {