concepts

Smart contracts on the EVM do not run automatically; they require externally triggered transactions with gas to execute. Understanding this deterministic execution model is essential for designing robust Ethereum dApps that rely on user-initiated state changes.

The Checks-Effects-Interactions pattern is a security mechanism in Solidity that prevents reentrancy attacks. It structures smart contract functions to validate inputs, update internal state, and interact with external contracts last, ensuring secure dApp execution.

Generating secure randomness for Ethereum smart contracts is highly challenging due to the deterministic nature of the EVM. On-chain randomness can be manipulated by validators, requiring specific mental models to identify alternative approaches for secure dApp development.

Immutability versus upgradeability involves trade-offs in smart contract design between security and maintenance. Choosing immutable contracts ensures trustless execution, while upgradeability allows patching vulnerabilities but introduces centralized risks to Ethereum dApps.

MEV, or Maximal Extractable Value, arises from Ethereum protocol design and impacts incentive design by allowing validators to reorder transactions. Developing robust dApps requires understanding MEV to properly incentivize necessary user actions and mitigate arbitrage.

Account abstraction and EIP-7702 represent the evolving nature of accounts and transaction signing in Ethereum development. They provide mental models for flexible user experiences, enabling smart contract logic directly within externally owned accounts for dApp interactions.