This page has moved to https://docs.celo.org/specs/smart-contract-updates-from-l1.