I'm not an implementor but this particular set of requirements has been explored pretty extensively by blockchain developers wanting smart contract execution en

I'm not an implementor but this particular set of requirements has been explored pretty extensively by blockchain developers wanting smart contract execution environments. See e.g: https://www.nervos.org/knowledge-base/comparing_blockchain_virtual_machines https://www.nervos.org/knowledge-base/comparing_blockchain_v...