Der Quellcode des offiziellen Mainnet-Vertrags ist in mehreren Explorern veröffentlicht und verifiziert.