Smart contracts are immutable programs. Once deployed, bugs become permanent on-chain consequences.
Because contracts execute across many nodes, execution must be strictly deterministic to preserve consensus.
Virtual Machines and Gas
VMs sandbox execution and gas prices computation to prevent abuse and ensure predictable resource usage.
