diff --git a/src/proto_alpha/bin_sc_rollup_node/refutation_game.ml b/src/proto_alpha/bin_sc_rollup_node/refutation_game.ml
index daca31fbfd1a32a281719949148314ecbc6e1433..164cca00f4d91d8c2d04ef9b88b0f732ce17614f 100644
--- a/src/proto_alpha/bin_sc_rollup_node/refutation_game.ml
+++ b/src/proto_alpha/bin_sc_rollup_node/refutation_game.ml
@@ -117,18 +117,21 @@ module Make (Interpreter : Interpreter.S) :
         let inbox = history_proof
       end
     end in
-    let* r =
+    let* proof =
       trace
         (Sc_rollup_node_errors.Cannot_produce_proof (inbox, history, game.level))
       @@ (Sc_rollup.Proof.produce (module P) game.level
          >|= Environment.wrap_tzresult)
     in
-    let+ check, _ =
-      Sc_rollup.Proof.valid history_proof game.level ~pvm_name:game.pvm_name r
+    let*! res =
+      Sc_rollup.Proof.valid
+        history_proof
+        game.level
+        ~pvm_name:game.pvm_name
+        proof
       >|= Environment.wrap_tzresult
     in
-    assert check ;
-    r
+    if Result.is_ok res then return proof else assert false
 
   let new_dissection node_ctxt last_level ok our_view =
     let state_hash_from_tick tick =
diff --git a/src/proto_alpha/lib_client/client_proto_rollups.ml b/src/proto_alpha/lib_client/client_proto_rollups.ml
index b6045519ef20911a31703a2b046ea5a8310e18da..3d931c35df9aca5b6a447865e6cab02f9abf7c23 100644
--- a/src/proto_alpha/lib_client/client_proto_rollups.ml
+++ b/src/proto_alpha/lib_client/client_proto_rollups.ml
@@ -134,8 +134,7 @@ module ScRollup = struct
        and type state = In_memory_context.tree
        and type proof =
         Tezos_context_memory.Context.Proof.tree
-        Tezos_context_memory.Context.Proof.t
-        Sc_rollup.ArithPVM.proof =
+        Tezos_context_memory.Context.Proof.t =
     Sc_rollup.ArithPVM.Make (In_memory_context)
 
   module Wasm_pvm :
@@ -144,8 +143,7 @@ module ScRollup = struct
        and type state = In_memory_context.tree
        and type proof =
         Tezos_context_memory.Context.Proof.tree
-        Tezos_context_memory.Context.Proof.t
-        Sc_rollup.Wasm_2_0_0PVM.proof =
+        Tezos_context_memory.Context.Proof.t =
     Sc_rollup.Wasm_2_0_0PVM.Make (In_memory_context)
 
   let origination_proof_exn ~boot_sector kind =
diff --git a/src/proto_alpha/lib_protocol/alpha_context.mli b/src/proto_alpha/lib_protocol/alpha_context.mli
index 457fac89365f07befdaf33d7ee301245f1f276fe..7e97861bf489140a7236c35637a3b1b0a4727165 100644
--- a/src/proto_alpha/lib_protocol/alpha_context.mli
+++ b/src/proto_alpha/lib_protocol/alpha_context.mli
@@ -3188,9 +3188,7 @@ module Sc_rollup : sig
 
       val proof_start_state : proof -> hash
 
-      val proof_stop_state : input option -> proof -> hash option
-
-      val proof_input_requested : proof -> input_request
+      val proof_stop_state : proof -> hash
 
       val state_hash : state -> hash Lwt.t
 
@@ -3204,7 +3202,7 @@ module Sc_rollup : sig
 
       val eval : state -> state Lwt.t
 
-      val verify_proof : input option -> proof -> bool Lwt.t
+      val verify_proof : input option -> proof -> input_request tzresult Lwt.t
 
       val produce_proof :
         context -> input option -> state -> proof tzresult Lwt.t
@@ -3281,14 +3279,12 @@ module Sc_rollup : sig
         (proof * 'a) option Lwt.t
     end
 
-    type 'a proof = {tree_proof : 'a; requested : input_request}
-
     module Make (C : P) : sig
       include
         PVM.S
           with type context = C.Tree.t
            and type state = C.tree
-           and type proof = C.proof proof
+           and type proof = C.proof
 
       val get_tick : state -> Tick.t Lwt.t
 
@@ -3305,7 +3301,7 @@ module Sc_rollup : sig
       PVM.S
         with type context = Context.t
          and type state = Context.tree
-         and type proof = Context.Proof.tree Context.Proof.t proof
+         and type proof = Context.Proof.tree Context.Proof.t
   end
 
   module Wasm_2_0_0PVM : sig
@@ -3333,14 +3329,12 @@ module Sc_rollup : sig
         (proof * 'a) option Lwt.t
     end
 
-    type 'a proof = {tree_proof : 'a; requested : input_request}
-
     module Make (C : P) : sig
       include
         PVM.S
           with type context = C.Tree.t
            and type state = C.tree
-           and type proof = C.proof proof
+           and type proof = C.proof
 
       val get_tick : state -> Tick.t Lwt.t
 
@@ -3358,7 +3352,7 @@ module Sc_rollup : sig
       PVM.S
         with type context = Context.t
          and type state = Context.tree
-         and type proof = Context.Proof.tree Context.Proof.t proof
+         and type proof = Context.Proof.tree Context.Proof.t
 
     val reference_initial_state_hash : State_hash.t
   end
@@ -3438,7 +3432,13 @@ module Sc_rollup : sig
   val wrapped_proof_module : wrapped_proof -> (module PVM_with_proof)
 
   module Proof : sig
-    type t = {pvm_step : wrapped_proof; inbox : Inbox.serialized_proof option}
+    type inbox_proof = {
+      level : Raw_level.t;
+      message_counter : Z.t;
+      proof : Inbox.serialized_proof;
+    }
+
+    type t = {pvm_step : wrapped_proof; inbox : inbox_proof option}
 
     module type PVM_with_context_and_state = sig
       include PVM.S
@@ -3465,7 +3465,7 @@ module Sc_rollup : sig
       Raw_level.t ->
       pvm_name:string ->
       t ->
-      (bool * input option) tzresult Lwt.t
+      (input option * input_request) tzresult Lwt.t
 
     val produce :
       (module PVM_with_context_and_state) -> Raw_level.t -> t tzresult Lwt.t
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_PVM_sig.ml b/src/proto_alpha/lib_protocol/sc_rollup_PVM_sig.ml
index 1b7d95b9815a14dfe7f7a32a76b16675fcdd1c9d..bfca6f3348a468431bdfef42f7ade0cb6386545e 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_PVM_sig.ml
+++ b/src/proto_alpha/lib_protocol/sc_rollup_PVM_sig.ml
@@ -272,16 +272,9 @@ module type S = sig
       execution step. *)
   val proof_start_state : proof -> hash
 
-  (** [proof_stop_state input_given proof] returns the final state hash of
-      the [proof] execution step.
-      Returns [None] if the [input_requested] do not match the [input_given].
-  *)
-  val proof_stop_state : input option -> proof -> hash option
-
-  (** [proof_input_requested proof] returns the [input_request] status of the
-      start state of the proof, as given by [is_input_state]. This must match
-      with the inbox proof to complete a valid refutation game proof. *)
-  val proof_input_requested : proof -> input_request
+  (** [proof_stop_state proof] returns the final state hash of the [proof]
+      execution step. *)
+  val proof_stop_state : proof -> hash
 
   (** [state_hash state] returns a compressed representation of [state]. *)
   val state_hash : state -> hash Lwt.t
@@ -313,9 +306,13 @@ module type S = sig
       execution of an atomic step of the rollup at state [s0]. *)
   val eval : state -> state Lwt.t
 
