ARK.io, Solidity Smart Contracts and Hyperledger Burrow