Sc rollup refutation storage, part 1
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