Algorand Virtual Machine Overview
The Algorand Virtual Machine (AVM) is 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.