diff --git a/src/proto_alpha/lib_parameters/default_parameters.ml b/src/proto_alpha/lib_parameters/default_parameters.ml index 6bcadcc6fc35b5faba8c0c8b649728be4cb21962..c4a6977496cdbfa26214a2480dcdddff31ce2beb 100644 --- a/src/proto_alpha/lib_parameters/default_parameters.ml +++ b/src/proto_alpha/lib_parameters/default_parameters.ml @@ -230,7 +230,17 @@ let constants_mainnet = { raw_data = {blake2B = Raw_level.root}; metadata = Raw_level.root; - dal_page = Raw_level.root; + dal_page = + (if default_dal.feature_enable then Raw_level.root + else + (* Deactivate the reveal if the dal is not enabled. *) + (* https://gitlab.com/tezos/tezos/-/issues/5968 + Encoding error with Raw_level + + We set the activation level to [pred max_int] to deactivate + the feature. The [pred] is needed to not trigger an encoding + exception with the value [Int32.int_min] (see tezt/tests/mockup.ml). *) + Raw_level.of_int32_exn Int32.(pred max_int)); }; }; zk_rollup = diff --git a/src/proto_alpha/lib_protocol/raw_context.ml b/src/proto_alpha/lib_protocol/raw_context.ml index 0f24dac256a60a771614103453936808c3f48020..f3acf3ce588d324a8ad4b4b5656cf500d8f2d847 100644 --- a/src/proto_alpha/lib_protocol/raw_context.ml +++ b/src/proto_alpha/lib_protocol/raw_context.ml @@ -951,7 +951,26 @@ let prepare_first_block ~level ~timestamp ctxt = { raw_data = {blake2B = Raw_level_repr.root}; metadata = Raw_level_repr.root; - dal_page = Raw_level_repr.root; + dal_page = + (* For the protocol activating the DAL one should replace + the expression below by + [Raw_level_repr.of_int32_exn (Int32.succ level)]. + + For a protocol for which the DAL is already activated + the expression below should be changed to + [c.sc_rollup.reveal_activation_level.dal_page]. *) + (if dal.feature_enable then + (* First level of the protocol with dal activated. *) + Raw_level_repr.of_int32_exn (Int32.succ level) + else + (* Deactivate the reveal if the dal is not enabled. *) + (* https://gitlab.com/tezos/tezos/-/issues/5968 + Encoding error with Raw_level + + We set the activation level to [pred max_int] to deactivate + the feature. The [pred] is needed to not trigger an encoding + exception with the value [Int32.int_min] (see tezt/tests/mockup.ml). *) + Raw_level_repr.of_int32_exn Int32.(pred max_int)); } in let sc_rollup = diff --git a/tezt/tests/expected/RPC_test.ml/Alpha- (mode client) RPC regression tests- misc_protocol.out b/tezt/tests/expected/RPC_test.ml/Alpha- (mode client) RPC regression tests- misc_protocol.out index 417a3ecc4d552cec88db6e1179a23f7a068c2bc2..4b1254b5464a47eceef024934aca73859f90cacb 100644 --- a/tezt/tests/expected/RPC_test.ml/Alpha- (mode client) RPC regression tests- misc_protocol.out +++ b/tezt/tests/expected/RPC_test.ml/Alpha- (mode client) RPC regression tests- misc_protocol.out @@ -52,7 +52,7 @@ "smart_rollup_max_number_of_cemented_commitments": 5, "smart_rollup_max_number_of_parallel_games": 32, "smart_rollup_reveal_activation_level": - { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 0 }, + { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 2147483646 }, "zk_rollup_enable": false, "zk_rollup_origination_size": 4000, "zk_rollup_min_pending_to_process": 10, "zk_rollup_max_ticket_payload_size": 2048, diff --git a/tezt/tests/expected/RPC_test.ml/Alpha- (mode light) RPC regression tests- misc_protocol.out b/tezt/tests/expected/RPC_test.ml/Alpha- (mode light) RPC regression tests- misc_protocol.out index 23444bb0085a43088b643c19b54eb417f3945e78..da9fed28e8303d5462c9b90f7d31587718aa5091 100644 --- a/tezt/tests/expected/RPC_test.ml/Alpha- (mode light) RPC regression tests- misc_protocol.out +++ b/tezt/tests/expected/RPC_test.ml/Alpha- (mode light) RPC regression tests- misc_protocol.out @@ -52,7 +52,7 @@ "smart_rollup_max_number_of_cemented_commitments": 5, "smart_rollup_max_number_of_parallel_games": 32, "smart_rollup_reveal_activation_level": - { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 0 }, + { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 2147483646 }, "zk_rollup_enable": false, "zk_rollup_origination_size": 4000, "zk_rollup_min_pending_to_process": 10, "zk_rollup_max_ticket_payload_size": 2048, diff --git a/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy) RPC regression tests- misc_protocol.out b/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy) RPC regression tests- misc_protocol.out index 847a8dd3ce694f949be8bb37928ea045f748f7a5..31e7c1c12b82933716b0bb6df41355402c50891f 100644 --- a/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy) RPC regression tests- misc_protocol.out +++ b/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy) RPC regression tests- misc_protocol.out @@ -52,7 +52,7 @@ "smart_rollup_max_number_of_cemented_commitments": 5, "smart_rollup_max_number_of_parallel_games": 32, "smart_rollup_reveal_activation_level": - { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 0 }, + { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 2147483646 }, "zk_rollup_enable": false, "zk_rollup_origination_size": 4000, "zk_rollup_min_pending_to_process": 10, "zk_rollup_max_ticket_payload_size": 2048, diff --git a/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy_server_data_dir) RPC regression tests- misc_protocol.out b/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy_server_data_dir) RPC regression tests- misc_protocol.out index ba03367b297aeae6e64999470a3cc2efade26708..6e1185a7d09b43c9220d6b852aac582c08dd13f3 100644 --- a/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy_server_data_dir) RPC regression tests- misc_protocol.out +++ b/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy_server_data_dir) RPC regression tests- misc_protocol.out @@ -52,7 +52,7 @@ "smart_rollup_max_number_of_cemented_commitments": 5, "smart_rollup_max_number_of_parallel_games": 32, "smart_rollup_reveal_activation_level": - { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 0 }, + { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 2147483646 }, "zk_rollup_enable": false, "zk_rollup_origination_size": 4000, "zk_rollup_min_pending_to_process": 10, "zk_rollup_max_ticket_payload_size": 2048, diff --git a/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy_server_rpc) RPC regression tests- misc_protocol.out b/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy_server_rpc) RPC regression tests- misc_protocol.out index ba03367b297aeae6e64999470a3cc2efade26708..6e1185a7d09b43c9220d6b852aac582c08dd13f3 100644 --- a/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy_server_rpc) RPC regression tests- misc_protocol.out +++ b/tezt/tests/expected/RPC_test.ml/Alpha- (mode proxy_server_rpc) RPC regression tests- misc_protocol.out @@ -52,7 +52,7 @@ "smart_rollup_max_number_of_cemented_commitments": 5, "smart_rollup_max_number_of_parallel_games": 32, "smart_rollup_reveal_activation_level": - { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 0 }, + { "raw_data": { "Blake2B": 0 }, "metadata": 0, "dal_page": 2147483646 }, "zk_rollup_enable": false, "zk_rollup_origination_size": 4000, "zk_rollup_min_pending_to_process": 10, "zk_rollup_max_ticket_payload_size": 2048,