More

    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,345FansLike
    2,773FollowersFollow
    4,136FollowersFollow

    Live Bitcoin Price & Latest BTC Charts

    Today's Latest Crypto News

    Microsoft Files Patent To Mine Cryptocurrencies With Verified Body Activity Data

    Giant software manufacturer, Microsoft is seeking to capitalize on the new crypto hype. The firm is seeking to introduce its own cryptocurrency that will...

    Coinbase Commerce Crosses $200,000,000 In Crypto Payments Since Launch

    Covid-19 hasn't kept consumers from using bitcoin (BTC) as a means of payments for goods and services according to a merchant transaction report from...

    Singapore Exempts Binance, Coinbase, Gemini, and Ripple From its Current PSA Crypto Act

    Singapore is counted among one of the crypto hubs of the world as it offers ease of business for these crypto service providers when...

    The World Has Gone Full Crypto in 2020; Volatility is Up, Stocks Are trading like A Sh*tcoins

    The global markets are on a rollercoaster for the past few weeks, one day they are recording historical one-day gains the next they are...

    South Korea May Get A New Crypto Custodian After Largest Bank Files Trademark App

    KB Kookmin Bank, the largest bank in South Korea, is preparing to launch its cryptocurrency custody service as soon as possible. As per the local...

    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.