This is a sub-milestone of %(2023Q3-Q4) Michelson-in-Rust, for the prototyping phase.

Context

In order to have a good idea of the technical issues we'll face when developing a Michelson in Rust runtime, a first step is to develop a prototype that allows to observe the end-to-end results on a fixed Michelson example.

Work break down

• Add a TZT test for the factorial function in Michelson: #6211 (closed).
  • This will be used as a manual validation artefact; we're not implementing a tool that allows to run MIR on a TZT test at this stage.
• Full draft runtime implementation: !9926 (closed).
  • It's being simplified and cut down into smaller requests below.
• Implement runtime.
  • Implement a Michelson parser that the factorial/Fibonacci examples pass: !9999 (merged) (😭 so close to the Holy 10000!).
  • Implement a Michelson AST parse result that handles the factorial/Fibonacci examples: !10006 (merged).
  • Implement a Michelson type-checker in Rust that the Michelson code of the factorial/Fibonacci examples pass: !10011 (merged).
  • Implement a Michelson interpreter in Rust that successfully executes the Michelson code of the factorial/Fibonacci examples: !10017 (merged).
• Implement some gas consumption in Rust that works on the Michelson code of the factorial example: #6274 (closed)
  • return Result from typecheck: !10080 (merged)
  • Typechecking gas consumption (very approximate gas costs based on Octez): !10083 (merged)
  • Interpreter gas consumption (very approximate gas costs based on Octez): !10156 (merged)
• Deliverable: deploy the factorial example along with MIR in a smart rollup: #6275
  • Basic roll-up building: !10024 (closed).
    • In review. Misses 1 MT approvals.
  • Message parsing: !10026 (closed).
    • In review. Misses 1 MT approval.
  • Dummy fibonachi implementation, without contract call yet: !10087 (closed).
    • In review. Misses 2 non-MT + 2 MT approvals.
  • Deploying roll-up (scripts and/or documentation): !10088 (closed).
    • In review. Misses approvals, but may be worth reviewing after the first 2 MRs are closed.
  • Testing roll-up with debugger: !10416 (closed).
    • In review. Misses approvals, but may be worth reviewing after the first 2 MRs are closed.
  • Use actual Michelson interpreter in rollup: !10273 (closed)
    • Blocked. May require substantial changes by the time when other MRs are merged.