Highlight Smart Contracts: Interoperability & Provenance