From 3fec4a60873d7f8c30b2e7f708d9cd3dee02ceb7 Mon Sep 17 00:00:00 2001 From: Yann Regis-Gianas Date: Fri, 1 Jul 2022 16:09:59 +0200 Subject: [PATCH] Proto,SCORU: Fix off-by-one bug in inbox refutation proofs The proof verifier and proof producer did not agree on the index of the message occurring in the statement. Signed-off-by: Yann Regis-Gianas --- src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 a114fc9fb5f5..27c45d86c695 100644 --- a/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml +++ b/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml @@ -153,7 +153,7 @@ let produce pvm_and_state inbox_context inbox_history inbox commit_level = inbox_context inbox_history inbox - (l, n) + (l, Z.succ n) in return (Some p, i) in -- GitLab