The Hyperlane Route describes how Eco Routes proves fulfillment with Hyperlane. Per Eco's provers documentation, Hyperlane is the live prover for solver routes: after a solver fulfills an intent on the destination chain, the claimant and intent hash are dispatched through the destination-side prover, delivered and validated on the source-side prover, and the reward is then withdrawn through the source Portal.
The provers page also lists other implementations in the source code, but it describes that list as a source inventory, not active deployments or options developers select. Circle CCTP can appear as a token-transport leg in a route; that does not make CCTP a prover.
Learn more in Eco Routes: Settlement Modularity for the Best Cross-Chain UX, read about how intent-based settlement works, or see how it connects to real-time money movement.