So in engineering terms:
- The blockchain protocol and smart contracts are (deterministic) finite state machines
- User inputs are inputs to the finite statemachine
- The blockchain is merely a store of user inputs
- The finite state machine does not need to be part of the blockchain at all
- Each user can pick the finite state machines he is interested in
This sounds pretty much like your "plasma" idea. Am I missing something?