Gate is exploring transferring program state (like Smalltalk images), but leveraging wasm to execute untrusted code. An exciting model!
https://savo.la/introduction-to-gate.html
Execution of untrusted code still feels like a really underexplored space.