Good idea, bad design: How the Diamond standard falls short

Trail of Bits audited the Diamond upgradeability standard and can't recommend it in its current form, citing over-engineering, storage pointer risks, function shadowing, and missing existence checks.