Connecting Diem to Polkadot, the “internet of blockchains”