The Execution Layer for Real Cross-chain Flows