Smart Contracts, Programmability, and On-Chain Settlement: Foundations of Financial Transaction Automation
From Nick Szabo's vending machine model to Ethereum and unified ledgers, explore how smart contracts link shared state, conditional execution, and atomic settlement.