Execution Transaction

An execution transaction calls a specific transition function on a program that's already deployed. It contains the transition inputs, the proof that the computation was performed correctly, and the fee.

Aleo has three transaction types:

1. Deploy - publishes program code to the network
2. Execute - calls a transition on a deployed program
3. Fee - a standalone fee payment (rare, usually bundled)

When agents interact with on-chain programs, they generate execution transactions. Each execution produces one or more transitions, each with its own proof.