Today the tech giant announced it is working on a project to improve
Microsoft smart contracts security.
Called
Kinakuta, this working group aims at making it easier for companies to use and develop smart contracts based on the blockchain.
Even if more and more businesses are increasingly expressing interest in blockchain based smart contracts, concerns about this kind of use case grew after the
DAO collapse.
Since then, Microsoft decided to improve smart contracts security to avoid further issues in the future.
Marley Gray, Microsoft’s director of business development and strategy, in fact, believes that their project could reduce future risks.
“We feel there’s a huge opportunity here to involve the community. Kinakuta is the community building around Microsoft best practices and elsewhere, to collect best practices and tools and involve developers in creating these best practices.”
Gray explained that there are 35 developers and companies that the company decided to call for the Microsoft Smart Contracts group. These include the Ethereum Foundation, R3CEV and BlockApps.
Vitalik Buterin on Microsoft Smart Contracts
Vitalik Buterin, Ethereum Creator, commented that he doesn’t believe that this new project could necessarily stop future collapses like DAO.
“There will be further bugs and we will learn further lessons,” he explained in a blog post.
Microsoft Smart Contracts: a whitepaper with Harvard
Previously, Microsoft released a research realized with Harvard that explained how ethereum smart contracts will work.
This whitepaper proposes a method called “formal verification”, or the way to prove the correctness of a smart contract; also it proposes two tools to help verify smart contracts: Solidity and EVM.
Open your free digital wallet here to store your cryptocurrencies in a safe place.