-  (** [verify_proof p] checks the proof [p]. See the doc-string for the [proof]
-      type. *)
-  val verify_proof : input option -> proof -> bool Lwt.t
+  (** [verify_proof input p] checks the proof [p] with input [input] and returns
+      the [input_request] before the evaluation of the proof. See the doc-string
+      for the [proof] type.
+
+      [verify_proof input p] fails when the proof is invalid in regards to the
+      given input. *)
+  val verify_proof : input option -> proof -> input_request tzresult Lwt.t
 
   (** [produce_proof ctxt input_given state] should return a [proof] for
       the PVM step starting from [state], if possible. This may fail for
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_arith.ml b/src/proto_alpha/lib_protocol/sc_rollup_arith.ml
index ad892e902ad32e14da7beda3b52632556e76cc7f..55dbf2452606c95785905cf4d094855fa1dac5c2 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_arith.ml
+++ b/src/proto_alpha/lib_protocol/sc_rollup_arith.ml
@@ -154,42 +154,24 @@ module type S = sig
   val get_is_stuck : state -> string option Lwt.t
 end
 
-type 'a proof = {tree_proof : 'a; requested : Sc_rollup_PVM_sig.input_request}
-
-let proof_encoding : 'a Data_encoding.t -> 'a proof Data_encoding.t =
- fun encoding ->
-  let open Data_encoding in
-  conv
-    (fun {tree_proof; requested} -> (tree_proof, requested))
-    (fun (tree_proof, requested) -> {tree_proof; requested})
-    (obj2
-       (req "tree_proof" encoding)
-       (req "requested" PS.input_request_encoding))
-
 module Make (Context : P) :
   S
     with type context = Context.Tree.t
      and type state = Context.tree
-     and type proof = Context.proof proof = struct
+     and type proof = Context.proof = struct
   module Tree = Context.Tree
 
   type context = Context.Tree.t
 
   type hash = State_hash.t
 
-  type nonrec proof = Context.proof proof
-
-  let proof_encoding = proof_encoding Context.proof_encoding
+  type proof = Context.proof
 
-  let proof_start_state p = Context.proof_before p.tree_proof
+  let proof_encoding = Context.proof_encoding
 
-  let proof_stop_state input_given p =
-    match (input_given, p.requested) with
-    | None, PS.No_input_required -> Some (Context.proof_after p.tree_proof)
-    | None, _ -> None
-    | _ -> Some (Context.proof_after p.tree_proof)
+  let proof_start_state proof = Context.proof_before proof
 
-  let proof_input_requested p = p.requested
+  let proof_stop_state proof = Context.proof_after proof
 
   let name = "arith"
 
@@ -1165,15 +1147,14 @@ module Make (Context : P) :
     in
     return (state, request)
 
+  type error += Arith_proof_verification_failed
+
   let verify_proof input_given proof =
-    let open Lwt_syntax in
-    let* result =
-      Context.verify_proof proof.tree_proof (step_transition input_given)
-    in
+    let open Lwt_tzresult_syntax in
+    let*! result = Context.verify_proof proof (step_transition input_given) in
     match result with
-    | None -> return false
-    | Some (_, request) ->
-        return (PS.input_request_equal request proof.requested)
+    | None -> fail Arith_proof_verification_failed
+    | Some (_state, request) -> return request
 
   let produce_proof context input_given state =
     let open Lwt_tzresult_syntax in
@@ -1181,16 +1162,16 @@ module Make (Context : P) :
       Context.produce_proof context state (step_transition input_given)
     in
     match result with
-    | Some (tree_proof, requested) -> return {tree_proof; requested}
+    | Some (tree_proof, _requested) -> return tree_proof
     | None -> fail Arith_proof_production_failed
 
   let verify_origination_proof proof boot_sector =
     let open Lwt_syntax in
-    let before = Context.proof_before proof.tree_proof in
+    let before = Context.proof_before proof in
     if State_hash.(before <> reference_initial_state_hash) then return false
     else
       let* result =
-        Context.verify_proof proof.tree_proof (fun state ->
+        Context.verify_proof proof (fun state ->
             let* state = install_boot_sector state boot_sector in
             return (state, ()))
       in
@@ -1206,8 +1187,7 @@ module Make (Context : P) :
           return (state, ()))
     in
     match result with
-    | Some (tree_proof, ()) ->
-        return {tree_proof; requested = No_input_required}
+    | Some (proof, ()) -> return proof
     | None -> fail Arith_proof_production_failed
 
   (* TEMPORARY: The following definitions will be extended in a future commit. *)
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_arith.mli b/src/proto_alpha/lib_protocol/sc_rollup_arith.mli
index 97856bed7d026efcab3e9c7a36f10269d12509c3..6fcba2a2ed3dcca503bc6f6ce5adec87d2d72d5c 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_arith.mli
+++ b/src/proto_alpha/lib_protocol/sc_rollup_arith.mli
@@ -129,13 +129,11 @@ module type S = sig
   val get_is_stuck : state -> string option Lwt.t
 end
 
-type 'a proof = {tree_proof : 'a; requested : Sc_rollup_PVM_sig.input_request}
-
 module Protocol_implementation :
   S
     with type context = Context.t
      and type state = Context.tree
-     and type proof = Context.Proof.tree Context.Proof.t proof
+     and type proof = Context.Proof.tree Context.Proof.t
 
 (** This is the state hash of reference that both the prover of the
     node and the verifier of the protocol {!Protocol_implementation}
@@ -169,4 +167,4 @@ module Make (Context : P) :
   S
     with type context = Context.Tree.t
      and type state = Context.tree
-     and type proof = Context.proof proof
+     and type proof = Context.proof
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml b/src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml
index c768c32f9c209c4266c1ce8a6d1463473f7e9a94..537a344c74684726fb2af09e98dd35876c3086d5 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml
+++ b/src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml
@@ -808,12 +808,23 @@ let check_dissection ~default_number_of_sections ~start_chunk ~stop_chunk
     makes the expected claims about start and stop states. The function
     {!play} below has to call {!Sc_rollup_proof_repr.valid} separately
     to ensure the proof is actually valid. *)
-let check_proof_start_stop ~start_chunk ~stop_chunk input_given proof =
+let check_proof_start_stop ~start_chunk ~stop_chunk input_given input_request
+    proof =
   let open Lwt_result_syntax in
   let dist = Sc_rollup_tick_repr.distance start_chunk.tick stop_chunk.tick in
   let* () = check Z.(equal dist one) (Proof_unexpected_section_size dist) in
   let start_proof = Sc_rollup_proof_repr.start proof in
-  let stop_proof = Sc_rollup_proof_repr.stop input_given proof in
+  let stop_proof =
+    match (input_given, input_request) with
+    | None, Sc_rollup_PVM_sig.No_input_required
+    | Some _, Sc_rollup_PVM_sig.Initial
+    | Some _, Sc_rollup_PVM_sig.First_after _ ->
+        Some (Sc_rollup_proof_repr.stop proof)
+    | Some _, Sc_rollup_PVM_sig.No_input_required
+    | None, Sc_rollup_PVM_sig.Initial
+    | None, Sc_rollup_PVM_sig.First_after _ ->
+        None
+  in
   let* () =
     check
       (Option.equal State_hash.equal start_chunk.state_hash (Some start_proof))
@@ -855,9 +866,13 @@ let play game refutation =
         in
         let* () =
           match valid with
