Algorand Virtual Machine
This part describes the Algorand Virtual Machine (AVM), a bytecode-based Turing-complete stack interpreter that executes programs associated with Algorand transactions.
TEAL is an assembly language syntax for specifying a program that is ultimately converted to AVM bytecode.
The AVM approves or rejects transactions’ effects on the Ledger state.