Microsoft releases Ethereum-based open-source formal verification tool for Solidity smart contracts

Microsoft releases Ethereum-based open-source formal verification tool for Solidity smart contracts
фото показано с : ambcrypto.com

2019-6-4 19:30

Ethereum, the market’s leading altcoin, is currently one of the most-trusted cryptocurrencies and blockchain technologies. Leading businesses such as Facebook, JP Morgan and E&Y have all released open-source software for Ethereum, signalling a strong inclination towards Vitalik Buterin’s brainchild. One of the Goliaths consistently involved with crypto technologies such as Ethereum and Bitcoin is Microsoft. The software giant shared an official blog post announcing the release of an open-source formal verification tool for Solidity smart contracts.

Solidity, an Ethereum-powered programming language used to write smart contracts on a blockchain environment. The driver behind the project seems to aimed at exploiting the potential of blockchain technology to save loss of millions of dollars in cryptocurrency. Microsoft’s post also highlighted some recent attacks such as the DAO exploit and the Parity wallet bug, which could be avoided by deploying a blockchain infrastructure.

Although Microsoft Azure’s Blockchain leader, Marley Gray, gained negative publicity after his old views on Bitcoin resurfaced, the blog shared his team’s involvement in implementing proof-of-concept solutions with Azure Blockchain Workbench. Furthermore, Microsoft had recently announced working on a project which involves creating a Decentralized Identity Tool on the Bitcoin blockchain. The leading technology company’s Principal Researcher, Shuvendu Lahiri, expanded on smart contracts’ clear advantages over Microsoft’s formal verification techniques.

Powering the technology is Verisol, which is built based on Microsoft’s decade of work in verification as part of the company’s larger commitment to security, user experience, and high-quality, state-of-the-art products and services. VeriSol operates by encoding the semantics of Solidity programs to perform high-coverage symbolic testing for finding counterexample traces.

Source: MicrosoftWhile Verisol formal verification tool is designed to improve the quality of smart contracts, the company is investing in improving automation in inferring common inductive invariant to reduce manual overhead for performing correctness proofs.

As a conclusion to the post, Lahiri said,

“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.”

The post Microsoft releases Ethereum-based open-source formal verification tool for Solidity smart contracts appeared first on AMBCrypto.

Similar to Notcoin - Blum - Airdrops In 2024

origin »

Ethereum (ETH) на Currencies.ru

$ 3309.42 (-2.24%)
Объем 24H $25.188b
Изменеия 24h: -2.65 %, 7d: -15.02 %
Cегодня L: $3297.22 - H: $3393.89
Капитализация $398.637b Rank 2
Цена в час новости $ 238.12 (1289.81%)

ethereum open-source microsoft leading technologies one such

Источник: ambcrypto.com

ethereum open-source → Результатов: 98


Украинские разработчики запустили кошелек Ethnamed с привязкой HEX-адресов к почте или никнеймам

В основной сети Ethereum запустился open-source проект Ethnamed, представленный одноименным мультивалютным кошельком-плагином для Google Chrome, а также протоколом для трансформации e-mail в hex-адреса и для регулирования взаимоотношений между участниками.

2018-8-28 18:12


Фото:

Banks are attempting to launch Crypto assets with R3 Tech

Revealed exclusively to CoinDesk, Cordite, an open-source community that’s independent from R3, but building solely on the code it pioneered, is about to come out of stealth mode. Cordite promises to do for enterprise blockchains what the ERC-20 standard did for ethereum: allow the creation of different tokens representing various kinds of assets on the same network. Founded

2018-6-26 16:04


дальше еще 49 новостей →

Партнеры Currencies.ru

Аналог Notcoin - Blum - Играй и зарабатывай Монеты



Реклама на Currencies.ru

Самое свежее на Currencies.ru

Choosing an NFT Contract: Do you own Fungible Non-Fungibles?

Sam Casey Jan 13 · 8 min read Abstract Thousands of different tokens exist on the Ethereum blockchain, but most follow one of three common standards. Most fungible tokens follow the ERC-20 standard, and most non-fungible tokens (NFTs) follow the ERC-721 or ERC-1155 standard.

BitDAO Partners with Encode Club to Onboard Skilled Developers to DeFi and Blockchain

BitDAO, one of the world’s largest DAO with support from Peter Thiel—the co-founder of PayPal—and ByBit—a leading crypto derivatives trading platform, is joining hands with the Encode Club. An 18-Month Partnership to Develop and Nurture Coding Skills As per the press release on October 4, the deal will see BitDAO’s educational materials appear on theRead More

CryptoZombies Ethereum Solidity Course Review

If you are a cryptocurrency enthusiast with computer science background, I’m sure you’ve wondered what all the fuss is about Ethereum and its smart contract language Solidity. There are so many different dApps these days that utilize the Ethereum blockchain, if you want to keep up with crypto tech you should at least familiarize yourself […] The post CryptoZombies Ethereum Solidity Course Review appeared first on NullTX.

How to Become a Blockchain Developer

Skilled blockchain developers are a scarce commodity, as precious as the bitcoins that reside on the distributed ledgers they maintain. Teach yourself one of the major blockchain programming languages and you’ll be set for life, though like anything worth having, this achievement won’t come easy.

0x Protocol Team Gives Update on 0x Mesh, Launch Kits, and More

The 0x team has published their development report for May 2019, focusing on 0x Mesh, launch kits, and improving developer experience on the platform, June 7, 2019. Peer to Peer Order Sharing 0x Mesh, being co-developed by 0x and StarkDEx, is an order sharing platform to create a decentralized order book that can be trackedRead MoreRead More.