Microsoft is very proud of its Azure Blockchain-powered smart contract auditing tools for Ethereum – so much so it decided to flaunt some of the benefits of the software in a new blog post. “One of the key drivers making blockchain-based applications programmable, accessible to enterprise customers, and able to meet the diverse needs of a variety of sectors [are smart contracts],” the post reads. “They foster trust in adversarial environments, but also make it challenging to secure compared to traditional code.” But worry no more, the software Goliath believes it has the solution to this quandary: Verifier for Solidity…
This story continues at The Next Web
Or just read more coverage about: Microsoft
from The Next Web http://bit.ly/2Z7no1E
