Most blockchain systems make very simple assumptions about users:

Users are only responsible for submitting transactions; execution and proof are handled at the system layer.

@0xMiden's assumptions about users are clearly more advanced.
In its model, users are not passive request initiators,
but the primary responsible party for execution.

Logic runs locally on the user,
proofs are generated on the user side,
and the chain is only responsible for verifying whether the state is reasonable.

This means the system does not aim to "reduce all complexity,"
but rather hands the complexity back to the participants willing to bear it.

This design may not please everyone,
but it is closer to how high-value activities are engaged with in the real world.