Microsoft Azure Launches Open Sourced Tool For Auditing Smart Contracts

A Smart Contract audit is fundamentally the same as a regular code audit – which is meticulously investigating code to find security flaws and vulnerabilities before the code is publicly deployed. It’s like testing a bridge before it’s opened to the public. In both cases, the builders have a responsibility for the security and safety of their products.

Azure is a cloud computing service created by Microsoft for building, testing, deploying, and managing applications and services through Microsoft-managed data centers. The blog that announced the product says:

“With a vision of fortifying smart contracts in Azure Blockchain, the team found a partner in researchers at Microsoft Research working on advanced techniques for ensuring the correctness of software programs. The collaboration has resulted in VeriSol, a brand-new open-source formal verification tool being developed by the researchers. With VeriSol—short for Verifier for Solidity—developers can begin to express the desirable behaviors of smart contracts written in a subset of the popular Solidity language and then use mathematical logic machinery to rigorously check those specifications against the implementation.”

With VeriSol developers can begin to specify and prove the security of their work in ways not feasible before. More traditional testing relies on developers’ ability to foresee exactly how a product will be used, an exercise that involves some corner cases being overlooked, as humans can only think of so many different logical test cases. But formal verification automatically identifies the different ways the code could potentially violate a given invariant, including those cases developers can’t predict.

Microsoft Principal Researcher Shuvendu Lahiri says:

“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.”

Get Free Email Updates!

*Action Required* Enter Your Email for Trending Crypto News & Market Updates

I will never give away, trade or sell your email address. You can unsubscribe at any time.

[Author Alert] The author’s opinions above are solely based on their own self-conducted research. Assume any and all authors are using, holding, trading and/or buying cryptoassets mentioned as a portion of his or her financial portfolio. Use information at your own risk, do you own research, never invest more than you are willing to lose.

[Domain Disclosure] The crypto-community content sourced, created and published on BitcoinExchangeGuide should never be used or taken as financial investment advice. Under no circumstances does any article represent our recommendation or reflect our direct outlook. We b-e-g of you to do more independent due diligence, take full responsibility for your own decisions and understand trading cryptocurrencies is a very high-risk activity with extremely volatile market changes which can result in significant losses. Editorial Policy \\ Investment Disclaimer

Coin Market Cap Price Change 24 Hour Volume
BTC $164.42B $9,252.6104 1.44% $5.15B
ETH $28.59B $268.2517 0.18% $1.9B
XRP $18.31B $0.4307 -0.69% $475.94M
LTC $8.45B $135.5812 -1.20% $964.52M
BCH $7.31B $409.3238 -1.43% $189.68M
EOS $6.24B $6.7864 -1.18% $635.85M
BNB $4.89B $34.6555 -1.80% $343.13M
BSV $3.95B $221.2116 -0.92% $111.19M
USDT $3.54B $1.0027 0.22% $4.57B
XLM $2.37B $0.1223 -2.26% $66.23M

Get 3 Free Bitcoin eBooks for Limited Time Only

Receive three exclusive user guides detailing a) What is Bitcoin b) How Cryptocurrency Works and c) Top Crypto Exchanges today plus a bonus report on Blockchain distributed ledger technology plus top news insights.


Please enter your comment!
Please enter your name here

This site uses Akismet to reduce spam. Learn how your comment data is processed.