[Feature Request] Using Move in a Layer 2 setup

# 🚀 Feature Request

## Motivation

Scalability of blockchain system has always been a huge concern for the community. As a result, blockchain systems usually relies on a so-called layer 2 sctructure to offload some computation to a less decentralized system in order to get greater throughput. A question then arise, if Move and MoveVM can provide any unique value to the Layer 2 scaling solution? Specifically, how we might put Move ecosystem in the famous 2x2 matrix in the Layer 2 scaling.

## Pitch

There are following questions we would like to understand about Move:
1. How easy would it be to construct a zero-knowledge based solution for Move, either via:
a. Using existing zk based VM such as [MidenVM](https://github.com/maticnetwork/miden) to execute Move contracts, now that the Move team is working on a cross compiler from Move to Yul
b. Build a VM plugin for MoveVM to support generating traces of MoveVM execution to generate zero knowledge proof of execution correctness?

Moreover, is current zk proof generation process efficient enough for executing Move codes? Can we bring Move to a Validium based roll up solution?

2. Will the unique account structure of Move bring any unique value to the Plasma framework based solution??

Plasma based protocols are known to be more friendly to a UTXO based scheme as UTXO is naturally easier to prevent double spending on the child network. Moreover, generic smart contracts execution are usually considered not [feasiable](https://ethresear.ch/t/why-smart-contracts-are-not-feasible-on-plasma/2598) on Plasma. It would be nice if we have deeper understanding of this issue. Specifically, is it because of the limitation of EVM's state model or it's more of a generic issue that's going to plague the scale-up of Move based ecosystem as well.

## Related work
StarCoin has started their optimisitc rollup [proposal](https://github.com/starcoinorg/sips/pull/20) for a Move ecosystem.

There's also a zk based solution for Move that's been developed [here](https://www.zkmove.net/).