In the rush to fully decentralize rollups, Vitalik Buterin has shared an important reminder that is easy to forget: stage 2 is not always more secure unless the underlying proof system is impenetrable. He clarified in a post, presenting a condensed mathematical model, that moving too quickly to stage 2 without appreciably enhancing proof robustness could actually raise the failure rate.