diff --git a/src/proto_alpha/lib_protocol/sc_rollup_arith.ml b/src/proto_alpha/lib_protocol/sc_rollup_arith.ml index 331e7e23503dde42afa6731c385f7a2dca40de54..36a9ea2d5fd6ad7276bb8d8c45e4d42e10753c0e 100644 --- a/src/proto_alpha/lib_protocol/sc_rollup_arith.ml +++ b/src/proto_alpha/lib_protocol/sc_rollup_arith.ml @@ -873,7 +873,13 @@ module Make (Context : P) : let* () = Status.set Waiting_for_input_message in return () - let set_input input = state_of @@ set_input_monadic input + let ticked m = + let open Monad.Syntax in + let* tick = Current_tick.get in + let* () = Current_tick.set (Sc_rollup_tick_repr.next tick) in + m + + let set_input input = set_input_monadic input |> ticked |> state_of let next_char = let open Monad.Syntax in @@ -1072,12 +1078,6 @@ module Make (Context : P) : | Parsing -> parse | Evaluating -> evaluate) - let ticked m = - let open Monad.Syntax in - let* tick = Current_tick.get in - let* () = Current_tick.set (Sc_rollup_tick_repr.next tick) in - m - let eval state = state_of (ticked eval_step) state let step_transition input_given state = 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 f54e9f7496dab26b33cff1b73cafb02c00fa10ab..243a4d1a81cae4eefbf23f92565023e9cac2932f 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 @@ -47,142 +47,142 @@ This sequence of operations was run: "\000\000\000\007" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12qBnDaws8qffw6QDktoXqyVnQqsB7ZYta9AeumRrJu46uEXa8s" +"scs139EB5Ny4fma7o6nS9mGauvHFbwpfvsJijBU4tNjEr9QZ8ZJWQd" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"18" +"19" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12qBnDaws8qffw6QDktoXqyVnQqsB7ZYta9AeumRrJu46uEXa8s" +"scs139EB5Ny4fma7o6nS9mGauvHFbwpfvsJijBU4tNjEr9QZ8ZJWQd" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"18" +"19" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\n" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs132JyuMz3CnpXF3jbe2nJdJ4CbLnwGfUdpwRf9H14oKbLGf6gXY" +"scs12UMx1ykNkh7mGwph7oc47aPAYSZfSdx6E6gqHdNuD3fWoY5z7V" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"35" +"37" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs132JyuMz3CnpXF3jbe2nJdJ4CbLnwGfUdpwRf9H14oKbLGf6gXY" +"scs12UMx1ykNkh7mGwph7oc47aPAYSZfSdx6E6gqHdNuD3fWoY5z7V" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"35" +"37" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\r" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13LToVZYSTBF7YCWecXYN2PnbPa1YykGn9k4R5His735aYYqFZ9" +"scs12ssnuPLi7HmVNDsZmAn38HQHQ3Yy7M8iqxALseKWEZjhetGdQj" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"53" +"56" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13LToVZYSTBF7YCWecXYN2PnbPa1YykGn9k4R5His735aYYqFZ9" +"scs12ssnuPLi7HmVNDsZmAn38HQHQ3Yy7M8iqxALseKWEZjhetGdQj" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"53" +"56" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\016" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13GPvXsed8QkXQ6BdyqaED7ySSNJyAN8J8c318DpKCUwngmemeX" +"scs11bU88Xg7RJhWwcd6xjATkP9KxurEXizBzGm99Y7f1AuwHSwMFr" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"71" +"75" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13GPvXsed8QkXQ6BdyqaED7ySSNJyAN8J8c318DpKCUwngmemeX" +"scs11bU88Xg7RJhWwcd6xjATkP9KxurEXizBzGm99Y7f1AuwHSwMFr" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"71" +"75" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\019" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11fsCtryeBMasKPzudhJLnMPMHC1amn2HR88wCvnLcmrUxBcJg2" +"scs11deEDoFvXGQjSLah1h2N13p1PJTVQNqm1qxaSHUhX9HnZGK3wZ" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"89" +"94" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11fsCtryeBMasKPzudhJLnMPMHC1amn2HR88wCvnLcmrUxBcJg2" +"scs11deEDoFvXGQjSLah1h2N13p1PJTVQNqm1qxaSHUhX9HnZGK3wZ" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"89" +"94" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\022" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13PsZc2DSGRhRrdZKHT9wpeLhLrYN5dkD9XZDPu3mYzPd3N8Piu" +"scs13DumkywYF7EtycrHEqToSzBFnYBvJeTA2XUZySvttgXzWWP14d" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"107" +"113" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13PsZc2DSGRhRrdZKHT9wpeLhLrYN5dkD9XZDPu3mYzPd3N8Piu" +"scs13DumkywYF7EtycrHEqToSzBFnYBvJeTA2XUZySvttgXzWWP14d" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"107" +"113" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\025" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12CNZfYDyBvihucTXbD3TLou8WQn55Zk1DrRnLPLHw51Umiku8J" +"scs13RfGYbA1saxvGJMLCySU3tja9MNaqG4CRiWofbCuFiwNofAFCt" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"125" +"132" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12CNZfYDyBvihucTXbD3TLou8WQn55Zk1DrRnLPLHw51Umiku8J" +"scs13RfGYbA1saxvGJMLCySU3tja9MNaqG4CRiWofbCuFiwNofAFCt" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"125" +"132" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\028" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs137sVeLTakoSaACKmjZ77uisWL7LBFQmG57mDLfwZUp6ZqMtYgS" +"scs11vJrzpmNeM3aydKLFC8LN2qzEiLPDW1hYUAWb9aFXKyveoZHGM" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"143" +"151" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs137sVeLTakoSaACKmjZ77uisWL7LBFQmG57mDLfwZUp6ZqMtYgS" +"scs11vJrzpmNeM3aydKLFC8LN2qzEiLPDW1hYUAWb9aFXKyveoZHGM" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"143" +"151" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\031" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11d3KpHobBBVEH5j4xgC3myHPf8sffSvUZWLHVZH7ZcoqGh41A8" +"scs11daEh8MqwPhDawd8n5frMeRhoASh46rnJYNvFz2eSWiVeUfYwS" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"161" +"170" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11d3KpHobBBVEH5j4xgC3myHPf8sffSvUZWLHVZH7ZcoqGh41A8" +"scs11daEh8MqwPhDawd8n5frMeRhoASh46rnJYNvFz2eSWiVeUfYwS" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"161" +"170" ./tezos-sc-rollup-client-alpha get state value for vars/value "\000\000\000\"" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11ZmqpAH3wWYnySzqDFUPU8KL1nNSb8gBx4sBwkU9f11FWtAK22" +"scs12P2MF8NUnH7BrSuRCuSjpBcYpL3ZGJwwm6N3WYkBxvbbwGhdtz" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"180" +"190" 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 019a55a58b210a938339962f3058ba27187470dc..7370f3750f7f3daad3a1dba631378271c899668a 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 @@ -86,16 +86,16 @@ This sequence of operations was run: "\000\000\000\007" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13CGfXJuhF7NnAKY7v3TBokPphzCEYPE5n14UHDnpTAMTAC7GzC" +"scs11brdXnUqwwkqChBy8JsHPVzsS3b6YU9i1PpLczV3tCSnjkTYd1" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"18" +"19" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13CGfXJuhF7NnAKY7v3TBokPphzCEYPE5n14UHDnpTAMTAC7GzC" +"scs11brdXnUqwwkqChBy8JsHPVzsS3b6YU9i1PpLczV3tCSnjkTYd1" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"18" +"19" ./tezos-client --wait none send sc rollup message '["2 8 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -141,16 +141,16 @@ This sequence of operations was run: "\000\000\000\n" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12BVD7ers632i9FZGzaeT4Zt9jQi13guYDh7yb5HFipfVc13wku" +"scs12Tgfr71PpKXJqDp8yXnohfSYoTT57KeRMEi1YacXtRyyvMxjZ4" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"35" +"37" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12BVD7ers632i9FZGzaeT4Zt9jQi13guYDh7yb5HFipfVc13wku" +"scs12Tgfr71PpKXJqDp8yXnohfSYoTT57KeRMEi1YacXtRyyvMxjZ4" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"35" +"37" ./tezos-client --wait none send sc rollup message '["3 10 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -196,16 +196,16 @@ This sequence of operations was run: "\000\000\000\r" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12nXMLncCoT9SGzJX8CwUEG4D1myYhKGYBY6eGvtPrjwqooCovf" +"scs13M1yuX6NMTpdqWgYMx1uAtaLpiCgQAgXK2n93iua2LjfGajSiT" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"53" +"56" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12nXMLncCoT9SGzJX8CwUEG4D1myYhKGYBY6eGvtPrjwqooCovf" +"scs13M1yuX6NMTpdqWgYMx1uAtaLpiCgQAgXK2n93iua2LjfGajSiT" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"53" +"56" ./tezos-client --wait none send sc rollup message '["4 12 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -252,16 +252,16 @@ This sequence of operations was run: "\000\000\000\016" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11tcLMA9CwjW3K3VuAFp4RiJRujh9msGbyMSHyediDMTfchY2JY" +"scs12iwXS6KpaLNTTaBqxFvkyvZpHLq8H5xp35upZ4Tz7Wqtnv68dd" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"71" +"75" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11tcLMA9CwjW3K3VuAFp4RiJRujh9msGbyMSHyediDMTfchY2JY" +"scs12iwXS6KpaLNTTaBqxFvkyvZpHLq8H5xp35upZ4Tz7Wqtnv68dd" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"71" +"75" ./tezos-client --wait none send sc rollup message '["5 14 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -308,16 +308,16 @@ This sequence of operations was run: "\000\000\000\019" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11eYQany2zXFhZ6q62wfrHQA1CYzskBu8k5pnnWnBaAQ3ZEWBK6" +"scs12GyR6dnoCQ3T6NCHe7wCEwzs1FSFdMmKPk8hzvPLMWA9po1vHp" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"89" +"94" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11eYQany2zXFhZ6q62wfrHQA1CYzskBu8k5pnnWnBaAQ3ZEWBK6" +"scs12GyR6dnoCQ3T6NCHe7wCEwzs1FSFdMmKPk8hzvPLMWA9po1vHp" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"89" +"94" ./tezos-client --wait none send sc rollup message '["6 16 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -364,16 +364,16 @@ This sequence of operations was run: "\000\000\000\022" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11ibk6bxp8XcMmHchNkLxniEMGeuu67FYqjeFgsFaK2nSbaj6v6" +"scs13QvpMutd3qKfBeqBUbk719sF8sG2S3PCwbm3nuVr9kib5KA9Vz" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"107" +"113" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11ibk6bxp8XcMmHchNkLxniEMGeuu67FYqjeFgsFaK2nSbaj6v6" +"scs13QvpMutd3qKfBeqBUbk719sF8sG2S3PCwbm3nuVr9kib5KA9Vz" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"107" +"113" ./tezos-client --wait none send sc rollup message '["7 18 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -420,16 +420,16 @@ This sequence of operations was run: "\000\000\000\025" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs1271ctQaBTEibVsSeGQDQwFHaHUhd8EZ1V35wT87wwNkZRKuod2" +"scs12d3sxy4uVnARXJi4KWs3cz5DrmR73Y9ZVk2DkLRXNio9i9yyX4" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"125" +"132" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs1271ctQaBTEibVsSeGQDQwFHaHUhd8EZ1V35wT87wwNkZRKuod2" +"scs12d3sxy4uVnARXJi4KWs3cz5DrmR73Y9ZVk2DkLRXNio9i9yyX4" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"125" +"132" ./tezos-client --wait none send sc rollup message '["8 20 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -477,16 +477,16 @@ This sequence of operations was run: "\000\000\000\028" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12hefiWoaPQGYvPcuUYHhiU5FAAfpBtHcztGqTj6LqB3PxDQiyG" +"scs13CsbaoCfv3vCgBWtL78hQ3sPaH7iVhmCWqBd5hvCqfQWhxje7D" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"143" +"151" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12hefiWoaPQGYvPcuUYHhiU5FAAfpBtHcztGqTj6LqB3PxDQiyG" +"scs13CsbaoCfv3vCgBWtL78hQ3sPaH7iVhmCWqBd5hvCqfQWhxje7D" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"143" +"151" ./tezos-client --wait none send sc rollup message '["9 22 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -534,16 +534,16 @@ This sequence of operations was run: "\000\000\000\031" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11oq2aLp31bKWq7Tp3GccxvZHpaE41PzH7FUQNNKWpYSvUn7Fex" +"scs12TkBvyg8cSuoNGfrzwM516T9isZwxAphpo7AnxJYVyPGWDwybq" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"161" +"170" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11oq2aLp31bKWq7Tp3GccxvZHpaE41PzH7FUQNNKWpYSvUn7Fex" +"scs12TkBvyg8cSuoNGfrzwM516T9isZwxAphpo7AnxJYVyPGWDwybq" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"161" +"170" ./tezos-client --wait none send sc rollup message '["10 24 + value"]' from bootstrap2 to '[SC_ROLLUP_HASH]' Node is bootstrapped. @@ -591,7 +591,7 @@ This sequence of operations was run: "\000\000\000\"" ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs12z8UFkMz6jxQo5hDNhBz96Pjq31V8fSBz3kH3DPgVhpfQFe6Fk" +"scs13GcPbRV1mSUravbXkE3LFT2SgEGu2muVHjNzKumLC91MikErA8" ./tezos-sc-rollup-client-alpha rpc get /global/total_ticks -"180" +"190" 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 c691e4d5b79b93281b84c8ac23e3b8b6ef0506f6..226d686e2a62c7840740ea9ed36be6da9771c379 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 @@ -443,4 +443,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13AnJRSjXmxUNK3AcEfpGoUzMxY85Vd5SU3WVmPC56RsTARtyb8" +"scs127KQCwoyzRkAn9gvSeNRkvs1MYYaEVHRaJ7bmrkuNHKo91Hsrn" 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 c691e4d5b79b93281b84c8ac23e3b8b6ef0506f6..226d686e2a62c7840740ea9ed36be6da9771c379 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 @@ -443,4 +443,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13AnJRSjXmxUNK3AcEfpGoUzMxY85Vd5SU3WVmPC56RsTARtyb8" +"scs127KQCwoyzRkAn9gvSeNRkvs1MYYaEVHRaJ7bmrkuNHKo91Hsrn" 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 ed0e5ab11a325e09300434cf4f149fdc8667fff8..08fcc319399a0a08355766ddb727070c95c11dcc 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 @@ -443,4 +443,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs1365PwjPUZLhbhaq43gZrRYipFXhourfJzEvb37Hu3TTTgbx8y8" +"scs11aAQ1SepzwgYmEjnH8hiwGsJt2Gp1sh27mPQof7fvYvMEmYQVf" 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 63a82ca2ea2eab53f92021d3f7e4b7fdbe2f7b0f..3966f1d1226b52700fa1a6906b1996ee37873780 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 @@ -443,4 +443,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11ZMT1cDjKYohJNsfd5EB8VYeNansvn3or3tD8ESph72HBGY7LJ" +"scs12zTfsE1ur7A3sjDj2y4sQcg599nnyPyQoMf6fSLYh1Xor7njcv" 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 c691e4d5b79b93281b84c8ac23e3b8b6ef0506f6..226d686e2a62c7840740ea9ed36be6da9771c379 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 @@ -443,4 +443,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13AnJRSjXmxUNK3AcEfpGoUzMxY85Vd5SU3WVmPC56RsTARtyb8" +"scs127KQCwoyzRkAn9gvSeNRkvs1MYYaEVHRaJ7bmrkuNHKo91Hsrn" 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 c691e4d5b79b93281b84c8ac23e3b8b6ef0506f6..226d686e2a62c7840740ea9ed36be6da9771c379 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 @@ -443,4 +443,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13AnJRSjXmxUNK3AcEfpGoUzMxY85Vd5SU3WVmPC56RsTARtyb8" +"scs127KQCwoyzRkAn9gvSeNRkvs1MYYaEVHRaJ7bmrkuNHKo91Hsrn" 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 a940cb3d0731cbd76fc60d6892a021d4f8ed3113..37db5b30a8186c257a300c38f668ff3383c17253 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 @@ -317,4 +317,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs129jabM73KJiKFwDoXtRtcxLa8qP2Q2sTgFJJbwnXdPm5oaK1ta" +"scs12oKDGwdZ4UkEhXQzDjVzG2cGKRzynqHmHa6XjgbpnMmYzgfwJb" 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 db6e18388b17145f1ef8e574e6f439f6cffcb280..4091fdf7d7b28ca8edc86baa4fcd55ee8283cce5 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 @@ -317,4 +317,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs11beC6SWs4SDoqDB5qagJdkFFpqMYaZrjb9ScQpkkoku7ee56S1" +"scs126QNuQZhsoqp3hjoXPYoLJbkh599zuUnch6kzc1pdZAR1KVTXb" 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 c691e4d5b79b93281b84c8ac23e3b8b6ef0506f6..226d686e2a62c7840740ea9ed36be6da9771c379 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 @@ -443,4 +443,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13AnJRSjXmxUNK3AcEfpGoUzMxY85Vd5SU3WVmPC56RsTARtyb8" +"scs127KQCwoyzRkAn9gvSeNRkvs1MYYaEVHRaJ7bmrkuNHKo91Hsrn" 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 c691e4d5b79b93281b84c8ac23e3b8b6ef0506f6..226d686e2a62c7840740ea9ed36be6da9771c379 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 @@ -443,4 +443,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs13AnJRSjXmxUNK3AcEfpGoUzMxY85Vd5SU3WVmPC56RsTARtyb8" +"scs127KQCwoyzRkAn9gvSeNRkvs1MYYaEVHRaJ7bmrkuNHKo91Hsrn" 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 da29f3207efc6c67f89c06e02d5080284bd783c7..e57094b1b9782bb4138f018295438170e9621145 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 @@ -2619,10 +2619,10 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]", "published_at_level": 35 } 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 2cda5a2607bc6216238be9c7a770c6859b5936c6..8834aab67a3ec3ba1fba3b7a324f7ff7a402177f 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 @@ -1304,18 +1304,18 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/last_stored_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]" } ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]", "published_at_level": 35 } 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 1293fdb5eaa56d4f01900c9a2d91ab36cc17a0be..183f97f149d41014300ec86c58deb3c1963e4701 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 @@ -2619,19 +2619,19 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]", "published_at_level": 35 } ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]", "published_at_level": 35 } 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 3b68df079d26d3817fb9dd5c1ba4e16e4afbf1d1..bfdd33f6d1235b24c36332199b597e71b0fd49e9 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 @@ -1304,7 +1304,7 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/last_stored_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 62, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", "number_of_ticks": 0 }, @@ -1313,7 +1313,7 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 62, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", "number_of_ticks": 0 }, 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 1ffffb9aef73af4dabddccc2a8241fda3226c05d..5515a26e7dcf73179697c74fb610ee1c16ecc415 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 @@ -659,18 +659,18 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/last_stored_commitment { "commitment": { "compressed_state": - "scs128vEZa7hXxUCcuBtKqdMfTCGejmEe5aoxLBS6csdWApTULy4TY", + "scs12wTPaomFH2grjoXSuBwnVppABH3RvbaghhnskeG6GYpbEbZ3fg", "inbox_level": 17, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 241 }, + "number_of_ticks": 361 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]" } ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs128vEZa7hXxUCcuBtKqdMfTCGejmEe5aoxLBS6csdWApTULy4TY", + "scs12wTPaomFH2grjoXSuBwnVppABH3RvbaghhnskeG6GYpbEbZ3fg", "inbox_level": 17, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 241 }, + "number_of_ticks": 361 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]", "published_at_level": 20 } 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 da29f3207efc6c67f89c06e02d5080284bd783c7..e57094b1b9782bb4138f018295438170e9621145 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 @@ -2619,10 +2619,10 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]", "published_at_level": 35 } 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 1293fdb5eaa56d4f01900c9a2d91ab36cc17a0be..183f97f149d41014300ec86c58deb3c1963e4701 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 @@ -2619,19 +2619,19 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]", "published_at_level": 35 } ./tezos-sc-rollup-client-alpha rpc get /local/last_published_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]", "published_at_level": 35 } 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 7592e1dee9c2fdd928aac0d7bbda77c156f42962..9a2f5a8ba860cec32d029d9fb87f46373a8fa2f8 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 @@ -1304,17 +1304,17 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/last_stored_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]" } ./tezos-sc-rollup-client-alpha rpc get /global/last_stored_commitment { "commitment": { "compressed_state": - "scs12A4jtbi39DFb3fzb3EBcJGB6hcsUxugy62zf11pQyk1eMMqWjP", + "scs123mHW8JnxvBJvMvySAKp99M3Ekvb5ntV5eLQkRJNVexjgXzTK8", "inbox_level": 32, "predecessor": "[SC_ROLLUP_COMMITMENT_HASH]", - "number_of_ticks": 931 }, + "number_of_ticks": 1396 }, "hash": "[SC_ROLLUP_COMMITMENT_HASH]" } 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 8c5bab4c1f428ad2eb4d409722b1e2b79f43f62c..a6f11a44fbf0e9e1de7ba0ce003db9591f627d5b 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 @@ -77,7 +77,7 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs1371W53YVrt8USjs6PafacnNV6ZoFr4VjvyKP9UYszqdg5v4ZC7" +"scs12va7N5ovc2CYcBAsWNki5APZFZp4JaCYqUe2a1FjYnQvp4iUHJ" ./tezos-client --wait none originate sc rollup from bootstrap1 of kind arith of type string booting with 31 --burn-cap 9999999 Node is bootstrapped. @@ -157,4 +157,4 @@ This sequence of operations was run: ./tezos-sc-rollup-client-alpha rpc get /global/state_hash -"scs133L8aujCeqJqKx57baw8LMN3CJM6iPTU1tdV72Y171fZpuofKV" +"scs11ogaqyuvGvcJQFX3pHzPzGMCCJVdYMbR1mVmYnWKPkorSvRJGr"