Rendement USDC vérifié formellement et open source.