MelVM will be undergoing some significant updates in the near future, most notably merging in work on Turing completeness.
Until then, please see the old spec, which is currently live on the devnet.
Last updated 8 months ago