Rendimiento de USDC de código abierto y verificado formalmente.