Every transaction in Miden generates a STARK proof. Though proof-generation can be done locally, users with hardware constraints have options: Anything that a user can prove locally can also be performed by the network, making it cheap to run even complex computations.

Because a transaction is always performed against a single account, Miden achieves asynchronicity, i.e., the quality of not needing re-execution to be verifiable. Accounts can execute and prove transactions in parallel and, in so doing, send notes containing assets to each other

Transactions in Polygon Miden can be understood as facilitating account state changes. Basically, these state changes take as input one single account and some notes and output the same account at a new state and some other notes. In Miden, a tx only ever involves one account.