Microsoft has been in the news many times for its blockchain features and now the tech giant has revealed a new tool called VeriSol. The tool will be used to verify smart contracts on the Ethereum network and it will help enterprises and institutions to build their blockchain applications. From the past second half of 2018, Microsoft has grown up its presence in the blockchain space.