Merkleize-all-the-things (MATT) challenge: 'Optimistic execution of arbitrary programs'.

https://github.com/halseth/mattlab/blob/main/docs/challenge.md