PoC for process virtual machine to interpret WASM binaries within the context of the TB verification game and it's particular constraints - View it on GitHub