-          | Ok (true, input) ->
-              check_proof_start_stop ~start_chunk ~stop_chunk input proof
-          | Ok (false, _) -> invalid_move (Proof_invalid "no detail given")
+          | Ok (input, input_request) ->
+              check_proof_start_stop
+                ~start_chunk
+                ~stop_chunk
+                input
+                input_request
+                proof
           | Error e ->
               invalid_move (Proof_invalid (Format.asprintf "%a" pp_trace e))
         in
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_operations.ml b/src/proto_alpha/lib_protocol/sc_rollup_operations.ml
index 7929694841420fb3fdf3c2035096d7367e3c9277..0147504b3b9582e1f645819792b855aafa44de0e 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_operations.ml
+++ b/src/proto_alpha/lib_protocol/sc_rollup_operations.ml
@@ -239,12 +239,7 @@ let check_origination_proof kind boot_sector origination_proof =
       (not is_valid)
       (Sc_rollup_proof_repr.Sc_rollup_proof_check "invalid origination proof")
   in
-  match PVM.(proof_stop_state None proof) with
-  | Some genesis_hash -> return genesis_hash
-  | None ->
-      fail
-        (Sc_rollup_proof_repr.Sc_rollup_proof_check
-           "invalid origination proof: cannot compute genesis hash")
+  return PVM.(proof_stop_state proof)
 
 let originate ctxt ~kind ~boot_sector ~origination_proof ~parameters_ty =
   let open Lwt_tzresult_syntax in
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml b/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml
index 2c97055282367ec55d386e08be7f34f7611f6070..8b42b406382a544cb6e5cda56b1497baca64c8e9 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml
+++ b/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml
@@ -49,11 +49,24 @@ let () =
     (function Sc_rollup_invalid_serialized_inbox_proof -> Some () | _ -> None)
     (fun () -> Sc_rollup_invalid_serialized_inbox_proof)
 
-type t = {
-  pvm_step : Sc_rollups.wrapped_proof;
-  inbox : Sc_rollup_inbox_repr.serialized_proof option;
+type inbox_proof = {
+  level : Raw_level_repr.t;
+  message_counter : Z.t;
+  proof : Sc_rollup_inbox_repr.serialized_proof;
 }
 
+let inbox_proof_encoding =
+  let open Data_encoding in
+  conv
+    (fun {level; message_counter; proof} -> (level, message_counter, proof))
+    (fun (level, message_counter, proof) -> {level; message_counter; proof})
+    (obj3
+       (req "level" Raw_level_repr.encoding)
+       (req "message_counter" Data_encoding.n)
+       (req "proof" Sc_rollup_inbox_repr.serialized_proof_encoding))
+
+type t = {pvm_step : Sc_rollups.wrapped_proof; inbox : inbox_proof option}
+
 let encoding =
   let open Data_encoding in
   conv
@@ -61,7 +74,7 @@ let encoding =
     (fun (pvm_step, inbox) -> {pvm_step; inbox})
     (obj2
        (req "pvm_step" Sc_rollups.wrapped_proof_encoding)
-       (opt "inbox" Sc_rollup_inbox_repr.serialized_proof_encoding))
+       (opt "inbox" inbox_proof_encoding))
 
 let pp ppf _ = Format.fprintf ppf "Refutation game proof"
 
@@ -69,9 +82,9 @@ let start proof =
   let (module P) = Sc_rollups.wrapped_proof_module proof.pvm_step in
   P.proof_start_state P.proof
 
-let stop input proof =
+let stop proof =
   let (module P) = Sc_rollups.wrapped_proof_module proof.pvm_step in
-  P.proof_stop_state input P.proof
+  P.proof_stop_state P.proof
 
 (* This takes an [input] and checks if it is at or above the given level.
    It returns [None] if this is the case.
@@ -98,37 +111,36 @@ let check_inbox_proof snapshot serialized_inbox_proof (level, counter) =
   | Some inbox_proof ->
       Sc_rollup_inbox_repr.verify_proof (level, counter) snapshot inbox_proof
 
-let pp_proof fmt serialized_inbox_proof =
-  match Sc_rollup_inbox_repr.of_serialized_proof serialized_inbox_proof with
-  | None -> Format.pp_print_string fmt "<invalid-proof-serialization>"
-  | Some proof -> Sc_rollup_inbox_repr.pp_proof fmt proof
-
 let valid snapshot commit_level ~pvm_name proof =
   let open Lwt_tzresult_syntax in
   let (module P) = Sc_rollups.wrapped_proof_module proof.pvm_step in
   let* () = check (String.equal P.name pvm_name) "Incorrect PVM kind" in
-  let (input_requested : Sc_rollup_PVM_sig.input_request) =
-    P.proof_input_requested P.proof
-  in
   let* input =
-    match (input_requested, proof.inbox) with
-    | No_input_required, None -> return None
-    | Initial, Some inbox_proof ->
-        check_inbox_proof snapshot inbox_proof (Raw_level_repr.root, Z.zero)
-    | First_after (level, counter), Some inbox_proof ->
-        check_inbox_proof snapshot inbox_proof (level, Z.succ counter)
-    | No_input_required, Some _ | Initial, None | First_after _, None ->
-        proof_error
-          (Format.asprintf
-             "input_requested is %a, inbox proof is %a"
-             Sc_rollup_PVM_sig.pp_input_request
-             input_requested
-             (Format.pp_print_option pp_proof)
-             proof.inbox)
+    match proof.inbox with
+    | None -> return None
+    | Some {level; message_counter; proof} ->
+        let+ input =
+          check_inbox_proof snapshot proof (level, Z.succ message_counter)
+        in
+        Option.bind input (cut_at_level commit_level)
   in
-  let input = Option.bind input (cut_at_level commit_level) in
-  let*! valid = P.verify_proof input P.proof in
-  return (valid, input)
+  let* input_requested = P.verify_proof input P.proof in
+  let* () =
+    match (proof.inbox, input_requested) with
+    | None, No_input_required -> return_unit
+    | Some {level; message_counter; proof = _}, Initial ->
+        check
+          (Raw_level_repr.(level = root) && Z.(equal message_counter zero))
+          "Inbox proof is not about the initial input request."
+    | Some {level; message_counter; proof = _}, First_after (l, n) ->
+        check
+          (Raw_level_repr.(level = l) && Z.(equal message_counter n))
+          "Level and index of inbox proof are not equal to the one expected in \
+           input request."
+    | Some _, No_input_required | None, Initial | None, First_after _ ->
+        proof_error "Inbox proof and input request are dissociated."
+  in
+  return (input, input_requested)
 
 module type PVM_with_context_and_state = sig
   include Sc_rollups.PVM.S
@@ -157,29 +169,33 @@ let produce pvm_and_state commit_level =
   let*! (request : Sc_rollup_PVM_sig.input_request) =
     P.is_input_state P.state
   in
-  let* proof, input =
+  let* inbox_proof, input_given =
     match request with
     | No_input_required -> return (None, None)
     | Initial ->
-        let* proof, input =
+        let level = Raw_level_repr.root in
+        let message_counter = Z.zero in
+        let* inbox_proof, input =
           Inbox_with_history.(
-            produce_proof context history inbox (Raw_level_repr.root, Z.zero))
+            produce_proof context history inbox (level, message_counter))
         in
-        return (Some proof, input)
-    | First_after (l, n) ->
-        let* proof, input =
-          Inbox_with_history.(produce_proof context history inbox (l, Z.succ n))
+        let proof = Inbox_with_history.to_serialized_proof inbox_proof in
+        return (Some {level; message_counter; proof}, input)
+    | First_after (level, message_counter) ->
+        let* inbox_proof, input =
+          Inbox_with_history.(
+            produce_proof context history inbox (level, Z.succ message_counter))
         in
-        return (Some proof, input)
+        let proof = Inbox_with_history.to_serialized_proof inbox_proof in
+        return (Some {level; message_counter; proof}, input)
   in
