How to give each module of an upgradeable Solidity protocol its own ERC-7201 storage namespace: naming, the erc7201 builtin, safe struct changes and tests.
How Solidity's layout at specifier and the new erc7201 builtin move contract storage, how that differs from ERC-7201 namespaced structs, and the pitfalls.
A practical layout for a Solidity protocol: interfaces, core and periphery, modules that own their state, libraries and inheritance, and why each matters.
How the first-depositor inflation attack steals from ERC-4626 vault users, with worked numbers, and how virtual shares and internal accounting stop it.
A practical guide to Foundry invariant tests for DeFi lending protocols: handlers, bounded inputs, ghost variables, time travel, and the invariants worth checking.