Åpen kildekode, formelt verifisert USDC-avkastning.