From f232548d94a055b72829cebf3e10e357ea42fdf8 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Mon, 29 Aug 2022 16:43:10 +0200 Subject: [PATCH] WASM: Provide evidences the Small Ticks milestone is progressing --- .../test/integration/test_sc_rollup_wasm.ml | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) 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 4f5b3b53568c..ff1162c9fae7 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 -- GitLab