Anchoring Proof Across Chains