# SCORU Gas for M

See Milestone: SCORU: carbonate! [#3290](https://gitlab.com/tezos/tezos/-/issues/3290)

## Meeting Thursday Dec 1

Attendees: Valentin, Joel

- [x] [Sc_rollup_publish](https://gitlab.com/tezos/tezos/-/issues/3294)
- [x] [Carbonate add messages (#3292)](https://gitlab.com/tezos/tezos/-/issues/3292)
- [Add messages !7023](https://gitlab.com/tezos/tezos/-/merge_requests/7023) (Assigned to marge)
- [ ] [Output proofs (!5747)](https://gitlab.com/tezos/tezos/-/merge_requests/5747)
- Discussed strategy to land as is (only address simple comments)
- Create a follow up issue for unifying generation (probably drop QCheck)
- Follow up for verifying the cost model
- [ ] [Gas for refutation game (#2926)](https://gitlab.com/tezos/tezos/-/issues/2926)
- Document [here](https://hackmd.io/Px4aVws3QNu7EBdrVFUITA)
- Dissection MR [!6937](https://gitlab.com/tezos/tezos/-/merge_requests/6937) landed
- Carbonate refute [!7030](https://gitlab.com/tezos/tezos/-/merge_requests/7030) in progress

## Meeting Monday Nov 28
Attendees: Yann, Valentine, Boubacar, Sylvain, Joel

### Agenda

#### [Sc_rollup_publish](https://gitlab.com/tezos/tezos/-/issues/3294)
- [MR 6991 in progress](https://gitlab.com/tezos/tezos/-/merge_requests/6991)
- Token-transfer is not carbonated (wait for input from Raphael C)
- Perhaps covered by minimum cost for manager op
- What about batches?
- Should not be blocked on transfer carbonation (to be handled sep)

#### [Carbonate add messages (#3292)](https://gitlab.com/tezos/tezos/-/issues/3292)
- Blocked on [!6955](https://gitlab.com/tezos/tezos/-/merge_requests/6955)

#### [Output proofs (!5747)](https://gitlab.com/tezos/tezos/-/merge_requests/5747)
- Settled on a model. Compromize: size of output buffer is significant
- Max proof length is 10K
- Tree with 200K entries vs 10M gives gas diff of < 5%
- Output buffer is limited by 250K entries (WASM has 100 limit)
- Assuming 4K for benchmark
- What about full levels (2 weeks ~ 40K levels)
- Boubacar to test with full levels

#### [Gas for refutation game (#2926)](https://gitlab.com/tezos/tezos/-/issues/2926)
- Will be quick!
- Joel to close bottom-up MRs.

#### Double check gas-model for all parts
- Once all is in (can be done after code freeze)

#### Next meeting Thursday 2pm CET

## Meeting friday Nov 25

Attendees: Yann, Valentin, Boubacar, Nicolas, Joel

### Agenda

#### [Carbonate add messages (#3292)](https://gitlab.com/tezos/tezos/-/issues/3292)
- Sylvain to work on.

#### [Output proofs (!5747)](https://gitlab.com/tezos/tezos/-/merge_requests/5747)
- May need overapproximation (WIP)
- Number of outbox messages per level is limited to 100 (protocol constant)
- For now can assume a limit on num transactions per batch (artifact of WASM)

#### [Gas for refutation game (#2926)](https://gitlab.com/tezos/tezos/-/issues/2926)
* New approach (top-level cost function). Yann to have a look.
* Probably can close existing MRs for bottom up cost

#### Strategy
- Should check in all "stubs" and potentially follow up with "bug-fix"
- Double check gas model for all parts

#### TODO
- [x] Joel create follow up issue for limit num transcations per batch
- [x] Next synch Monday 5pm CET.