Rendimento USDC de código aberto, formalmente verificado.