-  let input_given = Option.bind input (cut_at_level commit_level) in
+  let input_given = Option.bind input_given (cut_at_level commit_level) in
   let* pvm_step_proof = P.produce_proof P.context input_given P.state in
   let module P_with_proof = struct
     include P
 
     let proof = pvm_step_proof
   end in
-  let inbox = Option.map Inbox_with_history.to_serialized_proof proof in
   match Sc_rollups.wrap_proof (module P_with_proof) with
-  | Some pvm_step -> return {pvm_step; inbox}
+  | Some pvm_step -> return {pvm_step; inbox = inbox_proof}
   | None -> proof_error "Could not wrap proof"
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.mli b/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.mli
index 6f67c50f7242ff29b6dec0bde59ef0e9157431c6..145b647f82b6a5b314c0a1f7f555263741171e05 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.mli
+++ b/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.mli
@@ -45,6 +45,12 @@
 
 open Sc_rollup_repr
 
+type inbox_proof = {
+  level : Raw_level_repr.t;
+  message_counter : Z.t;
+  proof : Sc_rollup_inbox_repr.serialized_proof;
+}
+
 (** A PVM proof [pvm_step] is combined with an [inbox] proof to provide
     the proof necessary to validate a single step in the refutation
     game.
@@ -57,10 +63,7 @@ open Sc_rollup_repr
     In the case that input is involved, [inbox] is a proof of the next
     message available from the inbox after a given location; this must
     match up with [pvm_step] to give a valid refutation proof. *)
-type t = {
-  pvm_step : Sc_rollups.wrapped_proof;
-  inbox : Sc_rollup_inbox_repr.serialized_proof option;
-}
+type t = {pvm_step : Sc_rollups.wrapped_proof; inbox : inbox_proof option}
 
 type error += Sc_rollup_proof_check of string
 
@@ -78,7 +81,7 @@ val start : t -> State_hash.t
 (** The state hash of the machine after the step. This must be checked
     against the value in the refutation game as well as checking the
     proof is valid. *)
-val stop : Sc_rollup_PVM_sig.input option -> t -> State_hash.t option
+val stop : t -> State_hash.t
 
 (** Check the validity of a proof.
 
@@ -94,14 +97,16 @@ val stop : Sc_rollup_PVM_sig.input option -> t -> State_hash.t option
       - the [pvm_name], used to check that the proof given has the right
       PVM kind.
 
-    It also returns the optional input executed during the proof.
+    It also returns the optional input executed during the proof and the
+    input_request for the state at the beginning of the proof.
 *)
 val valid :
   Sc_rollup_inbox_repr.history_proof ->
   Raw_level_repr.t ->
   pvm_name:string ->
   t ->
-  (bool * Sc_rollup_PVM_sig.input option) tzresult Lwt.t
+  (Sc_rollup_PVM_sig.input option * Sc_rollup_PVM_sig.input_request) tzresult
+  Lwt.t
 
 module type PVM_with_context_and_state = sig
   include Sc_rollups.PVM.S
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_wasm.ml b/src/proto_alpha/lib_protocol/sc_rollup_wasm.ml
index 2111ad1468526495d338c8508b270f458a211881..af3f60c0b5b2e0f62c0de6838207edd4b26efa2b 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_wasm.ml
+++ b/src/proto_alpha/lib_protocol/sc_rollup_wasm.ml
@@ -97,45 +97,24 @@ module V2_0_0 = struct
     val get_outbox : state -> Sc_rollup_PVM_sig.output list Lwt.t
   end
 
-  (* TODO: https://gitlab.com/tezos/tezos/-/issues/3091
-
-     The tree proof contains enough information to derive given and requested.
-     Get rid of the duplication by writing the projection functions and
-     removing the [given] and [requested] fields.
-  *)
-  type 'a proof = {tree_proof : 'a; requested : PS.input_request}
-
-  let proof_encoding e =
-    let open Data_encoding in
-    conv
-      (fun {tree_proof; requested} -> (tree_proof, requested))
-      (fun (tree_proof, requested) -> {tree_proof; requested})
-      (obj2 (req "tree_proof" e) (req "requested" PS.input_request_encoding))
-
   module Make (Context : P) :
     S
       with type context = Context.Tree.t
        and type state = Context.tree
-       and type proof = Context.proof proof = struct
+       and type proof = Context.proof = struct
     module Tree = Context.Tree
 
     type context = Context.Tree.t
 
     type hash = State_hash.t
 
-    type nonrec proof = Context.proof proof
-
-    let proof_input_requested p = p.requested
+    type proof = Context.proof
 
-    let proof_encoding = proof_encoding Context.proof_encoding
+    let proof_encoding = Context.proof_encoding
 
-    let proof_start_state p = Context.proof_before p.tree_proof
+    let proof_start_state proof = Context.proof_before proof
 
-    let proof_stop_state input_given p =
-      match (input_given, p.requested) with
-      | None, PS.No_input_required -> Some (Context.proof_after p.tree_proof)
-      | None, _ -> None
-      | _ -> Some (Context.proof_after p.tree_proof)
+    let proof_stop_state proof = Context.proof_after proof
 
     let name = "wasm_2_0_0"
 
@@ -316,15 +295,14 @@ module V2_0_0 = struct
       in
       return (state, request)
 
+    type error += WASM_proof_verification_failed
+
     let verify_proof input_given proof =
-      let open Lwt_syntax in
-      let* result =
-        Context.verify_proof proof.tree_proof (step_transition input_given)
-      in
+      let open Lwt_tzresult_syntax in
+      let*! result = Context.verify_proof proof (step_transition input_given) in
       match result with
-      | None -> return false
-      | Some (_, request) ->
-          return (PS.input_request_equal request proof.requested)
+      | None -> fail WASM_proof_verification_failed
+      | Some (_state, request) -> return request
 
     type error += WASM_proof_production_failed
 
@@ -334,16 +312,16 @@ module V2_0_0 = struct
         Context.produce_proof context state (step_transition input_given)
       in
       match result with
-      | Some (tree_proof, requested) -> return {tree_proof; requested}
+      | Some (tree_proof, _requested) -> return tree_proof
       | None -> fail WASM_proof_production_failed
 
     let verify_origination_proof proof boot_sector =
       let open Lwt_syntax in
-      let before = Context.proof_before proof.tree_proof in
+      let before = Context.proof_before proof in
       if State_hash.(before <> reference_initial_state_hash) then return false
       else
         let* result =
-          Context.verify_proof proof.tree_proof (fun state ->
+          Context.verify_proof proof (fun state ->
               let* state = install_boot_sector state boot_sector in
               return (state, ()))
         in
@@ -359,8 +337,7 @@ module V2_0_0 = struct
             return (state, ()))
       in
       match result with
