From a9b55d6921367df7d7d2c3dcc0e4d67ed817a1ea Mon Sep 17 00:00:00 2001
From: Albin Coquereau <albin.coquereau@nomadic-labs.com>
Date: Fri, 11 Jul 2025 14:30:16 +0200
Subject: [PATCH] lib_shell/prevalidator: clear the mempool on prevalidator
 launch

---
 src/lib_shell/prevalidator.ml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/lib_shell/prevalidator.ml b/src/lib_shell/prevalidator.ml
index 21e13ac8698f..60b0dd850c83 100644
--- a/src/lib_shell/prevalidator.ml
+++ b/src/lib_shell/prevalidator.ml
@@ -1794,6 +1794,15 @@ module Make
         Prevalidation_t.create chain_store ~head ~timestamp
       in
       let fetching = mempool.known_valid in
+      let* () =
+        (* We clear the shared mempool datatype to ensure that at protocol
+           change, every signature operation is checked at block validation
+           time. *)
+        Store.Chain.set_mempool
+          chain_store
+          ~head:(Store.Block.hash head)
+          Mempool.empty
+      in
       let classification_parameters =
         Classification.
           {
-- 
GitLab