fix syncer

Author: julienrbrt

block/internal/syncing/syncer.go

@@ -749,17 +749,11 @@ func (s *Syncer) TrySyncNextBlock(ctx context.Context, event *common.DAHeightEve
 	}
 
 	// Verify forced inclusion transactions if configured.
-	// The checks is actually only performed on DA only enabled nodes, or P2P nodes catching up with the HEAD.
-	// P2P nodes at HEAD aren't actually able to verify forced inclusions txs as DA inclusion happens later (so DA hints are not available). This is a known limitation described in the ADR.
-	if event.Source == common.SourceDA || event.DaHeightHints != [2]uint64{0, 0} {
-		currentDAHeight := currentState.DAHeight
-		if event.DaHeightHints[0] > currentDAHeight {
-			currentDAHeight = event.DaHeightHints[0]
-		} else if event.DaHeightHints[1] > currentDAHeight {
-			currentDAHeight = event.DaHeightHints[1]
-		}
-
-		if err := s.VerifyForcedInclusionTxs(ctx, currentDAHeight, data); err != nil {
+	// The checks is actually only performed on DA only enabled nodes.
+	// P2P nodes aren't actually able to verify forced inclusions txs as DA inclusion happens later (so DA hints are not available) and DA hints cannot be trusted. This is a known limitation described in the ADR.
+	// In the future we should verify force inclusion txs completely asynchronously, while still waiting for block n-1 execution.
+	if event.Source == common.SourceDA {
+		if err := s.VerifyForcedInclusionTxs(ctx, event.DaHeight, data); err != nil {
 			s.logger.Error().Err(err).Uint64("height", nextHeight).Msg("forced inclusion verification failed")
 			if errors.Is(err, errMaliciousProposer) {
 				// remove header as da included from cache