[go: up one dir, main page]

DAL/Rollups: Harden the case where published level is in the future wrt import level

Mohamed IGUERNLALArequested to merge
iguer@dal-refutation-tests-2-more-tests into master

Implement the remaining pathological case described here: https://docs.google.com/document/d/1wzxvDKn2V0BHLoMd3rZD09AVzILl48d-UiKe8U8RMyg/edit?usp=sharing

  • If the published level is far in the future wrt. to import level and to commitment level, both refutation proofs and the rollup node's import code should be hardened. In particular, the rollup node of an honest operator should not be stuck while a faulty, with some modified code could progress and import wrong data.

How to test: 

make && dune build tezt/lib_tezos && dune build tezt/tests && _build/default/tezt/tests/main.exe --file tezt/tests/sc_rollup.ml --match "dal_page_with_id_far_in_the_future_" -j 10 --keep-going
Edited by Mohamed IGUERNLALA

Merge request reports