each block contain a cooler section, where is given a description of the assets that were frozen by Freeze the messages that were processed on layer 2 (a map, to allow iteration using Map.fold)
during finalization of a block, those assets are put aside to be available for users to withdraw in a freezer (a big_map)
Implementation only in the chain lib for now.
The branch was created from pec@40_finalization and will be rebased on main if it is merged.
The PR is defined with respect to pec@40_finalization to begin discussion on the proposed implementation.
Missing: anything touching the inbox_ sc contract is missing for now, waiting for PR#48 to be merged
Freeze message definition
modification of endpoints of inbox to include Inbox_freeze of nat and Inbox_withdraw
Implementation of withdrawal:
coolersection, where is given a description of the assets that were frozen byFreezethemessages that were processed on layer 2 (amap, to allow iteration usingMap.fold)freezer(abig_map)Implementation only in the
chainlib for now. The branch was created frompec@40_finalizationand will be rebased on main if it is merged. The PR is defined with respect topec@40_finalizationto begin discussion on the proposed implementation.Missing: anything touching the
inbox_ sccontract is missing for now, waiting for PR#48 to be mergedFreezemessage definitionInbox_freeze of natandInbox_withdraw