Microsoft Azure Launches Open Sourced Tool For Verifying Ethereum Based Solidity Smart Contracts

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* Enter Best Email to Get Trending Crypto News & Bitcoin Market Updates

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

Sritanshu Sinha
Sritanshu Sinha
Sritanshu has a keen interest in emerging technologies, startups and economic anthropology. He holds the view that cryptocurrencies are the best bet humanity has got to push the world towards a borderless economy.

[Alert] Use the author's self-conducted information at your own risk, do you own research, never invest more than you are willing to lose.

[Disclosure] The published news and content on BitcoinExchangeGuide should never be used or taken as financial investment advice. Understand trading cryptocurrencies is a very high-risk activity which can result in significant losses. Editorial Policy \\ Investment Disclaimer

LEAVE A REPLY

Please enter your comment!
Please enter your name here

3,471FansLike
2,795FollowersFollow
4,194FollowersFollow

Live Bitcoin Price & Latest BTC Charts

Today's Latest Crypto News

Bitcoin to Follow the Equities Market Up or Down? One-Month Correlation Spikes to an All-Time High

Yet another week of weak price movement. The world’s leading digital asset is trading at $9,072, in red with 24 hours ‘real’ volume of just...

Public Mint Launches Its Blockchain; Over 200 Banks Plan to Support Its Digital Money

vPublic Mint, a firm founded by CNET founder Halsey Minor, has announced the launching of its ‘fiat-native’ public blockchain, which enables anyone to easily...

BTC Halving Week Brings in Record Monthly New Accounts & Doubles the Revenue for BlockFi

The past two months have been incredibly dull for the price of bitcoin, but it didn’t affect the businesses in the cryptocurrency space. The...

Currencycloud Partners with Ripple to Leverage RippleNet for Efficient Cross-Border Payments

Currencycloud - one of the global payment processing giants - has become the latest member of the RippleNet family and would help ripple in...

Coinbase Custody and IOHK Partner to Provide Institutional-Grade Staking For Cardano's ADA in Q4

IOHK, the lead developer of Cardano blockchain, and Coinbase Custody, the institutional-grade custodian launched by Coinbase Inc., announced a partnership to allow users to...

BitcoinExchangeGuide is a hyper-active daily crypto news portal with care in cultivating the cryptocurrency culture with community contributors who help rewrite the bold future of blockchain finance. Subscribe on Google News, see the mission, authors, editorial links policy, investment disclaimer, privacy policy. Got News? Contact us, we are human too. Note: nothing here is financial advice, do your own research thoroughly.

Start Using Crypto Today