Execution Transaction

An execution transaction calls a specific entry point on a program that is already deployed. It contains the 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.