-      | Some (tree_proof, ()) ->
-          return {tree_proof; requested = No_input_required}
+      | Some (tree_proof, ()) -> return tree_proof
       | None -> fail WASM_proof_production_failed
 
     type output_proof = {
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_wasm.mli b/src/proto_alpha/lib_protocol/sc_rollup_wasm.mli
index 16c817018dc225eae0f3c18d8f49de99830028f9..280ba1597f64c88407841029537d00f4483ec345 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_wasm.mli
+++ b/src/proto_alpha/lib_protocol/sc_rollup_wasm.mli
@@ -83,23 +83,19 @@ module V2_0_0 : sig
       Tree.t -> tree -> (tree -> (tree * 'a) Lwt.t) -> (proof * 'a) option Lwt.t
   end
 
-  type 'a proof = {tree_proof : 'a; requested : Sc_rollup_PVM_sig.input_request}
-
-  val proof_encoding : 'a Data_encoding.t -> 'a proof Data_encoding.t
-
   (** Build a WebAssembly PVM using the given proof-supporting context. *)
   module Make (Context : P) :
     S
       with type context = Context.Tree.t
        and type state = Context.tree
-       and type proof = Context.proof proof
+       and type proof = Context.proof
 
   (** This PVM is used for verification in the Protocol. [produce_proof] always returns [None]. *)
   module Protocol_implementation :
     S
       with type context = Context.t
        and type state = Context.tree
-       and type proof = Context.Proof.tree Context.Proof.t proof
+       and type proof = Context.Proof.tree Context.Proof.t
 
   (** This is the state hash of reference that both the prover of the
       node and the verifier of the protocol {!Protocol_implementation}
diff --git a/src/proto_alpha/lib_protocol/test/helpers/sc_rollup_helpers.ml b/src/proto_alpha/lib_protocol/test/helpers/sc_rollup_helpers.ml
index 65a45ce83382160900fd588b637213a77be3cdee..447b3867ce3c2a40512e072d1015e3a34743c0ec 100644
--- a/src/proto_alpha/lib_protocol/test/helpers/sc_rollup_helpers.ml
+++ b/src/proto_alpha/lib_protocol/test/helpers/sc_rollup_helpers.ml
@@ -88,8 +88,7 @@ module Arith_pvm :
      and type state = In_memory_context.tree
      and type proof =
       Tezos_context_memory.Context.Proof.tree
-      Tezos_context_memory.Context.Proof.t
-      Sc_rollup.ArithPVM.proof =
+      Tezos_context_memory.Context.Proof.t =
   Sc_rollup.ArithPVM.Make (In_memory_context)
 
 module Wasm_pvm :
@@ -98,8 +97,7 @@ module Wasm_pvm :
      and type state = In_memory_context.tree
      and type proof =
       Tezos_context_memory.Context.Proof.tree
-      Tezos_context_memory.Context.Proof.t
-      Sc_rollup.Wasm_2_0_0PVM.proof =
+      Tezos_context_memory.Context.Proof.t =
   Sc_rollup.Wasm_2_0_0PVM.Make (In_memory_context)
 
 let origination_proof ~boot_sector = function
@@ -147,10 +145,7 @@ let genesis_commitment ~boot_sector ~origination_level = function
       let context = Tezos_context_memory.make_empty_context () in
       let* proof = Arith_pvm.produce_origination_proof context boot_sector in
       let proof = WithExceptions.Result.get_ok ~loc:__LOC__ proof in
-      let genesis_state_hash =
-        WithExceptions.Option.get ~loc:__LOC__
-        @@ Arith_pvm.proof_stop_state None proof
-      in
+      let genesis_state_hash = Arith_pvm.proof_stop_state proof in
       return
         Sc_rollup.Commitment.(
           genesis_commitment ~origination_level ~genesis_state_hash)
@@ -159,10 +154,7 @@ let genesis_commitment ~boot_sector ~origination_level = function
       let context = Tezos_context_memory.make_empty_context () in
       let* proof = Wasm_pvm.produce_origination_proof context boot_sector in
       let proof = WithExceptions.Result.get_ok ~loc:__LOC__ proof in
-      let genesis_state_hash =
-        WithExceptions.Option.get ~loc:__LOC__
-        @@ Wasm_pvm.proof_stop_state None proof
-      in
+      let genesis_state_hash = Wasm_pvm.proof_stop_state proof in
       return
         Sc_rollup.Commitment.(
           genesis_commitment ~origination_level ~genesis_state_hash)
diff --git a/src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_game.ml b/src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_game.ml
index 00f50d5171a2b96ca4a65aa4541088138ace4289..da5f63bdb0a0d6b7d1a4e81a3a6b672feefa2c2a 100644
--- a/src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_game.ml
+++ b/src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_game.ml
@@ -145,9 +145,9 @@ let two_stakers_in_conflict () =
   return (ctxt, rollup, refuter, defender)
 
 (** A dissection is 'poorly distributed' if its tick counts are not
-    very evenly spread through the total tick-duration. Formally, the
-    maximum tick-distance between two consecutive states in a dissection
-    may not be more than half of the total tick-duration. *)
+very evenly spread through the total tick-duration. Formally, the
+maximum tick-distance between two consecutive states in a dissection
+may not be more than half of the total tick-duration. *)
 let test_poorly_distributed_dissection () =
   let* ctxt, rollup, refuter, defender = two_stakers_in_conflict () in
   let start_hash = hash_string "foo" in
@@ -309,7 +309,7 @@ let test_staker_injectivity () =
 module Arith_pvm = Sc_rollup_helpers.Arith_pvm
 
 (** Test that sending a invalid serialized inbox proof to
-    {Sc_rollup_proof_repr.valid} is rejected. *)
+{Sc_rollup_proof_repr.valid} is rejected. *)
 let test_invalid_serialized_inbox_proof () =
   let open Lwt_result_syntax in
   let open Alpha_context in
@@ -336,7 +336,11 @@ let test_invalid_serialized_inbox_proof () =
   in
 
   (* We create an obviously invalid inbox *)
-  let inbox = Bytes.of_string "I am the big bad wolf" |> Obj.magic in
+  let inbox_proof = Bytes.of_string "I am the big bad wolf" |> Obj.magic in
+  let inbox =
+    Sc_rollup.Proof.
+      {level = Raw_level.root; message_counter = Z.zero; proof = inbox_proof}
+  in
   let proof = Sc_rollup.Proof.{pvm_step = wrapped_proof; inbox = Some inbox} in
 
   let*! res =
