Have more confidence in consensus.mligo

[oteku]

SUMMARY: Vaulting / Withdrawing is a complicated mecanism. We would like to ease understanding and confidence in the vault mecanism for Deku contributors & blockchain users

MOTIVATION: This is a critical piece of design to bridge Tezos & Deku

SCENARII: -

DETAILED DESIGN: -

ALTERNATIVES: -

DRAWBACKS: -

RELATED PRs:

• [ ] [Code organization] Seprate Tezos smart contracts (Layer 1 interop) from tezos_interop module (Layer 2 interop)
• [ ] [Refactoring] use LIGO modules
• [ ] [Testing] use LIGO unit & mutation test framework to test the contract
• [ ] [Testing] create integration tests that can be run in CI to be sure we can always deposit & withdraw
• [ ] [Documentation] add contract metadatas TZIP-16
• [ ] ...

[oteku]

This can be taken as an exemple for organising smartcontract code https://github.com/ligolang/randomness-cameligo