MPT: Review Spec

[andyguzmaneth]

• Requisite: the scope is review and completed by the team #268
• Get PR ready to review #136 and then review the PR

[miha-stopar]

MPT docs are now cleaned, I think the PR can be reviewed now.

[andyguzmaneth]

@miha-stopar to send the PR when possible

[miha-stopar]

Could be reviewed now:

• onExistingStorage proof docs were added
• matching with the scoping document added

[andyguzmaneth]

Next steps: Ready to be reviewed by us first and then ask someone from Taiko.

Estimating this as a 20 and timeboxing it to 2 weeks, leverage the tests. After the 2 weeks reconvene and decide if it requires further review.

[andyguzmaneth]

@Brechtpd we have this task on our backlog to review MPT Specs. By any chance are you interested in taking this one?

[Brechtpd]

Sure thing, can start working on this next week.

[miha-stopar]

Sure thing, can start working on this next week.

@Brechtpd if it helps we can have a call before you begin, maybe just to go briefly over the content.

And thanks for taking this!

[andyguzmaneth]

Yes, thank you so much! @Brechtpd also helps with alignment on overall approach

[ChihChengLiang]

Will be updated once the witness generator work is finished.

[ed255]

The spec needs to be rewritten according to the refactor work done on the circuit implementation. Miha will work on it after the witness generator work is finished.

[ChihChengLiang]

The spec needs to be updated to reflect the changes in the refactor.