Le code du contrat Mainnet officiel est publié et vérifié dans plusieurs explorateurs.