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?