Blockchain, Smart Contracts, Database, Electrical Engineering.
No internal state. Stateful (sequential) smart contract. Has internal state, therefore loops & recursion. The difference between the two is just like for digital logic. It’s easy to verify large stateless smart contracts, and therefore to build large verified / secure systems. Stateful smart