Microsoft Research Introduces New Tool, VeriSol, To Verify Ethereum Smart Contracts

In the initial days, blockchain tech was always about young entrepreneurs and new start-ups. However, in the last couple of years, giants corporations have started taking blockchain seriously, and Microsoft is one of them. The global tech giant has been exploring the blockchain space for quite a long time and has now unveiled a brand new tool called VeriSol.

VeriSol will be used to verify smart contracts on the Ethereum network. The tool was jointly developed by Microsoft Research, and the tech giant’s cloud computing and blockchain wing, Microsoft Azure Blockchain. It will help enterprises and institutions to build their blockchain applications. Cody Born, Senior Engineer at Microsoft Azure, said, "VeriSol allows us to iterate more quickly because of the automatic and continuous checking, and it allows us to catch bugs faster without having to worry about potentially affecting customers."

Read More at CryptoNewsZ...

Antminer Banner.png