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