Smart Contract

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.

Microsoft has grown up its presence in the blockchain space, especially since the second half of 2018. The company also added the Bitcoin Unicode Symbol to its various platforms, including the widely popular Excel spreadsheet. Commenting on the company’s blockchain endeavor, Microsoft Azure’s Principal Researcher Shuvendu Lahiri said,

We envision empowering not just Azure Blockchain developers and customers, but contributing to a full blockchain ecosystem that is safer and helping people realize the full potential of the technology without being plagued by the costly mistakes in smart contracts. 

Tags

David Cox

David is a finance graduate and crypto enthusiast. He projects his expertise in subjects like crypto and Blockchain while writing for CryptoNewsZ. Being from Finance background, he efficiently writes Price Analysis. Apart from writing, he actively nurtures hobbies like sports and movies.

Related Articles

Back to top button
Close