Tag: Azure
VeriSol – Verifier for Solidity under development by Microsoft
In its blog, Microsoft announced the development of an open formal verification scheme for smart Ethereum contracts in the Solidity programming language.The tool will...
Microsoft will use the blockchain to calculate the rewards for publishers of Xbox games
The whole process will be faster, and the company will spend less on it.
Microsoft announced the launch of a new program that uses blockchain...