@RiscZero @SuccinctLabs @lagrangedev @VitalikButerin

Could we do a proof-of-tx-simulation?

The use case is a smart contract (a multisig) that will only process a transaction if it verifies a tx simulation of itself was run and didn't, say, transfer all the money out?