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