Modifiers in Solidity are reusable code fragments that wrap function execution. They are commonly used to express access control and invariant checks. A modifier typically executes a condition, then continues with the original function body at the placeholder token (represented by _). This enables systematic reasoning: access control policies appear once and apply consistently to many functions.