diff --git a/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (feature_flag_is_disabled).out b/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (feature_flag_is_disabled).out
index abb0183eaf083c92df4999378b36cc0c7b0ade67..353d6ac5b06e3767be999eca47a530d353ac4352 100644
--- a/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (feature_flag_is_disabled).out	
+++ b/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (feature_flag_is_disabled).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: unit
diff --git a/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (rollup_node_dal_headers_s.out b/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (rollup_node_dal_headers_s.out
index 4399e33dc3a8c50f407dbd2670c81d162f5ca4e6..d5954b13e5e9de4849e4690ceb35e1d8fa9fb8ec 100644
--- a/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (rollup_node_dal_headers_s.out	
+++ b/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (rollup_node_dal_headers_s.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: unit
diff --git a/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (rollup_node_dal_subscript.out b/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (rollup_node_dal_subscript.out
index 53cc194c5804ed21d96e1da2bb03b3be984fb10f..e20625e611617eaddc99fb7f6a35154747d450ec 100644
--- a/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (rollup_node_dal_subscript.out	
+++ b/tezt/tests/expected/dal.ml/Alpha- Testing data availability layer functionality  (rollup_node_dal_subscript.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: unit
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - a late rollup should catch up (late).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - a late rollup should catch up (late).out
index f2fcaf8d46b0f6268a1411b7d205629ed59dbdbd..dbc6ea78c67c627bf7e678ed347adb9795122b98 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - a late rollup should catch up (late).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - a late rollup should catch up (late).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - consecutive commitments.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - consecutive commitments.out
index 1aed1f3a06e17908175fb912998f5b3fbf2269e1..8325e412c30c9357c7c4577f29a4ce8f55ab8af5 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - consecutive commitments.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - consecutive commitments.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - get genesis info of a sc rollup.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - get genesis info of a sc rollup.out
index f2fcaf8d46b0f6268a1411b7d205629ed59dbdbd..dbc6ea78c67c627bf7e678ed347adb9795122b98 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - get genesis info of a sc rollup.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - get genesis info of a sc rollup.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - get last cemented commitment hash and inbox level of a sc rollup.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - get last cemented commitment hash and inbox level of a sc rollup.out
index f2fcaf8d46b0f6268a1411b7d205629ed59dbdbd..dbc6ea78c67c627bf7e678ed347adb9795122b98 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - get last cemented commitment hash and inbox level of a sc rollup.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - get last cemented commitment hash and inbox level of a sc rollup.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (basic).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (basic).out
index 4972114ff52fd1f342ebb74961831fd5781214c1..810ad42e77a64a4cc6253b21572f7dc5518de9f3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (basic).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (basic).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (disconnects).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (disconnects).out
index 5825b1d4c2d1f68c9ace8bb95c1593110d631564..a3618a906b0f24bcf6d93233798eef57da964e25 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (disconnects).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (disconnects).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (handles_chain_reorg).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (handles_chain_reorg).out
index 22a95bcaa190a51fa6477c64591a0a8328a14080..f19100d524248b3980f6c6c7ee70bbbcbcf9ee1b 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (handles_chain_reorg).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - maintenance of inbox in the rollup node (handles_chain_reorg).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node advances PVM state with internal messages.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node advances PVM state with internal messages.out
index a330dbe78cd213484e967fe55bf8e87038495093..be3ceaf0184c21db9a3ccf1e758260e26cac07f9 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node advances PVM state with internal messages.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node advances PVM state with internal messages.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node advances PVM state with messages.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node advances PVM state with messages.out
index 168256b12f3c5ae2a8d99cf8d2df300f76f189fa..99ae3632d7fbe4bca2d514ca29e089c79eb0be7b 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node advances PVM state with messages.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node advances PVM state with messages.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node boots into the initial state.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node boots into the initial state.out
index b69f7e20d2bbcd8ddd91df3f2b80f63f5a10c1b4..5348063dc12529a4e64316f29ee4f60a19466bdf 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node boots into the initial state.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - node boots into the initial state.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - origination of a SCORU executes without error.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - origination of a SCORU executes without error.out
index f2fcaf8d46b0f6268a1411b7d205629ed59dbdbd..dbc6ea78c67c627bf7e678ed347adb9795122b98 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - origination of a SCORU executes without error.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - origination of a SCORU executes without error.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - pushing messages in the inbox - check inbox size.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - pushing messages in the inbox - check inbox size.out
index 09165aa1518fe9f14566447ebe3c611b03a1c8de..c50b5fc79a9d0e4cb11e57f59e318a4f451034aa 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - pushing messages in the inbox - check inbox size.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - pushing messages in the inbox - check inbox size.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - pushing messages in the inbox - current messages hash.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - pushing messages in the inbox - current messages hash.out
index 6cb5608e4fad50dc18e8525f69466c4699463f7e..609a9f9db9d2761c106e363d0f4ac944fb11800f 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - pushing messages in the inbox - current messages hash.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - pushing messages in the inbox - current messages hash.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof).out
index 383d211cc462e932b4c0f8a43cdca571443b382f..edcfe0d3d9083f8d276b868d21cff70e8c4aeadd 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_at_genesis).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_at_genesis).out
index 383d211cc462e932b4c0f8a43cdca571443b382f..edcfe0d3d9083f8d276b868d21cff70e8c4aeadd 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_at_genesis).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_at_genesis).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_many_empty_level.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_many_empty_level.out
index 323ca5123b9bed47f62f06d6912a1524ca018fe8..6f18b2be08cf02ce5b60dabea9bdd1ae6d89d1b2 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_many_empty_level.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_many_empty_level.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_one_empty_level).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_one_empty_level).out
index 511e9d928eb1a821c1c21c0f4609653753ba9340..d623b73a84a8cb3c0214d87bc902c21ec0f10bd9 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_one_empty_level).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (inbox_proof_one_empty_level).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_0).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_0).out
index 383d211cc462e932b4c0f8a43cdca571443b382f..edcfe0d3d9083f8d276b868d21cff70e8c4aeadd 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_0).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_0).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_1).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_1).out
index 383d211cc462e932b4c0f8a43cdca571443b382f..edcfe0d3d9083f8d276b868d21cff70e8c4aeadd 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_1).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_1).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_2).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_2).out
index 0685460486691fd0a3246235ff533043856576f7..a94af85c43b70536673c267ec68dbc2d5d0cd8d7 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_2).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_2).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_3).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_3).out
index 526daceeddbcaaae5887a621a3608bffaec4bc09..c3ccf2ada3e00d3be0e2cc63f1367f3592102b6b 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_3).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_3).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_at_genesis).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_at_genesis).out
index 383d211cc462e932b4c0f8a43cdca571443b382f..edcfe0d3d9083f8d276b868d21cff70e8c4aeadd 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_at_genesis).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (pvm_proof_at_genesis).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (timeout).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (timeout).out
index 383d211cc462e932b4c0f8a43cdca571443b382f..edcfe0d3d9083f8d276b868d21cff70e8c4aeadd 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (timeout).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - refutation games winning strategies (timeout).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (batcher_does_not_p.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (batcher_does_not_p.out
index 8399310fa01344126ccff5cff7445b555717fab7..7abf06396f1ccda3ff90e2241493bbdd0fbd3c42 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (batcher_does_not_p.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (batcher_does_not_p.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (commitment_is_stor.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (commitment_is_stor.out
index 2b75de97a9bdb91f2885a0de440cd19215022bf6..1ba5c59c5916f9f79e2e07e7f078c8185d054868 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (commitment_is_stor.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (commitment_is_stor.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (first_published_at.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (first_published_at.out
index 879bf5bb02790ee9189d599caa13ab44b5f1bf3c..7e0e1452340dcf871eaacbf52c7fb673f63b7c83 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (first_published_at.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (first_published_at.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (handles_chain_reor.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (handles_chain_reor.out
index 45431fba4e48104166ca3c63af35607ce012b1af..723dc2cff1a7b2736792a25247d50dc79de98911 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (handles_chain_reor.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (handles_chain_reor.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (maintenance_publis.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (maintenance_publis.out
index 46aed3af8888f428f7c047e0ff79285454e7619e..589180b6c58580e9936f22e2dd7e4dbac3654860 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (maintenance_publis.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (maintenance_publis.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (messages_reset).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (messages_reset).out
index b70d4f3f5cf05246dd9fc3f2599ae9c3064301b0..79c8a376795d0b389b3788df2327decf58ff21c5 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (messages_reset).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (messages_reset).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (no_commitment_publ.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (no_commitment_publ.out
index cc7d9886272980dd4dd9bc9472d3443815b391e4..d9b957180c4d02eefdfcfed7b8d70fa371a3114f 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (no_commitment_publ.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (no_commitment_publ.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (node_use_proto_par.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (node_use_proto_par.out
index 52dacd0135f1c1ae63ce80230e7d11b52d3e9d0c..051ddd02502b0aa8aae05765c6780c3e87ffcbc6 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (node_use_proto_par.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (node_use_proto_par.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (non_final_level).out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (non_final_level).out
index 7683f95355c608a88fc48f5161238c41111fabd3..c17f38e0d600dde70d8c32eb0d3e4e00206c513d 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (non_final_level).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (non_final_level).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (observer_does_not_.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (observer_does_not_.out
index 8399310fa01344126ccff5cff7445b555717fab7..7abf06396f1ccda3ff90e2241493bbdd0fbd3c42 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (observer_does_not_.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (observer_does_not_.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (operator_publishes.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (operator_publishes.out
index 46aed3af8888f428f7c047e0ff79285454e7619e..589180b6c58580e9936f22e2dd7e4dbac3654860 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (operator_publishes.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (operator_publishes.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (robust_to_failures.out b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (robust_to_failures.out
index 4693419900c73b8ea5e1e17d4781511d5c6a3b7e..46641ba6553cfe647763c0614899335215392525 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (robust_to_failures.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- arith - rollup node - correct handling of commitments (robust_to_failures.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- commitments- publish- and try to cement not on top of LCC or disputed.out b/tezt/tests/expected/sc_rollup.ml/Alpha- commitments- publish- and try to cement not on top of LCC or disputed.out
index c86b83e00ccbb89e59a94ffaf933f72cbeb26555..6ee1176d36b3b88359a2365a15ab57a7b380783c 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- commitments- publish- and try to cement not on top of LCC or disputed.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- commitments- publish- and try to cement not on top of LCC or disputed.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: unit
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- configuration of a smart contract optimistic rollup node.out b/tezt/tests/expected/sc_rollup.ml/Alpha- configuration of a smart contract optimistic rollup node.out
index b3b89b56276631a7057eb2685b5d715a6197ae17..678c98281d03f35c8711c9b1bb4a1fceea879ed5 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- configuration of a smart contract optimistic rollup node.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- configuration of a smart contract optimistic rollup node.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- ensure arith boot sector is used.out b/tezt/tests/expected/sc_rollup.ml/Alpha- ensure arith boot sector is used.out
index e0e17d2aa49ab0ea927696921c4b08e8b9a6e1dd..01e0666311b25db2b9593d8bf470ec4d87faa8d6 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- ensure arith boot sector is used.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- ensure arith boot sector is used.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000683
+    Fee to the baker: ꜩ0.000682
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6687 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000683
-      payload fees(the block proposer) ....... +ꜩ0.000683
+      [PUBLIC_KEY_HASH] ... -ꜩ0.000682
+      payload fees(the block proposer) ....... +ꜩ0.000682
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
@@ -92,13 +92,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000673
+    Fee to the baker: ꜩ0.000672
     Expected counter: 2
     Gas limit: 3211
     Storage limit: 6677 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000673
-      payload fees(the block proposer) ....... +ꜩ0.000673
+      [PUBLIC_KEY_HASH] ... -ꜩ0.000672
+      payload fees(the block proposer) ....... +ꜩ0.000672
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- getting a smart-contract rollup address through the client.out b/tezt/tests/expected/sc_rollup.ml/Alpha- getting a smart-contract rollup address through the client.out
index b3b89b56276631a7057eb2685b5d715a6197ae17..678c98281d03f35c8711c9b1bb4a1fceea879ed5 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- getting a smart-contract rollup address through the client.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- getting a smart-contract rollup address through the client.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- list originated rollups.out b/tezt/tests/expected/sc_rollup.ml/Alpha- list originated rollups.out
index ecd5e7b1797f2c9b115cad117a662f283e76fdd8..a162d824b8f5c6c5afff274a72628f09de879440 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- list originated rollups.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- list originated rollups.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -46,13 +46,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 2
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -80,13 +80,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 3
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -114,13 +114,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 4
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -148,13 +148,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 5
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -182,13 +182,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 6
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -216,13 +216,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 7
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -250,13 +250,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 8
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -284,13 +284,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 9
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
@@ -318,13 +318,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 10
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- originate arith with boot sector.out b/tezt/tests/expected/sc_rollup.ml/Alpha- originate arith with boot sector.out
index ea717bd232119ee4c43aca146190a65b8b000da2..df0e40a924512a821cbe8df94aab4321b7cbc907 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- originate arith with boot sector.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- originate arith with boot sector.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000683
+    Fee to the baker: ꜩ0.000682
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6687 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000683
-      payload fees(the block proposer) ....... +ꜩ0.000683
+      [PUBLIC_KEY_HASH] ... -ꜩ0.000682
+      payload fees(the block proposer) ....... +ꜩ0.000682
     Smart contract rollup origination:
       Kind: arith
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- refutation game timeout.out b/tezt/tests/expected/sc_rollup.ml/Alpha- refutation game timeout.out
index 4d46c78c1112cd98786244d48a8cf3ffa4741a1f..c0581d49e418137de6ef2a3fdc0754196bd7879a 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- refutation game timeout.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- refutation game timeout.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: unit
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- refutation- check the punishment and reward.out b/tezt/tests/expected/sc_rollup.ml/Alpha- refutation- check the punishment and reward.out
index e692de7629ca64e8147c850ffd31b1679bd7375a..543cd45431da2df03e209f1e080f919eadfab9f3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- refutation- check the punishment and reward.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- refutation- check the punishment and reward.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: unit
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- valid dispute dissection.out b/tezt/tests/expected/sc_rollup.ml/Alpha- valid dispute dissection.out
index 561c75f274ca82028e867b0b5ad62960bedde88d..2a89444c008c90e0e74e02edf25d8d210fbf1b88 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- valid dispute dissection.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- valid dispute dissection.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000671
+    Fee to the baker: ꜩ0.00067
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6675 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000671
-      payload fees(the block proposer) ....... +ꜩ0.000671
+      [PUBLIC_KEY_HASH] ... -ꜩ0.00067
+      payload fees(the block proposer) ....... +ꜩ0.00067
     Smart contract rollup origination:
       Kind: arith
       Parameter type: unit
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - a late rollup should catch up (late).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - a late rollup should catch up (late).out
index b3b89b56276631a7057eb2685b5d715a6197ae17..678c98281d03f35c8711c9b1bb4a1fceea879ed5 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - a late rollup should catch up (late).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - a late rollup should catch up (late).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - consecutive commitments.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - consecutive commitments.out
index 5dee5b3913ccfa4eebbf9ac76562d23079b6364f..777d46287234e4beb492e921de0bf36815b0f426 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - consecutive commitments.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - consecutive commitments.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - get genesis info of a sc rollup.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - get genesis info of a sc rollup.out
index b3b89b56276631a7057eb2685b5d715a6197ae17..678c98281d03f35c8711c9b1bb4a1fceea879ed5 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - get genesis info of a sc rollup.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - get genesis info of a sc rollup.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - get last cemented commitment hash and inbox level of a sc ro.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - get last cemented commitment hash and inbox level of a sc ro.out
index b3b89b56276631a7057eb2685b5d715a6197ae17..678c98281d03f35c8711c9b1bb4a1fceea879ed5 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - get last cemented commitment hash and inbox level of a sc ro.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - get last cemented commitment hash and inbox level of a sc ro.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (basic).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (basic).out
index dd9fca022c5f8264084c2ad54d2ed438b45c5cb1..36e39cfd267ada8901620c94d3003fd9baf28ec1 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (basic).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (basic).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (disconnects).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (disconnects).out
index 76addf107f8546c89066cbc094b8d9fc8d7bb977..3b1e1f4d74e0c1657663c118a358cbd7ebc9bab6 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (disconnects).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (disconnects).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (handles_chain_reorg.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (handles_chain_reorg.out
index 6e35a9e99e0108bf6da2ea93d59ad1ce3a455958..865feb2904c9e97d123336ad2fa1c5f39dc13b67 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (handles_chain_reorg.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - maintenance of inbox in the rollup node (handles_chain_reorg.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node advances PVM state with internal messages.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node advances PVM state with internal messages.out
index 2a5490f72d52d9341604fe2991ef8e97134ac470..ab6722f607142eaa0d05a7f205bcaf4455ece879 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node advances PVM state with internal messages.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node advances PVM state with internal messages.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node advances PVM state with messages.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node advances PVM state with messages.out
index decb43946c4f40f122b776732444bd7daecff57d..2ab7510addb2d8a41cd6220ada8a072a6895a201 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node advances PVM state with messages.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node advances PVM state with messages.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node boots into the initial state.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node boots into the initial state.out
index 9489b3bf4caaee99bc11f638555b00a8561dcf01..db90e56a14ea44d904a31b5592cb0e9e544f57f8 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node boots into the initial state.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - node boots into the initial state.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - origination of a SCORU executes without error.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - origination of a SCORU executes without error.out
index b3b89b56276631a7057eb2685b5d715a6197ae17..678c98281d03f35c8711c9b1bb4a1fceea879ed5 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - origination of a SCORU executes without error.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - origination of a SCORU executes without error.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - pushing messages in the inbox - check inbox size.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - pushing messages in the inbox - check inbox size.out
index fcf9c1fc117f322b28bbcf2940a8ec716cd8379d..4311978af52150fb5b4f9c978f4ab2ddcbd1d6d3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - pushing messages in the inbox - check inbox size.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - pushing messages in the inbox - check inbox size.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - pushing messages in the inbox - current messages hash.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - pushing messages in the inbox - current messages hash.out
index 7647a2c665c440afae7be86f4b00a79640c3874a..21b28c7d5d858bf7b2d18ea148449263ade6e506 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - pushing messages in the inbox - current messages hash.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - pushing messages in the inbox - current messages hash.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof).out
index c3377ee81e08c69f309de914de75bff69bd9734f..f34dd6da3875727eff429bd858eb66cef27851c3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_at_genesis).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_at_genesis).out
index c3377ee81e08c69f309de914de75bff69bd9734f..f34dd6da3875727eff429bd858eb66cef27851c3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_at_genesis).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_at_genesis).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_many_empty_.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_many_empty_.out
index 057f7dad0f8af56223b156cb4674e9f4df91e1ce..709de1a7177b1b52254997749dd96a08a6792ab4 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_many_empty_.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_many_empty_.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_one_empty_l.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_one_empty_l.out
index ea203d313fc5bc66bde7cbc6461207f02058b770..17b565bfad0280a110e9610976eff55d3013707e 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_one_empty_l.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (inbox_proof_one_empty_l.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_0).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_0).out
index c3377ee81e08c69f309de914de75bff69bd9734f..f34dd6da3875727eff429bd858eb66cef27851c3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_0).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_0).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_1).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_1).out
index c3377ee81e08c69f309de914de75bff69bd9734f..f34dd6da3875727eff429bd858eb66cef27851c3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_1).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_1).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_2).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_2).out
index 8d0f55faa1add14682f390a24e015fe802b96a5e..7c8a19b5173fdb506dd53990825ebe8eefbe4824 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_2).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_2).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_3).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_3).out
index fe1032f2c99466ba692634733974d058d001eaa0..8ab2070ec36c3fd794c1a827e8a55945edbbe5c2 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_3).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_3).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_at_genesis).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_at_genesis).out
index c3377ee81e08c69f309de914de75bff69bd9734f..f34dd6da3875727eff429bd858eb66cef27851c3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_at_genesis).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (pvm_proof_at_genesis).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (timeout).out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (timeout).out
index c3377ee81e08c69f309de914de75bff69bd9734f..f34dd6da3875727eff429bd858eb66cef27851c3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (timeout).out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - refutation games winning strategies (timeout).out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (batcher_does_.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (batcher_does_.out
index 1d744ab17d52038b2e54fdb90b43114604e949d0..c606efd64324b60504bc1b3ea853a5a0a3a68743 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (batcher_does_.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (batcher_does_.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (commitment_is.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (commitment_is.out
index 4b3c5d2f0d871511d683b62d7bf55b37d644ab7c..a84d4b32d3df63ff542d0fbfd1ee380382772f28 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (commitment_is.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (commitment_is.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (first_publish.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (first_publish.out
index eabb5490a32a5ccdf8d6bf3ce3980f7300b52c8a..5138f35fdc0d92b97e7f8df37b491b90040f1dfb 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (first_publish.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (first_publish.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (handles_chain.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (handles_chain.out
index 83f67fe0a956ff03d34338e783d5952807739062..a41bbac6ab1f432d016581f2033e8e9a8ad5dc89 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (handles_chain.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (handles_chain.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (maintenance_p.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (maintenance_p.out
index 751b63f8d523443600f667066d7939e66237b75b..cc5f93f38cb7b71ce03057d7625c9525df430df3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (maintenance_p.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (maintenance_p.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (messages_rese.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (messages_rese.out
index f0c033ae714d04dc9fa48ab17af71f30ad4d2290..8bc993e8cd5d4af627fd8aeb717582b2088de29c 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (messages_rese.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (messages_rese.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (no_commitment.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (no_commitment.out
index f65be7e99657752cd7d2d87995792bcc9f86619e..48eab618bf3a7de59db0d0cafa27188c89cbbe03 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (no_commitment.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (no_commitment.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (node_use_prot.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (node_use_prot.out
index c8cf14eec7ddaded65bb8b8ce7e152773a2d4e9b..8b4cb17bd4ebc8ead908ed5ae6e30c2960261e05 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (node_use_prot.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (node_use_prot.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (non_final_lev.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (non_final_lev.out
index 2e778e91a7def5610ec8cb212ba889665a4c1d21..1b6c62808dba9bfe2c0f1d72a71e0152805e9ffa 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (non_final_lev.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (non_final_lev.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (observer_does.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (observer_does.out
index 1d744ab17d52038b2e54fdb90b43114604e949d0..c606efd64324b60504bc1b3ea853a5a0a3a68743 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (observer_does.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (observer_does.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (operator_publ.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (operator_publ.out
index 751b63f8d523443600f667066d7939e66237b75b..cc5f93f38cb7b71ce03057d7625c9525df430df3 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (operator_publ.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (operator_publ.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (robust_to_fai.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (robust_to_fai.out
index edd804c43a6b71a40adf27befd655a2725019f98..1d41d76c199bb977932109f9b8540329117e7b85 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (robust_to_fai.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - rollup node - correct handling of commitments (robust_to_fai.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.004714
+    Fee to the baker: ꜩ0.004713
     Expected counter: 1
     Gas limit: 3227
     Storage limit: 10711 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.004714
-      payload fees(the block proposer) ....... +ꜩ0.004714
+      [PUBLIC_KEY_HASH] ... -ꜩ0.004713
+      payload fees(the block proposer) ....... +ꜩ0.004713
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - runs with kernel - no_parse_bad_fingerprint.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - runs with kernel - no_parse_bad_fingerprint.out
index e19ed929d530fc2f356916c521335703272fecfa..d90205b063cf1b380d0a9c43ed7c90b44371b449 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - runs with kernel - no_parse_bad_fingerprint.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - runs with kernel - no_parse_bad_fingerprint.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.010549
+    Fee to the baker: ꜩ0.010548
     Expected counter: 1
     Gas limit: 3250
     Storage limit: 16543 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.010549
-      payload fees(the block proposer) ....... +ꜩ0.010549
+      [PUBLIC_KEY_HASH] ... -ꜩ0.010548
+      payload fees(the block proposer) ....... +ꜩ0.010548
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string
diff --git a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - runs with kernel - no_parse_random.out b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - runs with kernel - no_parse_random.out
index 6bdb4626e712bcd2d6bd825aa40937f16ef44643..83fe5cc7ec5928f4bc22d55bd875f1265896d10a 100644
--- a/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - runs with kernel - no_parse_random.out	
+++ b/tezt/tests/expected/sc_rollup.ml/Alpha- wasm_2_0_0 - runs with kernel - no_parse_random.out	
@@ -12,13 +12,13 @@ and/or an external block explorer to make sure that it has been included.
 This sequence of operations was run:
   Manager signed operations:
     From: [PUBLIC_KEY_HASH]
-    Fee to the baker: ꜩ0.000712
+    Fee to the baker: ꜩ0.000711
     Expected counter: 1
     Gas limit: 3211
     Storage limit: 6710 bytes
     Balance updates:
-      [PUBLIC_KEY_HASH] ... -ꜩ0.000712
-      payload fees(the block proposer) ....... +ꜩ0.000712
+      [PUBLIC_KEY_HASH] ... -ꜩ0.000711
+      payload fees(the block proposer) ....... +ꜩ0.000711
     Smart contract rollup origination:
       Kind: wasm_2_0_0
       Parameter type: string