diff --git a/src/proto_alpha/lib_protocol/test/integration/test_sc_rollup_wasm.ml b/src/proto_alpha/lib_protocol/test/integration/test_sc_rollup_wasm.ml index 4f5b3b53568ce22ffc24413d1d8223ce3460db00..ff1162c9fae76b590fbca1de7e42572003c92257 100644 --- a/src/proto_alpha/lib_protocol/test/integration/test_sc_rollup_wasm.ml +++ b/src/proto_alpha/lib_protocol/test/integration/test_sc_rollup_wasm.ml @@ -113,9 +113,18 @@ module Prover = Alpha_context.Sc_rollup.Wasm_2_0_0PVM.Make (WASM_P) (* FIXME: https://gitlab.com/tezos/tezos/-/issues/2198 SCORU system should expose a constant upper bound for proof size. - One suggestion for this constant is 16KB - so is used here. + One suggestion for this constant is 16KB. Unfortunately, the proof + that are generated in “realistic” scenarios are still too big. + + If #2198 is addressed, and a constant is added to the protocol to + limit the maximum size of a valid SCORU proof, then the value here + should reflect that. + + The size set here is the minimum size that makes the current tests + pass. It should be updated to [16 * 1024] once the small ticks + milestone is completed. *) -let proof_size_limit = 1024 * 1024 * 16 +let proof_size_limit = 28_116 let check_proof_size ~loc context input_opt s = let open Lwt_result_syntax in