Local execution + optional global state is what @0xMiden already offers (we call them network transactions)
1.5K