Postconditions on transactions

Certain wallets on Ethereum seem to be working on something like this (they call it “session keys”).