Stage 2 of ZK WASM project: https://github.com/near/wasmtime/blob/main/docs/zkasm/roadmap.md#stage-2

At this stage we focus on proving one complex program - WASM interpreter.
This will allow us to have a single circuit that can prove any WASM program or even a batch of different WASM programs.