towards-formalizing-blockchain-interoperability-patterns