A formal-ish definition for Intents

Couple scenarios where the actor creating the intent may care about the exact execution trace:

  • Some risk is incurred along the way that cannot be shifted to the executor, eg. moving an NFT through an unaudited bridge.
  • There are intermediating entities that for moral or legal reasons the intent creator wants to avoid, eg. touching a sanctioned address.

That said, if we wave this away the requirements on our proof system are simplified substantially.

1 Like