##article.return## Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits Download Download PDF