Transaction

A transaction is the top-level on-chain data structure in Aleo. It wraps one or more transitions (individual function calls with their proofs) along with a fee.

Aleo defines three transaction types:

1. Deploy - Publishes a program's code and verifying keys to the network
2. Execute - Calls one or more transition functions on deployed programs
3. Fee - A standalone fee payment (typically bundled into deploy or execute transactions)

Each transition within a transaction includes its own zero-knowledge proof. The transaction bundles them together with a fee proof and submits the package to the network for validation and inclusion in a block.