Skip to content

Sc rollup refutation storage, part 1

Daniel Hilst requested to merge sc-rollup-refutation-storage into master

Part of #713 Part of #744

This MR do

  • A small refactoring in the Sc_rollup_game_repr.v file, mainly move all the predicates up, so I can look at they with less scrolling, and also apply some conventions
  • Add 3 more storages to the specification that were missing. These are Sc_rollup_Inbox, Sc_rollup_Commitments, Sc_rollup_Game. Now there is only one storage missing: Seed.Nonce
  • Add proofs for two functions in the Sc_rollup_refutation_storage.v file, the remaining functions will be done in the next MRs
Edited by Daniel Hilst

Merge request reports